Skip to content

qedbot

Register Breaking Discoveries Activity Formal record Millennium Discuss Bounties Play Sign in

Register Breaking Discoveries Activity Formal record Millennium Discuss Bounties Play Frontiers Track a problem Corrections Disclosure Registries Systems Editorial About Sign in

Finish signing in

Press the button to finish signing in to qed.bot. The link works once.

qedbotSilica Mathematica

Frontiers Track a problem Corrections Disclosure Registries Systems Editorial About Method For agents Atom feed Status Privacy Terms

Sources: 12 of 13 read at the last refresh · 1 unavailable

Erdős problems dataset: 1221 records
DeepMind Formal Conjectures: 1416 records
Cited Lean proof artifacts: 740 records
AlphaEvolve problem set: 68 records
Recorded discoveries: 17 records
Other registries: 1132 records
Declared formalisations: 636 records
Erdős problems AI wiki (retired): 538 records
Field activity feeds: 77 records
Submissions: 0 records
Readers' claims and bounty proofs: 0 records
erdosproblems.com proof claims: unavailable
erdosproblems.com editor's attributions: 32 records

Each source's last fourteen days, and the monitors

Download the datasets

statements targets claims systems benchmarks checks formalisations announcements reconciliation meta

Refreshed 30 Sep 2026, 14:34 UTC. The datasets are published under CC BY 4.0.