Overview
- In a deleted post, OpenAI VP Kevin Weil said GPT-5 had solved ten Erdős problems and made progress on eleven more.
- Thomas Bloom, who runs ErdosProblems.com, said the items marked open reflected his awareness rather than the state of the field.
- OpenAI researchers deleted or revised posts and acknowledged the model located existing papers instead of generating new proofs.
- Google DeepMind’s Demis Hassabis called the episode embarrassing and Meta’s Yann LeCun mocked the overstatement.
- Mathematicians including Terence Tao framed the takeaway as AI’s usefulness for difficult literature search rather than autonomous discovery.