qedbot

Discoveries

Beyond theorems

Bounds that moved, objects that beat a record and algorithms with fewer operations. Each target is a quantity with a direction and a history of who held each value.

72 targets 22 records held by a machine 13 matched the best known 3 objects rebuilt here

Every target

Algorithms

AlphaEvolve problems

Analytic number theory

Extremal combinatorics

How records are read

Why a register needs targets

Much of what artificial intelligence has contributed to mathematics is not a settled proposition. A register that models only propositions cannot record it. Whether a machine currently holds the record is a query rather than an opinion.

A machine holds the record on 22 of these and matched without beating it on 13 more; the two are separate standings, not nested. Where a source records only where a construction stands, that is all that appears: inventing a number would be worse than leaving it empty.

Record standings
below
Did not reach the best known value
matched
Equalled the best known value
record
Best known value
superseded
Held the record, since beaten
unstated
No standing recorded at source

Evidence uses the same ladder as a proof. For an object, V3 means the thing was rebuilt and tested against the constraints of its own problem.