三年前，AI连两个数都加不了。一年前，Open AI和Deep Mind的模型在IMO上取得了金牌水平。如今它们自主解决重大开放问题。这一趋势很可能持续，需要对数学进行彻底反思。

一场题为《数学的终结》的演讲警告了一个黯淡的未来：AI超人类，但机构阻碍人类理解。我相信，如果学术数学适应变化，我们可以避免这种情况。

关于目标没有共识：解决问题、玩乐、穿透柏拉图领域，或传递对数学的热爱。我的答案：产出和理解高质量数学，并培养高质量数学家。

我们通过证明定理来操作化目标。但如果这就是目标，自动化将轻而易举——计算机可以枚举ZFC证明。目标不是证明定理；而是理解。

关键实体：公司：Open AI、Deep Mind

FAQ：AI在数学上多久会超越人类？

基于近期进展——从基础算术失败到一年内IMO金牌表现——在数学大多数方面，稳健超人类的AI可能很快到来。

FAQ Q：AI在数学上多久会超越人类？

FAQ A：基于近期进展——从基础算术失败到一年内IMO金牌表现——在数学大多数方面，稳健超人类的AI可能很快到来。