学者观点:AI 将开启数学研究的黄金时代

RexDouglass · x · 2026-07-30

数学家 John Ennis 认为，探讨「AI 做数学」需要认识到数学本身是由众多拥有不同文化和视角的子领域组成的集合。

目前 AI 的许多证明依赖于将一个子领域的问题转化为另一个子领域的已知结果来解答。虽然这种方法有效，但原本子领域的研究者依然渴望用他们熟悉的文化和视角来理解等效的证明。正是这种将 AI 证明「翻译」回各个数学分支文化的需求，将解锁大量新问题与新思路。因此，他坚信 AI 不会取代人类数学家，反而会引领我们进入一个前所未有的数学黄金时代，人类数学家将比以往有更多的事情可做。