GPT-5.4 Pro solves Erdős Problem #1196
https://twitter.com/i/status/2044051379916882067Article
- GPT-5.4 Pro claimed to have solved Erdős combinatorics problem #1196
- Announced via Twitter/X with minimal technical detail
Discussion
- Top concern: how do we verify it’s not regurgitating a prior unpublished solution
- Noted that Jared Lichtman (on the Erdős problems site) is connected to an AI math startup partnering with Terence Tao
- Community largely skeptical with limited engagement (‘Yawn’)
| Type | Link |
| Added | Apr 15, 2026 |
| Modified | Apr 15, 2026 |