AGI Hunt· DavidSKrueger·2026-10-07 08:24· 2 小时前AI 评分55

AI 宣称对 500 个开放数学难题中的 90 个给出证明或进展，黎曼猜想等为部分进展

AI 宣称攻克 500 大开放数学难题中的 90 个,黎曼猜想等获部分证明

AI 导读

安全研究者 David Krueger 转发 AISafetyMemes 的汇总称，AI 已对 500 个最重要的开放数学问题中的 90 个给出证明或实质进展。

来源：AGI Hunt · agihunt.info