AI 宣称证明 500 个数学难题中的 90 个

2026年10月7日08:24，AGI Hunt 报道称，安全研究者 David Krueger 转发 AISafetyMemes 的汇总内容，指 AI 已对 500 个最重要的开放数学问题中的 90 个给出证明或实质进展，黎曼猜想等被列为部分进展。同日09:02，AGI Hunt 再发报道，仍是转述 AISafetyMemes 的同一汇总：AI 已对全球最重要的 500 个数学开放难题中的 90 个给出证明或实质进展，并称黎曼假设、Hodge 猜想等多个千禧年顶级难题获得部分证明。早先报道只提到黎曼猜想等被列为部分进展，后续报道则进一步称 Hodge 猜想等千禧年难题也“获得部分证明”。两篇报道均未说明证明的来源、验证方式与具体问题清单，也未见数学界或相关机构予以确认。目前事件仍停留在社交媒体汇总帖的“宣称”阶段，尚无独立核实的后续信息。

AI 根据报道生成 · 29 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。