10月26日，OpenAI把内部模型产出的三项理论结果一次性公开：调和分析局部光滑猜想的全维证明、计算复杂性领域指数时间假设（ETH）的反例、四维相互作用量子场论（含QCD）的严格存在性论证。但它对这三项成果的表态异常克制——自家模型写出的手稿，在他们口中更像「原始研究数据」，要变成学界能接的理解，得请外部专家来「牧羊」。 至于用户真正关心的问题——青年数学家的论文选题会不会被冲击，答案要拆成两半：直接冲击选题的不是这三份证明，而是一条早它二十天就已经开动的流水线。知乎专栏
三份证明：都还停在「待验证」
数学这份的材料最透明：AI自然语言稿10月18日产出，次日进入Lean完成机器形式化校验，自然语言稿和Lean证明都公开挂在GitHub。知乎
这条猜想由Sogge在1991年提出，此前只有低维结果——2019年Guth、Wang、Zhang证了二维，2025年Wang、Zahl证了三维Kakeya；这次的全维局部光滑证明，意味着按经典蕴含链，挂谷（Kakeya）与Stein限制猜想一并落到全维。知乎
计算机那份的争议最大。ETH自1999年提出后，数百篇论文靠它推导各种「条件性下界」；OpenAI称模型给出的是一个基于亚指数算法的反例，这不等于P=NP，其官博也承认：证伪不等于算法立刻变快。 复核阵容是「出题人审卷」：shepherd组由ETH的原提出者Impagliazzo、Paturi与MIT的Ryan Williams牵头，但组方明确表态——参与讨论并不等于背书结论。知乎知乎
物理那份证据最弱：存在性论证覆盖QCD，子问题包含纯Yang–Mills存在性——只是千禧年问题的「一部分」，它也是三项中唯一没有公开AI原件的，由David Gross领衔的牧羊组计划自己撰写说明文稿。 三项结果，三种放法：数学全公开，计算机公开并组外部解释班底，物理先锁原件。模型本身始终未披露名称，官方口径只是内部AI独立完成了这三项发现。知乎新智元
「牧羊」：一场用无酬人工换信用的实验
外部协作的原则相当苛刻：透明、不签保密协议，牧羊组可以公开讨论、公开中间产物、自行发表结论；OpenAI不争学术署名，请人牧羊也不等于对方做出了原始发现。 另有一笔500万美元捐给Simons Foundation，用来办研讨、会议，帮学界消化这类AI产出。知乎
一个被高赞概括的新流程是：AI生成→人类独立无酬审查→开放原始数据→学术共同体接纳。若这条路走通，它可能成为未来AI重大科研成果的「行业标准」；但顶尖数学家的时间是极稀缺资源，一旦常态化，持续无酬审查会变成一种隐性压榨。知乎
信任赤字也有现成注脚：OpenAI此前已因符号写错导致论证失效，撤回过三篇数学论文。 批评者里，菲尔兹奖得主邓煜的矛头最具体：有的数学家喂给AI的思路，几周后出现在发布中，且未做形式化验证。 陶哲轩则把这场竞赛定调为：数学研究成AI巨头技术竞技场，大量证明沦为「有毒废料」。知乎光明网麻省理工科技评论
选题冲击的实底：722篇，不是3篇
《光明日报》10月26日的报道记下了另一条线的规模：10月6日，OpenAI一口气公布722份数学手稿，分为372组，覆盖数学几乎所有重要方向，其中数十项被数学家认为达到了菲尔兹奖级别。 真正改写选题规则的，是这种「刷图」式的批量产出。光明网
北京大学北京国际数学研究中心教授袁新意把数学发展拆成提问、解题、总结三个环节，他的判断很直接：AI解题能力超强，总结能力可期待，但是提问的能力可能是瓶颈。光明网
放在选题场景里，他另一句话更扎心：人类数学家往往已看到问题路径，但AI几个小时就可以搞定，感觉是「截获」了我们的成果。光明网
同一机构的孙鑫说得更远：数学共同体已率先进入AGI造成的「奇点」，标志是以定理证明优先权为核心的评价体系失灵了。 优先权失灵，竞争却没有停。正在做某个猜想的知乎用户写下自嘲：千万别把我正在搞的搞出来了就行。 小红书上流传的师生对话段子则描出了新常态——「老师，AI昨晚又挂了722篇。」「先放那儿。」「不读？」「读，一篇一篇读。」这条帖子收获了3600多个赞。光明网知乎小红书
那条七千多赞的高赞回答里，还有一种更深的担忧：不仅那七百个定理的证明过程是人类看不懂的高维天书，连「接下来该证明哪七百个定理」也将由AI自动生成。知乎
奥特曼在斯坦福商学院的访谈里转述，一些数学家看到AI的表现后，第一反应是我们完了，我们的领域结束了，得让研究生转专业。新智元
而那篇高赞回答担心的是下一代：如果年轻博士生从第一天起不再手撕代数泥潭，只学会写提示词，不出两代人，人类大脑里负责感知数学结构的神经突触就会彻底萎缩——提问的直觉，本来就是手算肌肉记忆的涌现。知乎
冲击和机会是同一枚硬币
邓煜给出的建设性路径是「共同进化」：人类给出路线图和全局把控，把具体技术细节交给AI。光明网
《知识分子》总编辑夏志宏则划出了工作价值线：数学的价值是理解，假如AI做的大家不能理解，「有」跟「没有」没有什么区别。光明网
OpenAI一方的修辞也很明确：「取代」这个词用得并不完全准确，AI不会取代任何学科。 回到标题的问题：冲击是真的，但成立条件要讲清楚。三份大证明都还停在「待验证」，ETH的反例若被牧羊组推翻，这轮发布的影响缩回一次公关事件；若成立，过去三十年建立在它上面的条件性下界研究就要整体重排——目前两种可能并存。已经发生的「圈地」只落在AI解出的具体猜想上；反过来，AI证得出、没人读得懂，也凭空造出了一批新位置：解释它证明了什么、把证明接回学科脉络、提出它下一轮不会解的问题。接下来值得盯的信号不复杂——三个牧羊组的核验结论、物理那份何时公开原件、「牧羊+原始数据」会不会被其他AI公司照搬。选题会不会被冲击，最凝练的答案是：被动摇的是「先解题就有未来」这个前提，而不是数学本身能给年轻人的东西。新智元
