Erdős Problems: A Living Archive of Mathematical Questions, with a Complete List of Problems Still Without Proofs
Published:
An introduction to Thomas Bloom’s Erdős Problems website, the distinctions among open, solved, proved, disproved, and Lean-formalized problems, and a complete snapshot of the Erdős problems that remained entirely unresolved as of July 28, 2026.