Fano Labs (China)

There Is No Nothing

Local publication candidate for There Is No Nothing, version 0.4.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. A premise-free operational foundation and an open verification platform for Smithian Fold Theory

From Fold to Mathematics

Local publication candidate for From Fold to Mathematics, version 1.6.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Parameter-Free and Machine-Closed Derivation of Mathematical Foundations from Smithian Fold Theory

The Quantum Fold Machine

Published open-access status correction for The Quantum Fold Machine, version 1.5.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From Fold to Medicine

Published open-access status correction for From Fold to Medicine, version 1.1.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From One Sky to Cosmos

Published open-access status correction for From One Sky to Cosmos, version 1.1.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From One Relation to Society

Published open-access status correction for From One Relation to Society, version 1.1.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From Fold to Life

Published open-access status correction for From Fold to Life, version 1.1.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From Nothing to Fold

Published open-access status correction for From Nothing to Fold, version 1.4.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

Formal Verification Is Not Foundational Derivation

Twelve Closed SFT Source-Validity Disproofs of OpenAI's 2026 Mathematical Artifacts. This paper freezes twelve principal Lean declarations associated with OpenAI's ten advertised advances and asks whether each exact submitted artifact is a valid derivation inside the already admi...

From Fold to Medicine

Published open-access status correction for From Fold to Medicine, version 1.1.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

Independent Lean 4 Verification of the Complete Smithian Fold Theory Model

Published open-access status correction for Independent Lean 4 Verification of the Complete Smithian Fold Theory Model, version 1.0.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From Fold to Physics

Published open-access status correction for From Fold to Physics, version 1.4.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From One World to Earth

Published open-access status correction for From One World to Earth, version 1.1.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From Distinction to Information

Published open-access status correction for From Distinction to Information, version 1.5.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

The Quantum Fold Machine

Published open-access status correction for The Quantum Fold Machine, version 1.5.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

After Turing: The Fold Machine

Local publication candidate for After Turing: The Fold Machine, version 1.5.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Parameter-Free and Machine-Closed Derivation of Classical Computational Science from Smithian Fold Theory

From Fold to Mathematics

Published open-access status correction for From Fold to Mathematics, version 1.6.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From Fold to Materials

Local publication candidate for From Fold to Materials, version 1.4.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Parameter-Free and Machine-Closed Complete-Field Reconstruction of Materials Science from Smithian Fold Theory

From Fold to Physics

Published open-access status correction for From Fold to Physics, version 1.4.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From One Law to a Working World

Published open-access status correction for From One Law to a Working World, version 1.1.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.