标签
Aleph Prover 已在 Lean 4 中形式化了 OpenAI 对保罗·埃尔德什平面单位问题的反证，并将其作为开源发布以供独立验证，展示了人工智能在加速数学研究中的作用，同时提供了可验证的证明数据。
Anthropic的新AI模型Claude Mythos，使用Claude Code框架，据报道在OpenAI先前证伪之后，通过找到替代的简单证明，解决了Erdős的不同距离问题。这展示了LLMs进行独立科学突破的能力。
上周末，Mythos 在 Erdos 单位距离问题（问题 #90）上得到了测试，并成功解决了它。
一位OpenAI研究员声称，其模型对离散几何中一个Erdős问题的解决是迄今为止AI领域最大的成就，但预测到年底时这一成就将被超越。
OpenAI 声称其新推理模型自主生成了一个原创数学证明，推翻了保罗·埃尔德什（Paul Erdős）一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。
OpenAI在数学领域取得了一项突破：一个人工智能模型自主解决了平面单位距离问题，这是自1946年由Paul Erdős提出的一个著名未解问题。该模型发现了一类全新的构造，其性能优于正方形网格。这标志着人工智能首次独立解决了一个数学领域的重要开放问题。
OpenAI 模型自主解决了平面单位距离问题，这是由保罗·埃尔德什于1946年提出的著名数学开放问题。该模型发现了一组超越方格的新构造。这标志着人工智能首次自主证明了一个重要的数学开放问题。