State of Proof

The archive

State Changes

A dated archive of material updates across State of Proof records, newest first. Corrections and superseded sources are added to history rather than silently replacing prior entries.

  1. new docket

    2026-07-29-maxwell-conjecture · Maxwell counterexample

    arXiv v1 source locked and five audit gates mapped; no gate run

  2. new docket

    2026-02-14-openai-first-proof · First Proof calibration

    Original and revised packets locked; five calibration gates mapped; no gate run

  3. new docket

    2025-10-27-nesterov-point-convergence · Nesterov point convergence

    arXiv v2 locked and four audit gates mapped; no gate run

  4. new docket

    2026-07-10-openai-cycle-double-cover · Cycle double cover

    Manuscript and Lean commit locked; four audit gates mapped; no gate run

  5. new docket

    2026-08-01-openai-nonsofic-group · Nonsofic unit group

    Updated and original manuscripts plus Lean commit locked; four gates mapped; no gate run

  6. check reproduced

    2026-08-23-alpoge-s6 · Alpöge S⁶ claim

    Finite matrix identities and conditional Smith arithmetic reproduced locally

  7. open step

    2026-08-23-alpoge-s6 · Alpöge S⁶ claim

    Relative meridian signs recorded as the highest-risk next gate

  8. new docket

    2026-08-23-alpoge-s6 · Alpöge S⁶ claim

    108-page source locked and five load-bearing gates mapped

  9. source updated

    2026-08-01-openai-nonsofic-group · Nonsofic unit group

    OpenAI published a substantive Chapter 3 revision; the August 2 Lean commit predates it

  10. source updated

    2025-10-27-nesterov-point-convergence · Nesterov point convergence

    v2 published; the withdrawn v1 r∈[1,3) route retained as lineage only