About
A guide to the register
qed.bot records what artificial intelligence has contributed to mathematics, assembled automatically from public sources and graded against a published rubric: 1,841 statements across 18 collections, and 72 record targets.
The register
Every problem, conjecture and theorem held, with its claims and proofs.
AI activity
What AI did and when, graded, plus the disclosure ledger of announcements.
The formal record
Every formalization.yaml read, and whether what it declares survives a rebuild.
Discoveries
Bounds that moved and objects that beat a record, with their histories.
Registries
Where other registries of AI mathematics agree and disagree with this one.
Systems
A track record per system, computed from the claims.
Method
How statements are identified, how claims are graded, and what a check establishes.
Benchmarks
How much of each benchmark already carries public AI work.
Field activity
What the field is publishing, attached to the statements it names.
Editorial
Why the record of AI mathematics needs keeping, and how.
For agents
The Model Context Protocol surface: read the graph, verify a proof, submit one.
Open data
Every dataset as JSON, free and without a key, plus an Atom feed.