Summary of Results
Aggregate outcomes of our agentic pipeline across every open problem extracted from the source journals/conferences. Figures are computed from the published dataset each time this page loads, so they always match the problem listings.
At a glance
Progress across all problems
Each problem falls into exactly one bucket. “Partial progress” means no full write-up exists yet, but at least one partial result does.
What the solutions look like
Solution write-ups are classified by how the problem was resolved — by proving the statement, or by refuting it with a counterexample.
How far the attempts got
The verifier stage rates every solver attempt out of three, against the problem's main result. Problems attempted more than once are counted at their best score.
Progress by category
Research categories follow the site taxonomy, ordered by number of problems.
Progress by source journal
Further breakdowns
Finer cuts of the same dataset, for readers who want the detail behind the headline figures.
Source papers by publication year
Full category table
Download the data
One row per problem, joining the problem metadata to its solution status. Useful for reproducing or extending any figure on this page.