From Dev.to Community
Tech Articles
Curated developer articles, tutorials, and guides — auto-updated hourly
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 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 • 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 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