AI × SCIENCE · OPEN PROBLEMS

Unknown, Q.E.D.

Quod erat demonstrandum.

Tracking every scientific problem solved by AI. Each record states how complete the result is, how it was verified and where it came from, and anyone can annotate or challenge it.

Grades

SolvedAI found, or led the way to, a complete and new solution.
PartialAn improved bound, a new construction or a special case; the problem stays open.
Prior artThe “new” solution AI produced was already in the literature.
UnverifiedClaimed publicly but not yet independently checked.

Problems

Newest first · 60 of 262 records
FieldAllMathComputer scienceBiologyPhysicsChemistry
GradeAllSolvedPartialPrior artUnverified
  1. 2026-04-09Math · Analysis
    Erdős Problem #987Full solution by OpenAI internal model (9 Apr 2026).OpenAI internal model✓ Listed in Tao's wiki0 notes
    Solved
  2. 2026-04-09Math · Analysis
    Erdős Problem #990Full solution by OpenAI internal model (9 Apr 2026).OpenAI internal model✓ Listed in Tao's wiki0 notes
    Solved
  3. 2026-04-03Math · Sidon sets
    Erdős Problem #152Full solution by DeepMind prover agent, formalized in Lean (3 Apr 2026).DeepMind prover agent✓ Lean formalization · Listed in Tao's wiki0 notes
    Solved
  4. 2026-04-01Math · Number theory
    Erdős Problem #1202Full solution by GPT-5.4 Pro (1 Apr 2026).GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  5. 2026-03-31Math · Number theory
    Erdős Problem #380Full solution by Terence Tao with GPT-5.4 Pro (31 Mar 2026).Terence Tao with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  6. 2026-03-31Math · Analysis
    Erdős Problem #997Full solution by OpenAI internal model (31 Mar 2026).OpenAI internal model✓ Listed in Tao's wiki0 notes
    Solved
  7. 2026-03-30Math · Number theory
    Erdős Problem #125Full solution by DeepMind prover agent, formalized in Lean (30 Mar 2026). 2 AI contributions are recorded in all.DeepMind prover agent✓ Lean formalization · Listed in Tao's wiki0 notes
    Solved
  8. 2026-03-26Math · Number theory
    Erdős Problem #369Full solution by Sky Yang with GPT (26 Mar 2026).Sky Yang with GPT✓ Listed in Tao's wiki0 notes
    Solved
  9. 2026-03-24Math · Analysis
    Erdős Problem #1153Full solution by Aron Bhalla, Nat Sothanaphan and Terence Tao with AlphaEvolve, Claude, Gemini Pro, GPT-5.2 Thinking and GPT-5.4 Pro (24 Mar 2026).Aron Bhalla, Nat Sothanaphan and Terence Tao with AlphaEvolve, Claude, Gemini Pro, GPT-5.2 Thinking and GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  10. 2026-03-16Math · Number theory
    Erdős Problem #1148Full solution by Ingo Althöfer, Przemek Chojecki and Wouter van Doorn with Gemini 3 Pro, Gemini 3.1 Pro, GPT-5.2 Pro, GPT-5.2 Thinking and GPT-5.4 Pro (16 Mar 2026). 2 AI contributions are recorded in all.Ingo Althöfer, Przemek Chojecki and Wouter van Doorn with Gemini 3 Pro, Gemini 3.1 Pro, GPT-5.2 Pro, GPT-5.2 Thinking and GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  11. 2026-03-02Math · Number theory
    Erdős Problem #457Full solution by Aristotle and GPT-5.2 Pro, formalized in Lean (2 Mar 2026).Aristotle and GPT-5.2 Pro✓ Lean formalization · Listed in Tao's wiki0 notes
    Solved
  12. 2026-01-29Math · Irrationality
    Erdős Problem #1051Full solution by Aletheia, formalized in Lean (29 Jan 2026).Aletheia✓ Lean formalization · Listed in Tao's wiki0 notes
    Solved
  13. 2026-01-21Math · Number theory
    Erdős Problem #543Full solution by GPT-5.2 Pro (21 Jan 2026).GPT-5.2 Pro✓ Listed in Tao's wiki0 notes
    Solved
  14. 2026-01-13Math · Geometry
    Erdős Problem #659Full solution by Benjamin Grayzel with Gemini 3 (13 Jan 2026). 2 AI contributions are recorded in all.Benjamin Grayzel with Gemini 3✓ Listed in Tao's wiki0 notes
    Solved
  15. 2026-01-10Math · Number theory
    Erdős Problem #205Full solution by Aristotle and GPT-5.2 Thinking, formalized in Lean (10 Jan 2026).Aristotle and GPT-5.2 Thinking✓ Lean formalization · Listed in Tao's wiki0 notes
    Solved
  16. 2026-01-08Math · Number theory
    Erdős Problem #729Full solution by Aristotle and GPT-5.2 Pro, formalized in Lean (8 Jan 2026).Aristotle and GPT-5.2 Pro✓ Lean formalization · Listed in Tao's wiki0 notes
    Solved
  17. 2026-01-06Math · Number theory
    Erdős Problem #728Full solution by Aristotle and GPT-5.2 Pro, formalized in Lean (6 Jan 2026).Aristotle and GPT-5.2 Pro✓ Lean formalization · Listed in Tao's wiki0 notes
    Solved
  18. 2025-12-08Math · Combinatorics
    Erdős Problem #1026Full solution by Boris Alexeev, Stijn Cambie, Terence Tao and Lawrence Wu with AlphaEvolve, Aristotle, Gemini and GPT, formalized in Lean (8 Dec 2025). 2 AI contributions are recorded in all.Boris Alexeev, Stijn Cambie, Terence Tao and Lawrence Wu with AlphaEvolve, Aristotle, Gemini and GPT✓ Lean formalization · Listed in Tao's wiki0 notes
    Solved
  19. 2025-11-20Math · Number theory
    Erdős Problem #848Full solution by Mehtaab Sawhney and Mark Sellke with GPT-5 (20 Nov 2025). 2 AI contributions are recorded in all.Mehtaab Sawhney and Mark Sellke with GPT-5✓ Listed in Tao's wiki0 notes
    Solved
  20. 2025-10-25Math · Number theory
    Erdős Problem #347Full solution by Enrique Barschkis, Wouter van Doorn, jbbaehr22, Bartosz Naskrecki and Terence Tao with Aristotle, Claude Opus, Codex and GPT, formalized in Lean (25 Oct 2025).Enrique Barschkis, Wouter van Doorn, jbbaehr22, Bartosz Naskrecki and Terence Tao with Aristotle, Claude Opus, Codex and GPT✓ Lean formalization · Listed in Tao's wiki0 notes
    Solved