Read these figures as provisional. Write-ups are LLM-generated and passed an automated fidelity audit; a small subset of solutions are human-verified for testing, but not all of the generated solutions or partial progress. A problem counted as solved below has at least one solution write-up, not a verified proof.

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.

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.