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 · 262 records
FieldAllMathComputer scienceBiologyPhysicsChemistry
GradeAllSolvedPartialPrior artUnverified
  1. 2026-04-27Math · Geometry
    Erdős Problem #956A claim by Przemek Chojecki with Aristotle and GPT-5.5 Pro (27 Apr 2026) that has not yet been verified: candidate full solution.Przemek Chojecki with Aristotle and GPT-5.5 Pro✓ Listed in Tao's wiki0 notes
    Unverified
  2. 2026-04-26Math · Analysis
    Erdős Problem #1131A claim by GPT-5.5 Pro (26 Apr 2026) that has not yet been verified: candidate partial result.GPT-5.5 Pro✓ Listed in Tao's wiki0 notes
    Unverified
  3. 2026-04-26Math · Number theory
    Erdős Problem #896Full solution by Przemek Chojecki with GPT-5.5 Pro (26 Apr 2026).Przemek Chojecki with GPT-5.5 Pro✓ Listed in Tao's wiki0 notes
    Solved
  4. 2026-04-25Math · Number theory
    Erdős Problem #1138Full solution by Kireet Cheri, Sourish Kumrawat and Hrishi Sunder with GPT-5.5 Pro and GPT-5.5 Thinking (25 Apr 2026).Kireet Cheri, Sourish Kumrawat and Hrishi Sunder with GPT-5.5 Pro and GPT-5.5 Thinking✓ Listed in Tao's wiki0 notes
    Solved
  5. 2026-04-25Math · Number theory
    Erdős Problem #38Full solution by GPT-5.5 Pro (25 Apr 2026).GPT-5.5 Pro✓ Listed in Tao's wiki0 notes
    Solved
  6. 2026-04-25Math · Analysis
    Erdős Problem #521Partial progress by Vjekoslav Kovač with GPT-5.5 Pro (25 Apr 2026): solution to variant problem. 2 AI contributions are recorded in all.Vjekoslav Kovač with GPT-5.5 Pro✓ Listed in Tao's wiki0 notes
    Partial
  7. 2026-04-25Math · Number theory
    Erdős Problem #888Full solution by Przemek Chojecki with Aristotle and GPT-5.5 Pro (25 Apr 2026).Przemek Chojecki with Aristotle and GPT-5.5 Pro✓ Listed in Tao's wiki0 notes
    Solved
  8. 2026-04-25Math · Analysis
    Erdős Problem #906A claim by Adriano Almeida with Unspecified (25 Apr 2026) that has not yet been verified: candidate full solution. 2 AI contributions are recorded in all.Adriano Almeida with Unspecified✓ Listed in Tao's wiki0 notes
    Unverified
  9. 2026-04-24Math · Number theory
    Erdős Problem #330Full solution by David Turturean with GPT-5.5 Pro (24 Apr 2026).David Turturean with GPT-5.5 Pro✓ Listed in Tao's wiki0 notes
    Solved
  10. 2026-04-23Math · Graph theory
    Erdős Problem #1014Full solution by OpenAI internal model (23 Apr 2026).OpenAI internal model✓ Listed in Tao's wiki0 notes
    Solved
  11. 2026-04-23Math · Number theory
    Erdős Problem #1190Full solution by Boon Suan Ho with GPT-5.4 Pro (23 Apr 2026). 2 AI contributions are recorded in all.Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  12. 2026-04-23Math · Additive combinatorics
    Erdős Problem #1194Partial progress by GPT-5.4 Pro (23 Apr 2026): partial result. 2 AI contributions are recorded in all.GPT-5.4 Pro✓ Lean formalization · Listed in Tao's wiki0 notes
    Partial
  13. 2026-04-23Math · Covering systems
    Erdős Problem #202Full solution by Boon Suan Ho with GPT-5.4 Pro (23 Apr 2026). 2 AI contributions are recorded in all.Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  14. 2026-04-22Math · Set theory
    Erdős Problem #598A claim by Przemek Chojecki with Aristotle and GPT-5.4 Pro (22 Apr 2026) that has not yet been verified: candidate partial result.Przemek Chojecki with Aristotle and GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Unverified
  15. 2026-04-22Math · Number theory
    Erdős Problem #863Full solution by Boon Suan Ho with GPT-5.4 Pro (22 Apr 2026).Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  16. 2026-04-21Math · Combinatorics
    Erdős Problem #603Full solution by Przemek Chojecki with GPT-5.4 Pro (21 Apr 2026).Przemek Chojecki with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  17. 2026-04-21Math · Graph theory
    Erdős Problem #610Partial progress by Przemek Chojecki with Aristotle and GPT-5.4 Pro (21 Apr 2026): full solution (Lean) (implicit in literature).Przemek Chojecki with Aristotle and GPT-5.4 Pro✓ Lean formalization · Listed in Tao's wiki0 notes
    Partial
  18. 2026-04-21Math · Analysis
    Erdős Problem #995Partial progress by Boon Suan Ho with GPT-5.4 Pro (21 Apr 2026): partial result.Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Partial
  19. 2026-04-21Math · Analysis
    Erdős Problem #996Full solution by Boon Suan Ho with GPT-5.4 Pro (21 Apr 2026).Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  20. 2026-04-20Math · Analysis
    Erdős Problem #514Partial progress by Przemek Chojecki with GPT-5.4 Pro (20 Apr 2026): partial result (solutions to first part and second part). 2 AI contributions are recorded in all.Przemek Chojecki with GPT-5.4 Pro✓ Lean formalization · Listed in Tao's wiki0 notes
    Partial
  21. 2026-04-19Math · Number theory
    Erdős Problem #1062Partial progress by Damek Davis with GPT-5.4 Pro (19 Apr 2026): partial result.Damek Davis with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Partial
  22. 2026-04-19Math · Number theory
    Erdős Problem #1195Full solution by Boon Suan Ho with GPT-5.4 Pro (19 Apr 2026).Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  23. 2026-04-19Math · Number theory
    Erdős Problem #415Partial progress by Przemek Chojecki with GPT-5.4 Pro (19 Apr 2026): partial result.Przemek Chojecki with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Partial
  24. 2026-04-18Math · Number theory
    Erdős Problem #675Partial progress by Boon Suan Ho with GPT-5.4 Pro (18 Apr 2026): partial result.Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Partial
  25. 2026-04-16Math · Number theory
    Erdős Problem #1217Full solution by GPT-5.4 Pro (16 Apr 2026).GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  26. 2026-04-16Math · Additive combinatorics
    Erdős Problem #741Full solution by DeepMind prover agent, formalized in Lean (16 Apr 2026). 3 AI contributions are recorded in all.DeepMind prover agent✓ Lean formalization · Listed in Tao's wiki0 notes
    Solved
  27. 2026-04-16Math · Number theory
    Erdős Problem #976Partial progress by Aron Bhalla with GPT-5.4 (16 Apr 2026): conditional partial result.Aron Bhalla with GPT-5.4✓ Listed in Tao's wiki0 notes
    Partial
  28. 2026-04-15Math · Number theory
    Erdős Problem #1209Partial progress by Enrique Barschkis with GPT-5.4 Pro (15 Apr 2026): partial result (Lean).Enrique Barschkis with GPT-5.4 Pro✓ Lean formalization · Listed in Tao's wiki0 notes
    Partial
  29. 2026-04-15Math · Number theory
    Erdős Problem #251Partial progress by GPT-5.4 Pro (15 Apr 2026): solution to variant problem.GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Partial
  30. 2026-04-15Math · Number theory
    Erdős Problem #852Partial progress by Aron Bhalla with GPT-5.4 (15 Apr 2026): partial result. 2 AI contributions are recorded in all.Aron Bhalla with GPT-5.4✓ Listed in Tao's wiki0 notes
    Partial
  31. 2026-04-15Math · Number theory
    Erdős Problem #856A claim by Przemek Chojecki with GPT-5.4 Pro (15 Apr 2026) that has not yet been verified: candidate full solution.Przemek Chojecki with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Unverified
  32. 2026-04-15Math · Number theory
    Erdős Problem #858Full solution by Przemek Chojecki with GPT-5.4 Pro (15 Apr 2026).Przemek Chojecki with GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  33. 2026-04-14Math · Irrationality
    Erdős Problem #258Full solution by GPT-5.4 Pro (14 Apr 2026).GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  34. 2026-04-14Math · Number theory
    Erdős Problem #366Partial progress by Automated research pipeline (14 Apr 2026): conditional partial result.Automated research pipeline✓ Listed in Tao's wiki0 notes
    Partial
  35. 2026-04-13Math · Number theory
    Erdős Problem #1196Full solution by GPT-5.4 Pro (13 Apr 2026). 2 AI contributions are recorded in all.GPT-5.4 Pro✓ Listed in Tao's wiki0 notes
    Solved
  36. 2026-04-10Math · Additive combinatorics
    Erdős Problem #138Partial progress by DeepMind prover agent (10 Apr 2026): partial result (Lean). 2 AI contributions are recorded in all.DeepMind prover agent✓ Lean formalization · Listed in Tao's wiki0 notes
    Partial
  37. 2026-04-09Math · Chromatic number
    Erdős Problem #1091Full solution by OpenAI internal model (9 Apr 2026).OpenAI internal model✓ Listed in Tao's wiki0 notes
    Solved
  38. 2026-04-09Math · Number theory
    Erdős Problem #1141Full solution by OpenAI internal model (9 Apr 2026). 2 AI contributions are recorded in all.OpenAI internal model✓ Listed in Tao's wiki0 notes
    Solved
  39. 2026-04-09Math · Geometry
    Erdős Problem #960Full solution by OpenAI internal model (9 Apr 2026).OpenAI internal model✓ Listed in Tao's wiki0 notes
    Solved
  40. 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