Featured explainer · In preparation
Two implementations agreed, and both were wrong.
Two independent enumerators matched each other exactly and still failed the external anchor; agreement is not correctness.
For product people
Checkable
Every claim, one click from its proof.
A public research notebook for AI-assisted mathematics, written here for readers outside mathematics. Each result gets an explainer that meets you in your own field, and each number carries a receipt: a source, a verification method, and a date.
In the queue
Records with a witness.
How the previous record holder reviewed the solver, reproduced the computation, and put the results on the field’s canonical table.
The bottleneck was in their bibliography.
A 2018 five-author census stopped at its computational limit; the fix was a 1961 theorem cited in their own reference list.
Reproduce first, then extend.
Reproducing all of a published census before adding to it, and how six errata in the source paper surfaced as a byproduct.
The 110 billion trees behind one merged line.
What a merged pull request into a mathematician’s database is, and what it is not.
A 14-year-old dropped digit.
Canonical databases carry old errors; this one was proven wrong four independent ways before the correction shipped.
The world’s poset tables now end at these values.
Extending partial-order counting sequences to the new published frontier.
What a laptop does now.
What a 15-minute reproduction of a once-hard census says about compute, and what it says nothing about.
Before the articles, the receipts
No article ships until every claim it makes is registered with its proof. The claims registry, the scoreboard, and the five-rung verification ladder live in the evidence ledger; the full result entries, each readable at several levels, live in the notebook.
Every item everywhere on this site is stated at exactly its status. Submitted is not published; merged is not endorsed; in revision is not accepted.