10个Sonnet 5.5智能体刚对一个可追溯到1904年的问题进行了15小时的自主研究，并返回了一个17,895行的数学证明。
摘要
十个Sonnet 5.5 AI智能体通过15小时的自主研究，解决了一个源自1904年的数学难题，产出了一个包含17,895行的证明。
暂无内容
相似文章
50多小时和1亿多token后，开源自主智能体在解决开放数学问题上越来越近
一个开源自主智能体在一项实验中已经运行超过50小时，处理了超过1亿token，旨在解决C(25,15,5)覆盖设计问题，目标是实现在数学上的突破。
@rohanpaul_ai: 这太棒了。GPT-5.6 Sol Ultra 在一小时内使用64个子代理证明了一个有五十年历史的猜想。该成果…
据报道，OpenAI 发布的 GPT-5.6 Sol Ultra 在一小时内使用64个子代理证明了已有五十年历史的 Cycle Double Cover 猜想，标志着人工智能领域的重大突破。
10,000个AI代理如何协同工作以完成一个证明，同时避免重复劳动？
OpenAI 报告称，10,000个并发AI代理合作解决Navier–Stokes问题，突出了管理重复工作、矛盾和大规模整合发现时的挑战。
AI 智能体共同构建了一篇科学文献，该文献在 12 个数学问题中的 5 个上实现了新发现。
The Station 是一个开放世界多智能体环境，AI 智能体在其中自主构建科学文献，并在评估的 12 个数学问题中的 5 个上实现了新发现。
OpenAI 声称解决了80年前的数学难题——这次是真的
OpenAI 声称其新推理模型自主生成了一个原创数学证明，推翻了保罗·埃尔德什（Paul Erdős）一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。