事件回溯：OpenAI的“炸弹”与学术界的愤怒

2026年10月6日深夜，OpenAI发布博客文章公开了700多篇前沿数学证明，声称攻克了纳维-斯托克斯方程（Navier-Stokes）的有限时间爆破问题，并将准黎曼猜想的无阻半平面研究推进了50年。这一举动在科技圈引发震动，社交媒体上充斥着“人类数学家已死”的论调。然而仅四天后的10月10日，菲尔兹奖得主陶哲轩在Numberphile节目中严厉批评了这种“炸鱼式做题”的行为，指责商业巨头为了公关冲刺缺乏学术礼仪。随后OpenAI被迫撤回3篇预印本，原因是关键推导中存在基础的正负号错误以及自然语言与Lean形式化代码不匹配。这一系列事件导致25位菲尔兹奖得主联名抗议，反对商业公司未经引文标注直接使用人类智力资产。陶哲轩将机器产物比作“毫无营养的合成食品”，痛斥其毁掉青年学者的研究生态。学术界认为，这些未经验证的“工业半成品”被倒进学术公海，实质上将顶尖数学家降级为闭源算法的免费Debug民工。这场由算力炫耀引发的信任危机，标志着数学界与商业AI巨头之间矛盾的公开化。

立场辨析：拥抱技术而非拒绝变革

面对外界关于“挺AI”还是“反AI”的标签化质疑，陶哲轩与邓煜展现了更为复杂的立场。邓煜明确表示拥抱AI是大趋势，合理使用能拓宽数学边界。他认为AI正在以前所未有的深度向人类学习思想，并能演化出人类能读懂、可消化的新点子。这种人机互相进化的状态被他视为理想。陶哲轩则指出舆论环境过于扁平，真正的技术革命远比站队复杂。他比喻道，汽车比双腿快得多，但没人会彻底抹掉步行，因为科学需要“慢工出细活”的研究特质。理想的局面是找到动态平衡：既要保留古典研究的代际传承与概念深度，又要审慎利用高阶算力提速。邓煜进一步阐释了理想的使用场景：当人类学者已胸有成竹、理清全局逻辑时，可将繁琐的局部推导和代数清理交给AI完成。这种分工能节省海量无谓消耗，让人类精力专注于更本质、更具拓荒性的核心问题。这表明两位学者并非反对AI，而是反对被动的技术依赖。

核心危机：理解力的断裂与引文链的缺失

陶哲轩指出，OpenAI倾倒未消化证明的行为本质上是污染学术文献生态。传统数学界奖励“解决问题”，是因为这背后凝结了深厚的机理洞察、方法论启迪及人才培养生态。但商业公司将其异化为向资本市场证明泛化能力的基准测试工具。邓煜提出“数学双重边界理论”来剖析这一危机：第一道边界是所有潜在问题中“存在数学证明”的子集；第二道更严苛的边界是已获证问题中“人类能真正理解机理”的子集。过去这两者重合，但AI介入后在“已被证明”与“已被理解”间撕开巨大鸿沟。如果只有机器知晓逻辑而人类一头雾水，数学就失去了灵魂。此外，现代科学的基石是开放共识与严密的引文链条。商业闭源模型在吞噬人类知识时隐藏数据来源，无法溯源思想出处，甚至偶尔声称参考论文却无实质依据。邓煜补充微观层面的掠夺：有学者将未发表构想输入商用模型，结果被后台捕捉并利用，最终由公司以自身名义发布。这种对“思维链”的斩断和对思想源头的剥夺，是学术界必须抵制的系统性风险。

制度反击：SAIR基金会与开源数学基建的崛起

为应对商业巨头的算法霸权，陶哲轩作为SAIR基金会主席，联合邓煜等学者发起了制度性反击。他们宣布启动完全开源、对齐科学价值观的独立数学模型生态。SAIR基金会的愿景是为全球科学共同体打造属于学者自己、且价值观与范式对齐的工具生态。尽管顶级闭源工具在非核心环节（如语义文献检索）表现亮眼，但在核心命题论证中割裂了科学传统。因此，SAIR加速发布开源数学操作系统框架。该框架免去了学者自购昂贵GPU的痛点，将推理模型、形式化验证工具、协同网络与引文追踪机制紧密咬合。目前阶段接入既有开源模型底座，搭建去中心化验证的协作网络。未来几个月将推出由学术界自主训练的下一代开源数学模型。邓煜强调，科学从诞生起就是开源的，服务于科学的AI底座也必须保持开放。南加州大学（USC）等团队已自发汇聚至此，这场全球学术界的集体自救旨在守住数学和前沿科学的开放底色。这不仅是技术替代，更是对科学共同体自主权的捍卫。

人类价值：从“交权”到“赋能”的心智坚守

在技术狂飙中，年轻学者陷入焦虑：人类数学家不可替代的特质何在？陶哲轩提出核心在于“赋能（Empowerment）”而非“交权（Depowerment）”。工具应武装大脑，使学者更聪明、洞察力更敏锐，而非献祭思考能力换取冷冰冰的答案。邓煜则给出了具体回答：人类最核心的能力是提出真正本质的问题。面对机器解答的难题，顶级学者能顺藤摸瓜提出两三个层次更深、格局更大的全新大问题。他分享了一个真实案例：偏微分方程专家布约恩·布林曼针对棘手的随机偏微分方程（SPDE）设计了一套环环相扣的攻坚方案，人类团队先吃透物理图景并绘制顶层蓝图。随后将规划模块化输入GPT Astra，大模型在1-2天内扫平局部障碍完成解题。这一案例证明，提出新概念、设计宏观战略及构建顶层规划仍是人类心智独占的领地。邓煜在幻灯片最后强调，必须凭借人类的品味与审美跳出轨道，开拓未知维度。这不仅是精准提问的能力，更是顶层全局战略蓝图的构建能力。

结论

陶哲轩与邓煜的立场清晰地表明：AI不应是替代人类思考的黑盒，而应是辅助探索的工具。OpenAI事件暴露了商业逻辑对学术生态的破坏，特别是引文链断裂与理解力缺失带来的深层危机。SAIR基金会推动的开源数学基建，旨在通过去中心化协作与透明化验证重建学术信任。人类在AI时代的价值，不在于重复机械推导，而在于提出本质问题、构建宏观战略及保持审美判断。数学的意义不仅在于得出答案，更在于人类对真理的深刻理解与代际传承。只有守住这些底线，技术才能真正服务于科学进步。