Skip to content

Forem

# lean

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

Nobuki Fujimoto

Apr 27

Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Paper 141)

#math #lean #research #ai

7 min read

Nobuki Fujimoto

Apr 27

Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)

#lean #math #research #ai

9 min read

Apr 27

A Formula From Another Field Opened Erdős Problem

#chatgpt #terencetao #erdos #lean

6 min read

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

Hiroyuki Nakahata

May 10

When Lean Proved My Durability Definition Too Easily

#architecture #database #lean #computerscience

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

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