菲尔兹奖得主在AI攻克数学难题前吐露身份焦虑

菲尔兹奖得主的自白

詹姆斯·梅纳德是牛津大学数学系教授、菲尔兹奖得主。他在接受The Verge采访时表示,过去一年里"我一直在为自己所在领域的未来感到困惑"。就在采访前几天,OpenAI宣布已经给出了10个困扰学术界数十年的长期数学难题的解法。梅纳德认为,一向变化缓慢的数学学科,如今正在AI面前匆忙调整姿态。

模式识别能否取代证明

正如生成式AI在生成文字或图像时是从海量数据中学习模式和关联,用于解数学题的AI也是通过从既有论文和证明过程中提取规律,再应用到新问题上来运作的。问题在于,数学与其他学科不同。在科学或医学领域,提出一个看似合理的想法本身就有价值;但在数学中,哪怕逻辑链条中有一步出现偏差,整个证明就会崩塌。因此,验证AI给出的解法究竟是严谨的证明,还是看似合理实则站不住脚的推理,已经成为数学家们面临的新课题。

这股潮流并不只发生在OpenAI身上。Anthropic也在8月10日宣布,其使用尚未对外公开的研究版Claude挑战了黎曼猜想。虽然未能证明猜想本身,但据称将黎曼zeta函数零点中满足该猜想的比例下限,提高到了此前更高的水平。全球顶尖AI实验室争相将模型投入纯数学难题的场景,在一两年前还是相当陌生的画面。