34 of 52 entries have no independent check.
Weak grade, no check 9
The grade rests on the announcing lab alone.
No check yet 25
Better evidenced, still unconfirmed outside the lab.
Smaller gaps
Single facts, no judgment about evidence needed.
Year posed 40
The year the problem was first posed.
Counterexample to Grothendieck's question on finite flat group schemes First Herculaneum scroll read end to end without unrolling it Nine Erdős problems and 44 OEIS conjectures proved with machine-checked proofs Structure in Bruhat intervals of permutation groups Erdős problem #728 resolved and formalized in Lean Early science acceleration experiments with GPT-5 AlphaEvolve across 67 problems: 20 improvements, 8 regressions GPT-5 "solved 10 Erdős problems": it located existing solutions and 32 more
Notability 37
The Wikipedia article for the problem, which drives the notability count.
Counterexamples to the Gaussian moments conjecture Counterexample to Grothendieck's question on finite flat group schemes Structure in Bruhat intervals of permutation groups Erdős problem #728 resolved and formalized in Lean Early science acceleration experiments with GPT-5 AlphaEvolve across 67 problems: 20 improvements, 8 regressions GPT-5 "solved 10 Erdős problems": it located existing solutions Limits to black-box amplification in QMA, with the key step written by GPT-5 and 29 more
Discussion 38
A thread where the result was debated.
Counterexamples to the Gaussian moments conjecture Counterexample to the Jacobian conjecture in dimension three Near-quadratic lower bound for derivative-free convex optimization Counterexample to Grothendieck's question on finite flat group schemes First Herculaneum scroll read end to end without unrolling it Nine Erdős problems and 44 OEIS conjectures proved with machine-checked proofs Disproof of the Erdős unit-distance conjecture Structure in Bruhat intervals of permutation groups and 30 more