erdosproblems.com maintainer Thomas Bloom calls claims that GPT-5 solved 10 open Erdős problems “a dramatic misrepresentation”: the model found existing papers with solutions
translated by AI, reviewed by the editors
· Science
- technology
- AI in mathematics
- source
- x.com ↗
¶ cydu4nn57