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

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.

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

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 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 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 One World to Earth

Local publication candidate for From One World to Earth, 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 Earth and Environmental Sciences from Smithian Fold Theory

From Fold to Chemistry

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

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

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

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

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

From Fold to Life

Local publication candidate for From Fold to Life, 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 Biology and Life Sciences 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.