Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
Rei-AIOS Papers Series' Articles
Back to Nobuki Fujimoto's Series
Paper 143 — Cross-Cultural Convergence: Rei-AIOS Reaches Mikami's 1953 Japanese Wa-Ga Thesis (11/11)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 2
Paper 143 — Cross-Cultural Convergence: Rei-AIOS Reaches Mikami's 1953 Japanese Wa-Ga Thesis (11/11)
#
linguistics
#
ai
#
research
#
philosophy
Comments
Add Comment
7 min read
Paper 148 — Honest Observation Framework for AI-Assisted Research Tools (Rei-AIOS / OUKC)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 6
Paper 148 — Honest Observation Framework for AI-Assisted Research Tools (Rei-AIOS / OUKC)
#
research
#
philosophy
#
ai
Comments
Add Comment
12 min read
Paper 147 — Eight-Valued Utility and the Equity Premium Reframe (Rei-AIOS / OUKC)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 6
Paper 147 — Eight-Valued Utility and the Equity Premium Reframe (Rei-AIOS / OUKC)
#
research
#
economics
#
philosophy
#
logic
Comments
Add Comment
14 min read
Paper 149 — Recursive AI Observation as D-FUMT-8 SELF-loop Operational Evidence: When the AI Observatory Includes Itself (Rei-AIOS / OUKC)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 7
Paper 149 — Recursive AI Observation as D-FUMT-8 SELF-loop Operational Evidence: When the AI Observatory Includes Itself (Rei-AIOS / OUKC)
#
philosophy
#
ai
#
research
#
logic
Comments
Add Comment
11 min read
Paper 145 — First D-FUMT-8 Silicon with SELF-reflexive Logic Primitive (Three-Substrate Cross-Verification: FPGA + Aer + IBM Heron r2 Real Hardware)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 8
Paper 145 — First D-FUMT-8 Silicon with SELF-reflexive Logic Primitive (Three-Substrate Cross-Verification: FPGA + Aer + IBM Heron r2 Real Hardware)
#
quantum
#
fpga
#
research
#
verification
Comments
Add Comment
23 min read
Paper 145 v0.6 — First D-FUMT-8 Silicon with SELF-reflexive Primitive (Four-Substrate Cross-Verification)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 9
Paper 145 v0.6 — First D-FUMT-8 Silicon with SELF-reflexive Primitive (Four-Substrate Cross-Verification)
#
quantum
#
fpga
#
research
#
verification
Comments
Add Comment
38 min read
Paper 150 v0.2 — OctaTheoria: Unified Multi-Domain Observation Framework with Eight-Axis D-FUMT-8 Projection (Seven Domains x Eight View Modes)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 10
Paper 150 v0.2 — OctaTheoria: Unified Multi-Domain Observation Framework with Eight-Axis D-FUMT-8 Projection (Seven Domains x Eight View Modes)
#
research
#
datavis
#
ai
#
philosophy
Comments
Add Comment
18 min read
Paper 150 v0.3 — OctaTheoria: 7 Domains x 8 View Modes + Cross-Layer Methodological Consistency (REI-PROVE 92% + Pattern 1-6)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 11
Paper 150 v0.3 — OctaTheoria: 7 Domains x 8 View Modes + Cross-Layer Methodological Consistency (REI-PROVE 92% + Pattern 1-6)
#
research
#
datavis
#
ai
#
philosophy
Comments
Add Comment
20 min read
Paper 152 v0.1 — Sigma-Cascade Observation of Collatz Orbit Confluence: Empirical Peak-Merge Enumeration and the n=96k Hypothesis
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 12
Paper 152 v0.1 — Sigma-Cascade Observation of Collatz Orbit Confluence: Empirical Peak-Merge Enumeration and the n=96k Hypothesis
#
math
#
research
#
collatz
#
ai
Comments
Add Comment
12 min read
Paper 152 v0.2 — Sigma-Cascade Observation of Collatz Orbit Confluence: Lean 4 Mechanized Closures + 3-Adic Isolation Theorem + Honest Correction E2
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 13
Paper 152 v0.2 — Sigma-Cascade Observation of Collatz Orbit Confluence: Lean 4 Mechanized Closures + 3-Adic Isolation Theorem + Honest Correction E2
#
math
#
research
#
collatz
#
ai
Comments
Add Comment
19 min read
Paper 152 v0.3 — Sigma-Cascade Collatz: 10^9 Scan + G_3 Subgraph Framework + Erratum E3 + Lemma 5d.1 Lean 4 Mechanized
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 14
Paper 152 v0.3 — Sigma-Cascade Collatz: 10^9 Scan + G_3 Subgraph Framework + Erratum E3 + Lemma 5d.1 Lean 4 Mechanized
#
math
#
research
#
collatz
#
ai
Comments
Add Comment
26 min read
Paper 63 v0.2 — SNST Supplement: PSLQ Phi^2=Psi+2 + PySR x CICY3 Negative Finding + Tao 67 Connections
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 14
Paper 63 v0.2 — SNST Supplement: PSLQ Phi^2=Psi+2 + PySR x CICY3 Negative Finding + Tao 67 Connections
#
math
#
research
#
ai
#
philosophy
Comments
Add Comment
7 min read
Paper 153 v0.1 — Phi-Catalog: A Notation for Impossibility-Possibility Extensions (9 Historical Cases)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 15
Paper 153 v0.1 — Phi-Catalog: A Notation for Impossibility-Possibility Extensions (9 Historical Cases)
#
math
#
research
#
philosophy
#
history
Comments
Add Comment
11 min read
Paper 153 v0.2 — Phi-Catalog: Case 6 (Riemann ZCSG) + Forward Application Self-Test + Berry-Keating Numerical Study
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 16
Paper 153 v0.2 — Phi-Catalog: Case 6 (Riemann ZCSG) + Forward Application Self-Test + Berry-Keating Numerical Study
#
math
#
research
#
philosophy
#
history
Comments
Add Comment
10 min read
Paper 155 v0.2 — Semantic Dyson Sphere (Beyond-Shannon Recovery as Civilizational Footprint, Lean 4 Mechanized)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 18
Paper 155 v0.2 — Semantic Dyson Sphere (Beyond-Shannon Recovery as Civilizational Footprint, Lean 4 Mechanized)
#
physics
#
math
#
ai
#
philosophy
Comments
Add Comment
17 min read
Paper 144 v0.3.1 — OUKC: An AI-Friendly Multilingual Worldview Commons (Founding Document)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 20
Paper 144 v0.3.1 — OUKC: An AI-Friendly Multilingual Worldview Commons (Founding Document)
#
ai
#
research
#
philosophy
#
opensource
Comments
Add Comment
20 min read
Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 21
Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics
#
math
#
lean
#
ai
#
research
Comments
Add Comment
13 min read
Paper 157 - Octonion-Axiomatic Dual Independence: 7 Imaginary Units || 7 Axioms, Machine-Checked in Lean 4 (OUTLINE)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 26
Paper 157 - Octonion-Axiomatic Dual Independence: 7 Imaginary Units || 7 Axioms, Machine-Checked in Lean 4 (OUTLINE)
#
math
#
lean
#
logic
#
research
Comments
Add Comment
21 min read
Paper 159 - A Two-Layer D-FUMT-8 Reconstruction of Priest-Garfield's Inclosure Schema for Nagarjuna's Catuskoti (OUTLINE v0.1)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 31
Paper 159 - A Two-Layer D-FUMT-8 Reconstruction of Priest-Garfield's Inclosure Schema for Nagarjuna's Catuskoti (OUTLINE v0.1)
#
math
#
lean
#
philosophy
#
logic
Comments
Add Comment
16 min read
Paper 159 v0.2 - A Two-Layer D-FUMT-8 Reconstruction of Priest-Garfield's Inclosure Schema (LEAN-4-BUILT, zero axiom dependence)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 31
Paper 159 v0.2 - A Two-Layer D-FUMT-8 Reconstruction of Priest-Garfield's Inclosure Schema (LEAN-4-BUILT, zero axiom dependence)
#
math
#
lean
#
philosophy
#
logic
Comments
Add Comment
24 min read
Paper 160 v0.2 - Inversion vs Deconstruction in D-FUMT-8 (Lean 4 verified, zero axiom)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 31
Paper 160 v0.2 - Inversion vs Deconstruction in D-FUMT-8 (Lean 4 verified, zero axiom)
#
math
#
lean
#
philosophy
#
logic
Comments
Add Comment
28 min read
Paper 161 v0.1 - Two Regimes of Rest: ZERO and SELF-loop via dynamical systems (5 experiments + 3 Lean files + depth wall 200x breakthrough)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 1
Paper 161 v0.1 - Two Regimes of Rest: ZERO and SELF-loop via dynamical systems (5 experiments + 3 Lean files + depth wall 200x breakthrough)
#
math
#
lean
#
philosophy
#
physics
Comments
Add Comment
22 min read
Paper 161 v0.2 HARDWARE-VERIFIED - Two Regimes of Rest: 18 Lean theorems exit-0 + IBM Heron r2 real-hardware (27 CZ, depth 51, 1.82% leakage)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 2
Paper 161 v0.2 HARDWARE-VERIFIED - Two Regimes of Rest: 18 Lean theorems exit-0 + IBM Heron r2 real-hardware (27 CZ, depth 51, 1.82% leakage)
#
math
#
lean
#
philosophy
#
physics
Comments
Add Comment
25 min read
Paper 145 v0.8 — D-FUMT-8 Phase 4 Quine-McCluskey Simplification + Finding F11 Engineering-Correctable Relaxation Bias on IBM Heron r2
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 3
Paper 145 v0.8 — D-FUMT-8 Phase 4 Quine-McCluskey Simplification + Finding F11 Engineering-Correctable Relaxation Bias on IBM Heron r2
#
quantum
#
fpga
#
research
#
verification
Comments
Add Comment
48 min read
Paper 163 v0.1 — Institution + Bilattice + SELF<->Lawvere: Four-Step Operational Integration with Lean 4 Axiom-Free Constructive Proofs
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 9
Paper 163 v0.1 — Institution + Bilattice + SELF<->Lawvere: Four-Step Operational Integration with Lean 4 Axiom-Free Constructive Proofs
#
math
#
lean
#
research
#
ai
Comments
Add Comment
10 min read
Paper 164 v0.1 — infinity-cosmoi Skeleton + Tetradic Completion of rhymeOrTheorem: 4-Step Continuation of Paper 163
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 9
Paper 164 v0.1 — infinity-cosmoi Skeleton + Tetradic Completion of rhymeOrTheorem: 4-Step Continuation of Paper 163
#
math
#
lean
#
research
#
ai
Comments
Add Comment
18 min read
Paper 165 v0.1 — Existence Proof Garden: Interactive Synthesis of Piantadosi-Chomsky Debate, Modal Duality, and Adjunction
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 12
Paper 165 v0.1 — Existence Proof Garden: Interactive Synthesis of Piantadosi-Chomsky Debate, Modal Duality, and Adjunction
#
philosophy
#
ai
#
math
#
research
Comments
Add Comment
11 min read
Paper 166 v0.1 — A Lean 4 Axiom-Free Formalization of Exit-Layer Collatz Convergence as a Stream Coalgebra: A Record Following Kim (2008)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 16
Paper 166 v0.1 — A Lean 4 Axiom-Free Formalization of Exit-Layer Collatz Convergence as a Stream Coalgebra: A Record Following Kim (2008)
#
math
#
lean
#
research
#
ai
Comments
Add Comment
24 min read
Paper 167 v0.1 — Sophie Germain Primes: Barrier-Side Observations + Lean 4 Axiom-Free Conjunction-Wall (Rei-AIOS)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 17
Paper 167 v0.1 — Sophie Germain Primes: Barrier-Side Observations + Lean 4 Axiom-Free Conjunction-Wall (Rei-AIOS)
#
math
#
lean
#
research
#
ai
1
reaction
Comments
Add Comment
16 min read
Paper 158 v0.2 — The Collatz Exit Layer: Zero-Sorry Lean 4 Formalization of m_p = (4^p 1)/3, and an Honest Map of the Seven-Route Wall Beyond
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 21
Paper 158 v0.2 — The Collatz Exit Layer: Zero-Sorry Lean 4 Formalization of m_p = (4^p 1)/3, and an Honest Map of the Seven-Route Wall Beyond
#
math
#
lean
#
research
#
ai
Comments
Add Comment
17 min read
« First
‹ Prev
1
2
3
Next ›
Last »
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
