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
No records match these filters.