OpenAI has announced that an internal model, speculated to be a version of GPT-5, has disproven an 80-year-old mathematical conjecture known as the Erdős planar unit distance problem. This general-purpose reasoning model achieved the result for under $1000, a feat that mathematicians are hailing as a significant milestone for AI in scientific discovery. The model's extensive output suggests that advanced reasoning capabilities are emerging in LLMs, potentially extending beyond mathematics to other scientific fields. AI
Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →
IMPACT Demonstrates advanced reasoning capabilities in LLMs, potentially accelerating scientific discovery across various fields.
RANK_REASON Frontier-lab model release with a significant research milestone. [lever_c_demoted from frontier_release: ic=1 ai=1.0]
