一名年轻学生站在黑板前,黑板上写满数学公式与AI生成的证明路径,象征人机协作推动数学进步
一名年轻学生站在黑板前,黑板上写满数学公式与AI生成的证明路径,象征人机协作推动数学进步

AI正在改变数学研究的方式,也给关注前沿变革的朋友一个可以一起看的背景。

AI解开60年数学难题,中国学生站上潮头 事件脉络与关键事实

2026年,人工智能在数学领域取得突破性进展,一名23岁的业余数学爱好者在ChatGPT Pro协助下,破解了悬而未决近60年的埃尔德什问题。AI提供的证明路径前所未见,连菲尔兹奖得主陶哲轩也表示,此前研究者都陷入了思维定式。这场变革的核心并非AI取代人类,而是人机协同的新模式。西安交通大学本科生汤泉宇因在埃尔德什问题论坛上的活跃贡献,特别是重新发现2001年被遗忘的反例论文,引起陶哲轩关注,并参与多篇AI辅助数学论文的撰写。他与国际研究者合作,利用GPT和Aristotle等AI系统完成形式化验证,推动多个难题解决。

陶哲轩指出,AI正在迫使数学界重新思考证明、论文和学科目的的本质。尽管AI会犯错,但在数学中输出可验证,因此成为AI公司重点突破领域。当前,AI尚不能替代人类,但已难以否认其辅助价值。汤泉宇参与的arXiv:2605.00301论文集合了陶哲轩、巴雷托、普莱斯等八位作者,利用AI一次性解决多个埃尔德什问题,标志着协作新模式的成熟。

值得注意的是,国内学术界对此类前沿探索反应冷淡,而汤泉宇作为年轻学生,凭借开放思维和全球协作,在AI数学浪潮中脱颖而出。埃尔德什曾比喻数学问题如“橡果”,能长成参天大树。如今,AI或许正是那阵催生新芽的风。数学的生命轮回仍在继续,而拥抱技术者,正站在潮头。

事实

  • 2026年,业余数学爱好者在ChatGPT Pro协助下破解60年未解的埃尔德什问题#728。
  • 菲尔兹奖得主陶哲轩评价AI绕开了人类研究者的思维定式,提供了全新证明路径。
  • 西安交大本科生汤泉宇因重新发现2001年被遗忘的埃尔德什问题#613反例论文,获陶哲轩公开致谢。
  • 汤泉宇参与的arXiv:2605.00301论文集合八位作者,利用AI解决多个埃尔德什问题。
  • AI系统Aristotle成功生成经Lean验证的初等证明,标志AI在数学形式化验证中的突破。
  • 陶哲轩认为,未来数学家需成为AI的‘指挥家’,而非仅是解题者。

Canto 的可视化新闻解读。制作过程可能有 AI 辅助。 编辑政策