Nobuki Fujimoto

Apr 27

Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)

#math #ai #research #lean

11 min read

Nobuki Fujimoto

Apr 26

FIDT as a Domain-Specific Generator: A Honest Reframing of Fujimoto Infinite Dot Theory (Paper 140)

#compression #research #math #ai

9 min read

Nobuki Fujimoto

Apr 26

Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)

#math #philosophy #lean #research

11 min read

Nobuki Fujimoto

Apr 25

Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)

#math #lean #research #ai

9 min read

Nobuki Fujimoto

Apr 23

Sylvester-Schur Partial Lean 4 Formalization and the 699 <-> 961 Bridge (Rei-AIOS Paper 133)

#math #lean #research #combinatorics

11 min read

Nobuki Fujimoto

Apr 23

Rei-AIOS Meets 2024-2026 AI Math Tooling: A Survey and Integration Roadmap (Paper 134)

#math #ai #research #lean

8 min read

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 22

The Quantum Measurement Problem as an Eight-Attractor Classification in D-FUMT8 Logic (Rei-AIOS Paper 129)

#physics #quantum #logic #research

9 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 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

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 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

Nobuki Fujimoto

Apr 18

Braille-D-FUMT8 vs CLIP / BERT / ImageBind: a Rigorous Information-Theoretic Comparison

#math #ai #research #typescript

6 min read

Nobuki Fujimoto

Apr 16

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

#math #lean #research #algorithms

7 min read

Nobuki Fujimoto

Apr 16

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

#math #lean #research #typescript

7 min read

Nobuki Fujimoto

Feb 16

Grounding Computation and Ontology in Just 4 Axioms — The Design Philosophy of the Rei Language (0 -shiki)

#typescript #programming #math #languagedesign

1

5 min read

Forem

Nobuki Fujimoto

Badges

Writing Debut

Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)

FIDT as a Domain-Specific Generator: A Honest Reframing of Fujimoto Infinite Dot Theory (Paper 140)

Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)

Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)

Sylvester-Schur Partial Lean 4 Formalization and the 699 <-> 961 Bridge (Rei-AIOS Paper 133)

Rei-AIOS Meets 2024-2026 AI Math Tooling: A Survey and Integration Roadmap (Paper 134)

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

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

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

The Quantum Measurement Problem as an Eight-Attractor Classification in D-FUMT8 Logic (Rei-AIOS Paper 129)

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)

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

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

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

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

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

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

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

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

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

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

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

Braille-D-FUMT8 vs CLIP / BERT / ImageBind: a Rigorous Information-Theoretic Comparison

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

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

Grounding Computation and Ontology in Just 4 Axioms — The Design Philosophy of the Rei Language (0 -shiki)