From Dev.to Community
Tech Articles
Curated developer articles, tutorials, and guides — auto-updated hourly
Nobuki Fujimoto1d ago • 10 min read
Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer
Reproduces classical 3-SAT phase transition. n=30 peak DPLL backtrack at α=4.267 EXACT match with Me...
#math#research#lean#algorithms
0 0
Nobuki Fujimoto3d ago • 7 min read
Ricci-Flow Three-Category Classification of Unsolved Math Problems (with 10 -Scale Collatz Census)
Discrete Ollivier-Ricci flow on graphs sorts unsolved math conjectures into three categories: stable...
#math#lean#research#typescript
0 0
Nobuki Fujimoto1d ago • 5 min read
Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family
Erdős-Straus 1948: 4/n = 1/a+1/b+1/c for n >= 2. Lean 4 Mathlib: 22 theorems, 0 sorry. Explicit witn...
#math#research#lean#algorithms
0 0
Nobuki Fujimoto1d ago • 5 min read
Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions
Andrica 1985: A_n = sqrt(p_{n+1}) - sqrt(p_n) < 1. Lean 4 Mathlib formalization: 33 theorems, 0 sorr...
#math#research#lean#algorithms
0 0
Nobuki Fujimoto1d ago • 10 min read
Paper 119: Q7 Falsification, Q8/Q9 Empirical Data, and the First Rei-AIOS Failure Record
Q7 (Paper 118) EMPIRICALLY FALSIFIED: 61 odd m ≤ 10000 have K(m)=41, not only m=911. Lean 4 zero-sor...
#math#collatz#lean#research
0 0
Nobuki Fujimoto2d ago • 7 min read
Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)
Comparative analysis of Rei-AIOS ergodic tooling (5 engines) against Santana (arXiv:2601.03297v4, 20...
#math#research#lean#algorithms
0 0
Nobuki Fujimoto21h ago • 13 min read
Seven-Conjecture Deep Dives, Multi-Attractor Q33 Extension, and the First Cross-Domain Frankl Formalization (Rei-AIOS Paper 121)
Single-day 12-file Lean 4 sweep: 158 new zero-sorry theorems across 7 long-open conjectures. Lehmer/...
#math#collatz#frankl#lean
0 0
Nobuki Fujimoto1d ago • 6 min read
Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results
Reinterprets Zhang 2013 (N<=70M), Maynard 2015 (N<=246), Elliott-Halberstam (N<=12) via Rei D-FUMT8 ...
#math#research#lean#algorithms
0 0
Nobuki Fujimoto23h ago • 13 min read
Five Unsolved-Problem Deep Dives and the Gilbreath-Collatz Structural Isomorphism (Rei-AIOS Paper 120)
94 new Lean 4 zero-sorry theorems across Legendre 1808, Lehmer totient 1932, Effective ABC 1985, Gil...
#math#collatz#gilbreath#lean
0 0
Nobuki Fujimoto1d ago • 9 min read
Nested Colored-Dot Symbol System: An Information-Theoretic and Semantic Alternative to QR Codes
Recursive 2D symbol system combining D-FUMT8 8-value logic + 24-bit RGB color on orthogonal axes. Le...
#math#research#lean#typescript
0 0
Nobuki Fujimoto1d ago • 12 min read
Five Formal Closures + Findings + AI-Generated Open Questions (Rei-AIOS Paper 118)
Five Lean 4 zero-sorry closures: Köthe commutative / Problem 007 FIA 6-axiom independence / Problem ...
#math#research#lean#collatz
0 0
Nobuki Fujimoto3d ago • 7 min read
Erdős-Straus Conjecture as an S-Category Problem (Ricci Flow + Fujimoto Infinity Algebra)
Applying Ricci-flow taxonomy to Erdős-Straus 4/n=1/a+1/b+1/c shows 84.3% of classifiable n in [2,100...
#math#lean#research#algorithms
0 0