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

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