Skip to content

DEV Community

# lean

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Nobuki Fujimoto

Apr 23

Five Classical Open Problems — Rei-AIOS Next Lean 4 Deep-Dive Roadmap (Paper 132)

#math #lean #research #classification

15 min read

Nobuki Fujimoto

Apr 22

First Lean 4 Formalization of Bipartite Ramsey Number b(2,2)=5 with native_decide Certification (Rei-AIOS Paper 131)

#math #lean #combinatorics #ramsey

7 min read

Nobuki Fujimoto

Apr 22

Open Problems META-DB (Rei-AIOS): D-FUMT8 META-Classification of 713 Open Problems (Rei-AIOS Paper 130)

#math #research #lean #classification

12 min read

Nobuki Fujimoto

Apr 21

First Lean 4 Formalization of the Davenport Constant D(Z_n) and D(Z2 x Z2): native_decide Certificates with EGZ Bridge (Rei-AIOS Paper 128)

#math #lean #research #combinatorics

11 min read

Nobuki Fujimoto

Apr 21

First Lean 4 Computational Formalization of Schur Numbers S(2), S(3), S(4) and Small-Value EGZ Witnesses (Rei-AIOS Paper 127)

#math #lean #research #combinatorics

10 min read

Nobuki Fujimoto

Apr 20

Seven-Conjecture Deep Dives, Multi-Attractor Q33 Extension, and the First Cross-Domain Frankl Formalization (Rei-AIOS Paper 121)

#math #collatz #frankl #lean

13 min read

Nobuki Fujimoto

Apr 19

Five Unsolved-Problem Deep Dives and the Gilbreath-Collatz Structural Isomorphism (Rei-AIOS Paper 120)

#math #collatz #gilbreath #lean

13 min read

Nobuki Fujimoto

Apr 19

Paper 119: Q7 Falsification, Q8/Q9 Empirical Data, and the First Rei-AIOS Failure Record

#math #collatz #lean #research

10 min read

Nobuki Fujimoto

Apr 19

Five Formal Closures + Findings + AI-Generated Open Questions (Rei-AIOS Paper 118)

#math #research #lean #collatz

12 min read

Nobuki Fujimoto

Apr 18

Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer

#math #research #lean #algorithms

10 min read

Nobuki Fujimoto

Apr 19

Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family

#math #research #lean #algorithms

5 min read

Nobuki Fujimoto

Apr 19

Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions

#math #research #lean #algorithms

5 min read

Nobuki Fujimoto

Apr 19

Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results

#math #research #lean #algorithms

6 min read

Nobuki Fujimoto

Apr 18

Nested Colored-Dot Symbol System: An Information-Theoretic and Semantic Alternative to QR Codes

#math #research #lean #typescript

9 min read

Nobuki Fujimoto

Apr 18

Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)

#math #research #lean #algorithms

7 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.