xAI联创Szegedy长文宣判：数学要毕业了

时间：2026年10月3日（Szegedy 原发布于X平台，10月6日中文媒体集中转载） 地点：X 平台首发 / 全球 AI 与数学圈 / 微信公众号"新智元" 人物：Christian Szegedy（xAI联合创始人，深度学习先驱，Inception、对抗样本、批归一化三大基石论文一作）；Stephen Wolfram（Mathematica之父）；Kevin Buzzard（帝国理工数学家）；Terry Tao（华裔数学家菲尔兹奖得主）；Gary Marcus（AI怀疑论者）；François Chollet（Keras之父）；舍尔策（菲尔兹奖得主，公开拒绝AI） 事件详情：xAI联合创始人Christian Szegedy 10月3日在X平台发布长文《数学何去何从？》（Where Is Mathematics Going?），全文约5000字，核心论断是英雄式的纯数学时代即将落幕，AI将把数学从象牙塔里的个人手艺，改造为工业化测绘整片大陆的基础设施。Szegedy把数学家比作巴拿马-哥伦比亚之间达连隘口里的探险家，把AI比作飞机，称"飞机一旦便宜下来，整片丛林都会变样"。原贴文阅读量在48小时内冲到49.7万。 背景：Szegedy 2019年发表立场论文，主张走"自动形式化"路线，让AI把人类写的数学自动翻译成机器可逐行检验的证明，原定2029年造出超人AI数学家；2024年他与Keras之父François Chollet、AI怀疑论者Gary Marcus在X公开对赌，押"2026年6月之前出现超人AI数学家"。2026年5月OpenAI推翻悬置80年的单位距离猜想，7月Anthropic研究员用Claude Fable 5证伪1939年提出的雅可比猜想，9月4日Anthropic内部模型用11天在定理证明器Lean里写完费马大定理完整证明，9月8日OpenAI宣布1万个Agent跑了88小时攻破千禧年难题Navier-Stokes方程，9月21日OpenAI又称内部模型已解决100多个长期悬而未决的数学问题，时间表比他最早的预言提前三年。 影响：Mathematica之父Stephen Wolfram随即发布7000多字长文反驳，称数学目标"几乎按定义必须来自系统之外，具体来说，来自我们"，并披露自己曾亲身踩坑——AI告诉他"证明通过了"，证的却不是他想证的东西。帝国理工数学家Kevin Buzzard用"悲伤五阶段"画整个数学界群像：否认、愤怒、讨价还价、抑郁，前四个阶段都能找到大把代表，菲尔兹奖得主舍尔策公开表示不会用AI、"愿意为此死守到底"。Szegedy的回应是"别跟飞机打赌"——那些说AI不会提猜想、不会建理论、不会解释的人，描述的是去年春天的模型，几个月之内这些描述就不成立了；大学、期刊、终身教职委员会几年内看起来还差不多，但它们奖励什么，会发生根本变化。 总结：深度学习史上Inception、对抗样本、批归一化三大基石论文的一作亲自宣判数学的"英雄时代"落幕。Szegedy预言，数学将从少数天才手里的手艺，变成全科技行业脚下的地基——孤独攀登者的时代正在结束，测绘整片大陆的时代正在开启。下一步已经很清楚：把全部已知数学翻译成形式化代码，让数学家从登山者变成飞机编队指挥员。 参考来源： - https://www.36kr.com/p/4013928129122184 （36氪，原文来自微信公众号"新智元"） - https://x.com/ChrSzegedy/status/2106482567365140538 （Szegedy 10月3日原始推文，49.7万阅读） - https://docs.google.com/document/d/e/2PACX-1vTSh-pyNP3Gi99WMmsinnLmE9V5CDI0HEm6WGbIPMNt3V5SGlClHF8-BetotKHOImrvQDSXmFdiOw8D/pub （Szegedy《数学何去何从？》完整长文） - https://www.me.news/contents/318052 （ME News 转载） - https://tech.ifeng.com/c/8x0E7cpDkFf （凤凰网科技） - https://t.cj.sina.com.cn/articles/view/2357213493/8c803935019026iqm （新浪财经头条全文翻译） - https://news.marsbit.co/20261006150412403208.html （火星财经） - https://data.iyiou.com/intelligence/details/401e97f0590da6407d9082f815ce65c6 （亿欧数据全文翻译）