“科学从诞生起就是开源的！” 陶哲轩 x 邓煜重磅采访：若全宇宙只有AI懂证明，数学便毫无意义

写在前面： 原「AI科技大本营」现已全面升级为「 奇点折射 」。把 AI 领域最前沿的底层争论、工程踩坑与商业暗牌，折射为国内从业者能看懂、能防踩坑的实战增量。 点击 上方蓝字 关注「奇点折射」，与全球顶尖 AI 决策者同频。 整理 | 王启隆 出品丨奇点折射（ID：rgznai100） 2026 年 10 月 6 日深夜，OpenAI 用一篇名为《Sharing AI progress in mathematics》的博客，毫无预警地向全球学术公海倾倒了一枚核弹：一次性公开 700 多篇前沿数学证明 ，声称攻克了纳维-斯托克斯方程（Navier-Stokes）的有限时间爆破，更在 50 年来首次将准黎曼猜想的无阻半平面推进至 。 一时间，科技圈陷入了狂欢，社交网络上充斥着“人类数学家已死”、“科学圣殿被大模型单向碾压”的窒息叙事；怀尔斯独居阁楼七年攻克费马大定理式的古典浪漫，似乎在一夜之间被冰冷的 GPU 集群扫进了历史垃圾堆。 然而，仅仅四天后，菲尔兹奖得主 陶哲轩（Terence Tao） 在 Numberphile 面对全网镜头，撕碎了这层光鲜的外衣。 他直言不讳地将这些机器产物比作 “毫无营养的合成食品” ，痛斥商业巨头毫无行业教养的“炸鱼式做题（dynamite fishing）”摧毁了青年学者的研究生态，更罕见地使用了严厉措辞： 商业公司为了单方面的公关冲刺，在社交礼仪上表现得极其粗暴、缺乏教养。 更具黑色幽默的戏剧性转折在随后数天接踵而至： OpenAI 官方不得不紧急从公开库中撤回了 3 篇重磅预印本 。 原因荒谬得令人发指——这台吞噬了人类数千年智慧的超级机器，在关键推导中犯下了最基础的 正负号错误（sign errors） ，其所谓的自然语言推导与附带的 Lean 形式化代码甚至存在严重的逻辑脱节。 25 位菲尔兹奖得主随即发起联名抗议，学术界终于忍无可忍：商业巨头未经引文标明直接抓取人类数千年的智力资产以炫耀算力，反手将一堆未经验证的“工业半成品”抛向公海， 公然将全球顶尖数学家降级为他们免费的“找虫民工（free debuggers）” 。 在狂热与荒诞交织的震荡期，由陶哲轩担任董事会主席的 SAIR（科学与人工智能研究基金会）峰会在旧金山如期启幕。 这一次，陶哲轩身边坐着的，是三个月前在 2026 国际数学家大会（ICM）上刚凭攻克狭义希尔伯特第六问题百年难关、一举实现中国大陆数学家菲尔兹奖“零的突破”的芝加哥大学教授 邓煜 。 面对商业巨头的算法霸权与未消化的技术残渣，两位处于人类智力金字塔尖的学者，不再停留在情绪化的口诛笔伐，而是正式打响了学术界的制度性反击。他们宣布启动完全开源、对齐科学价值观的独立数学模型生态，并首次由邓煜系统性提出了震撼学界的 “数学双重边界理论” 。 要点速览： AI 终结了古典数学的英雄浪漫主义。机器倾倒的代码与证明如同“人造合成食物”——逻辑校验及格（edible），但人类并未因此获得深刻的数学理解（understanding），反而 陷入了解释力贫瘠的虚假繁荣 。 OpenAI 紧急撤回 3 篇预印本彻底暴露了大模型在纯符号推导上的硬伤。商业公司为拉抬估值抢发公关稿，把未经验证的“毒废料”倾倒进学术界，本质是在把全世界顶尖数学家绑架为其闭源算法的 免费 QA 团队 。 传统时代，“有证明的问题”与“人类能理解的问题”高度重叠；而在 AI 时代，大模型强行撕裂出了第二道断裂带—— 机器拿到了结果，人类却彻底断联 。但数学的终极意义是“人类理解世界”，绝不能为了速度牺牲人类理解力。 现存前沿大模型以一种黑盒化、抹除引文溯源的方式吸收了人类数千年的智力沉淀，却在输出端将其包装为无源之水。这种割裂破坏了科学共同体赖以代际传承的因果链条。 AI 的极致效能完全依赖于人类先期建立的大局构想（Global Planning）； 提出本质问题、构筑宏观路线依然是人类不可让渡的领地 。 以下是采访全文： 刷榜做题只是大厂的公关秀， 架构与 Infra 才是工程师的生死线 。 狂飙的算法随时可能算错正负号，唯有稳固的工程落地，才能接住失控的智能。 2026 奇点智能技术大会将于 11 月 20—21 日在北京举行，18 大前沿专题、70+ 一线技术嘉宾，拆解 AI Coding、Agent、Infra、多模态等真实落地路径。 扫码免费领取大会 PPT 与 Agent 实战资料 1 / 汽车会淘汰双腿，但没人会为了代步放弃散步 主持人： 近期，一家商业 AI 巨头一次性公开发布了 700 多篇数学证明，在整个互联网上掀起了滔天巨浪。 外界很多人惊呼：“AI 彻底取代数学家的时代到了。”但如果你真正走进数学界内部，会发现从业者眼下关注的核心问题根本不是饭碗是否会被机器抢走，而是 学术诚信的