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
影响 Demonstrates advanced reasoning capabilities in LLMs, potentially accelerating scientific discovery across various fields.
排序理由 Frontier-lab model release with a significant research milestone. [lever_c_demoted from frontier_release: ic=1 ai=1.0]
- Claude 4.5 Haiku
- Cohere
- Command A+
- Erdős planar unit distance problem
- GPT-5
- Hongxun Wu
- OpenAI
- Timothy Gowers
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
