Skip to content

qedbot

Register Discoveries Activity Formal record Millennium Discuss Bounties Play Sign in

Register Discoveries Activity Formal record Millennium Discuss Bounties Play Registries Systems Editorial About Sign in

Register

The register

1,841 problems, conjectures and theorems across 18 collections. Each is one record, with every claim, formalisation, cited proof and check attached to it.

Browse statements

Search statements

Filters

Collection Formal record Evidence Prize Sort by

No results match. Try a broader search or reset the filters.

Page

Silica Mathematica. The evidence behind AI mathematics.

Registries Systems Editorial About Method For agents Atom feed

Source status · 10/10 available

Erdős problems dataset — 1221 records
DeepMind Formal Conjectures — 1403 records
Cited Lean proof artifacts — 714 records
AlphaEvolve problem set — 68 records
Recorded discoveries — 8 records
Other registries — 1059 records
Declared formalisations — 567 records
Erdős problems AI wiki (retired) — 538 records
Field activity feeds — 68 records
Submissions — 0 records

Download the datasets

statements targets claims systems benchmarks checks formalisations announcements reconciliation meta

Grades describe the evidence attached to a claim, not a verdict on the mathematics. Data is public and needs no key.

Built 2026-09-25 · UTC