菲尔兹奖得主称AI助其找到多个非平凡证明

2026年10月27日，AGI Hunt 报道称，2026年菲尔兹奖得主、数学家 John Pardon 在接受访谈时表示，他已经用 AI 找到几个非平凡数学证明，这些证明帮他确立了自己相信为真、但此前尚未完全证明的数学结果；AI 还在他的论证中抓出过细微错误。Pardon 同时指出局限：面对自己最严肃的研究问题，AI 仍然力不从心。报道未披露所使用的 AI 系统、证明的具体内容以及验证方式。这是该事件目前唯一一篇报道，尚无后续进展或第三方回应。

AI 根据报道生成 · 1 小时前更新

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