DEV Community

# lean

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Seven-Conjecture Deep Dives, Multi-Attractor Q33 Extension, and the First Cross-Domain Frankl Formalization (Rei-AIOS Paper 121)
fc0web profile

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

#math #collatz #frankl #lean
Comments
13 min read
Five Unsolved-Problem Deep Dives and the Gilbreath-Collatz Structural Isomorphism (Rei-AIOS Paper 120)
fc0web profile

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

#math #collatz #gilbreath #lean
Comments
13 min read
Paper 119: Q7 Falsification, Q8/Q9 Empirical Data, and the First Rei-AIOS Failure Record
fc0web profile

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

#math #collatz #lean #research
Comments
10 min read
Five Formal Closures + Findings + AI-Generated Open Questions (Rei-AIOS Paper 118)
fc0web profile

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

#math #research #lean #collatz
Comments
12 min read
Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer
fc0web profile

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

#math #research #lean #algorithms
Comments
10 min read
Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family
fc0web profile

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

#math #research #lean #algorithms
Comments
5 min read
Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions
fc0web profile

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

#math #research #lean #algorithms
Comments
5 min read
Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results
fc0web profile

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

#math #research #lean #algorithms
Comments
6 min read
Nested Colored-Dot Symbol System: An Information-Theoretic and Semantic Alternative to QR Codes
fc0web profile

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

#math #research #lean #typescript
Comments
9 min read
Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)
fc0web profile

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

#math #research #lean #algorithms
Comments
7 min read
Ricci-Flow Three-Category Classification of Unsolved Math Problems (with 10 -Scale Collatz Census)
fc0web profile

Ricci-Flow Three-Category Classification of Unsolved Math Problems (with 10 -Scale Collatz Census)

#math #lean #research #typescript
Comments
7 min read
Erdős-Straus Conjecture as an S-Category Problem (Ricci Flow + Fujimoto Infinity Algebra)
fc0web profile

Erdős-Straus Conjecture as an S-Category Problem (Ricci Flow + Fujimoto Infinity Algebra)

#math #lean #research #algorithms
Comments
7 min read
Grafeo – A fast, lean, embeddable graph database built in Rust
trendstackdev profile

Grafeo – A fast, lean, embeddable graph database built in Rust

#grafeo #fast #lean #embeddable
Comments
3 min read
Galois Correspondence In Lean
imstudyingmathnow profile

Galois Correspondence In Lean

#lean #lean4 #math #mathematics
Comments
2 min read
👋 Sign in for the ability to sort posts by relevant, latest, or top.