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 · 1 of 262 records
FieldAllMathComputer scienceBiologyPhysicsChemistry
GradeAllSolvedPartialPrior artUnverified
  1. 2026-02-28Computer science · Combinatorics
    Claude's cycles: decomposing a 3D torus digraph into Hamiltonian cyclesClaude Opus 4.6 found a construction that splits a digraph from Knuth's forthcoming TAOCP section into three Hamiltonian cycles for every odd m; Knuth proved it and it was formalized in Lean. The even case has a separate, unverified AI proof.Claude Opus 4.6 (Anthropic), coached by Filip Stappers; proof by Donald Knuth✓ Proof written by Knuth · Lean formalization (Kim Morrison)0 notes
    Solved