The Erdős problems site stopped taking proofs after an AI flood.
Thomas Bloom, who runs erdosproblems.com, froze new comments and proof claims on Tuesday. He says the site's 9,000 comments now mostly advertise AI proofs that nobody explains. The site also dropped its open and solved labels for all 1,221 problems.
Why it mattersOpen problem lists are where AI labs now hunt for headline results. The people who keep those lists are starting to shut the door.
Read in the app — free, in 9 languages
Related stories
Twenty tries at the same task cut the best agent's score by a third.2026-10-06A model learned to write without the method that trains every AI.
2026-10-06The US got 16 countries to put AI at the centre of science.
2026-10-05Mathematicians cracked five open problems using an ordinary chat box.
2026-10-05Untuned models solved agent tasks their polished versions could not.
2026-10-04