Quanta: AI is starting to crack legendary Erdős math problems
kylekabasares · x · 2026-08-04
Quanta reports that AI is starting to make real inroads on legendary Erdős problems, the deceptively simple but deep math questions posed by Paul Erdős.
- In May 2026, OpenAI said an internal model found a counterexample to the 1946 unit distance problem; humans later improved on the result.
- On August 1, OpenAI announced an unreleased model called Astra had made 10 more mathematical advances, including solutions to three additional Erdős problems.
- Mathematicians quoted in the piece describe this as a possible phase change in AI’s mathematical ability, and researchers are now studying what makes these problems uniquely tractable for models.
Related event: Rumors of OpenAI's Unreleased Astra Solving Math Problems Spark Controversy(6 posts)→
More from Research
- Free app teaches LLM basics and trains a small model locally on Apple MLX — dr_cintas · 2026-08-04
- Pure VLAs may not need long-horizon planning if VLMs can cover it — m_wulfmeier · 2026-08-04
- New CCN poster finds LLM-brain alignment scales differently across cortical systems — neuranna · 2026-08-04
- ThursdAI explores whether Codex and multi-agent math can solve Erdős problems — thursdai_pod · 2026-08-04
- New IC-based fMRI encoding models predict functional brain networks during stories — neuranna · 2026-08-04
- Benchmark scores may be mostly explained by one factor, says a new compute argument — nabeelqu · 2026-08-04