AI攻克IMO金牌后正自主解决数学猜想
推荐指数 63.0 NO. 015 · 2026.09.15
发布2026/09/14Score127Comments56
为什么值得看
数学家Terence Tao发文指出，AI数学能力三年间从不会加法到IMO金牌，现已开始自主解决重大开放问题。他认为这不会终结数学，但将迫使数学界彻底重构职业范式。
编辑判断
Tao的悲观不在于AI会'做完'数学，而在于人类数学家可能沦为AI结果的验证者和形式化工具——类似AlphaFold之后结构生物学家的处境。值得注意的时间线：他提到'internal models'而非公开系统，暗示OpenAI和DeepMind的数学专用模型可能比公开产品领先一到两个代际。
做形式化验证、自动定理证明方向的团队需要重新评估赛道窗口期；纯理论研究背景的数学人才，建议尽快掌握Lean/Isabelle等证明助手，这是未来十年最可能的人机协作接口。
社区反馈
意见分歧 48 条评论
核心争论：AI将迫使数学界重构PhD培养范式，但新范式应是研究能力还是知识传播能力存在分歧
> I propose the following reconceptualization of the goal of a mathematics PhD: to become a world expert on some interesting, deep topic, and to be able to convey that interest and understanding to others. Part of operationalizing this might be a thesis, but the degree would be awarded primarily on
> the "rigorous defense" part In my country, that's exactly how it is. Yes, you need to have a thesis to defend, but ultimately it all comes down to the (oral and live) defense/disputation.
I'd say this is the most optimistic scenario. there are really difficult problems to be solved in terms of access to AI.