OpenAI 模型以不足1000美元的成本证伪了已有80年历史的数学难题

OpenAI宣布，其内部模型（推测为GPT-5的一个版本）已经证伪了一个已有80年历史的数学猜想，即 Erdős 平面单位距离问题。该通用推理模型以不足1000美元的成本完成了这项工作，数学家们称之为人工智能在科学发现领域的一个重要里程碑。该模型的广泛输出表明，大型语言模型（LLMs）正在展现出高级推理能力，并有可能从数学领域扩展到其他科学领域。 AI

影响 展示了大型语言模型（LLMs）的高级推理能力，有望加速各领域的科学发现。

排序理由 前沿实验室模型发布，取得重要的研究里程碑。 [lever_c_demoted from frontier_release: ic=1 ai=1.0]

在 Latent Space (swyx) 阅读 →

• Claude 4.5 Haiku
• Cohere
• Command A+
• Erdős planar unit distance problem
• GPT-5
• Hongxun Wu
• OpenAI
• Timothy Gowers

• 论文
• 产品
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →