菲尔兹奖得主 John Pardon 称 AI 已帮他找到多个非平凡数学证明

2026 年菲尔兹奖得主 John Pardon 表示，他已用 AI 找到几个非平凡证明，帮助确立自己相信为真但尚未完全证明的数学结果。AI 还曾在他的论证中指出细微错误，但面对其最严肃的研究问题仍然力不从心。