Corroboration
Registers of claims in mathematics
Famous open problems attract claimed solutions. Almost none of those claims are ever formally examined, and the lists that tracked them have a way of dying with their keepers. This programme builds registers that keep honest score: every entry sourced, every number dated, machines watching the sources and people deciding what the evidence means.
The P versus NP Register
Continuing the page kept by Gerhard Woeginger, 1996–2016. His 116 historical dossiers preserved and carried forward; the decade since his final entry censused; every statistic with its receipt beside it.
The first register of the programme.
Further registers follow only when they are earned: a corpus captured, its sources watched, its record proven against the same discipline. A register that cannot show its receipts does not ship.
Correspondence: mark@pensionable.ai