John Pardon称AI找到多个非平凡证明

2026年菲尔兹奖得主John Pardon表示，他已借助AI找到几个非平凡证明，帮助确立了自己相信为真、但此前尚未完全证明的数学结果；具体证明内容未在报道中披露。 他还称，AI曾指出其论证中的细微错误，但在处理他最严肃的研究问题时仍然力不从心。

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

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