What question did this study set out to answer?

This research aims to demonstrate that retrograde folding serves as a universal solver for all finite state spaces, providing exact game-theoretic values.

July 1, 2026Open Access

The Engine Was Never About Chess: A Certified Universal Exact Solver by Retrograde Folding

Key Points

This research aims to demonstrate that retrograde folding serves as a universal solver for all finite state spaces, providing exact game-theoretic values.
Solved approximately 1 billion chess endgame positions using retrograde folding against the Syzygy oracle.
Applied retrograde folding to other finite games like subtraction and Nim, validating performance without disagreement against established oracles.
Developed a standalone result under the Smithian Fold Theory of Everything, with reproducible code and execution.
Achieved zero error against the Syzygy oracle for chess endgame positions.
Successfully reproduced exact solutions for the subtraction game and Nim without discrepancies.
Demonstrated that retrograde folding can certify itself against independent oracles for any finite game.

Abstract

One axiom. One operation. Zero free parameters. A Smithian Fold campaign solved ~1 billion chess endgame positions exactly by retrograde folding, zero error against the Syzygy oracle. This paper proves what that success means: the engine was never about chess. Retrograde folding is a domain-agnostic exact solver. Give it any finite state space, a move generator, and a terminal rule, and it returns the exact game-theoretic value of every state — win, loss, draw, with exact distance — and certifies itself against an independent oracle. States get a fold coordinate (index+1)/P traced to the One; terminals seed; retrograde induction propagates. Demonstrated beyond chess on the subtraction game (loss iff heap divisible by 4) and Nim (loss iff XOR of heaps is zero, Sprague-Grundy/Bouton), reproducing each closed-form oracle with zero disagreements. Exact, certified, general: one solver for all finite games. Machine-checked; reproduces from one command. A standalone result within the Smithian Fold Theory of Everything (SFTOE). Full corpus, code, and the run-it-yourself VERIFY.md protocol: https://github.com/MettaMazza/Smithian-Fold-Theory

Read Full Paperexternally

Perguntar à IA

Bookmark

View Full Paper