Maria Smith

OpenAI's Ten Mathematical Advances Fail the Reality Test

Twelve closed SFT disproofs, twelve first-principles replacements, and the cumulative cross-domain evidence that decides between them. This evidence-led successor directly rejects all ten mathematical and theoretical-computer-science advances advertised by OpenAI on 1 August 2026...

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 One Sky to Cosmos

Local publication candidate for From One Sky to Cosmos, version 1.1.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Zero-Parameter and Machine-Closed Reconstruction of Astronomy and Cosmology from Smithian Fold Theory

From Distinction to Information

Local publication candidate for From Distinction to Information, 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 the Complete Dated Information Sciences from Smithian Fold Theor...

Independent Lean 4 Verification of the Complete Smithian Fold Theory Model

Standalone verification paper for the Lean 4 PASS over 2,777 current SFT claims, 898,902 candidates and 11,108 controls, including a native proof of the two-class operational root's unique survivor.

From Fold to Physics

Local publication candidate for From Fold to Physics, 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 Physical Science from Smithian Fold Theory

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

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 One Law to a Working World

Local publication candidate for From One Law to a Working World, version 1.1.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Zero-Parameter and Machine-Closed Foundation for Engineering Translation from Smithian Fold Theory

From Nothing to Fold

Local publication candidate for From Nothing to Fold, version 1.4.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. A premise-free, parameter-free and machine-closed Foundation for Smithian Fold Theory

The Quantum Fold Machine

Local publication candidate for The Quantum 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 Reversible and Quantum Computation from Smithian Fold Theory

From Fold to Consciousness

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

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

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 Materials

Published open-access status correction for From Fold to Materials, 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...