7.8
深览指数
科技腾讯新闻·爱范儿··AI 生成
丘成桐在清华组建千人「AI数学军团」，隔空回应陶哲轩：他不代表整个数学界
丘成桐在清华牵头成立「数学与人工智能实验室联盟」，计划组建千人团队开发数学专用AI模型，与陶哲轩呼吁抵制OpenAI的立场形成对峙。文章指出，国内模型在日常应用上不弱，但推动前沿数学研究的能力与美国前沿模型差距明显。AI正改变数学研究的时间尺度——OpenAI一次公开722篇手稿、DeepMind的AlphaProof解决两个悬置56年问题——但丘成桐强调「原创观念」仍来自人类，陶哲轩则担心AI直接给答案会破坏数学学科培养新思想的过程。适合关注AI对基础科研冲击的科研管理者和技术政策研究者阅读。原文 ↗
核心观点
- ▍丘成桐认为国内数学家应积极拥抱AI（而非抵制），因为AI正在改变数学研究的时间尺度与范式，但他坚持真正的原创来自人类的志向、直觉和经验，AI无法独立提出「坐标系」级别的原创观念。
- ▍陶哲轩提出「Math 2.0」设想：AI应帮助扩大数学理解（为困难证明找解释、组织知识网络、检验旧定理），而非仅仅清空开放问题清单，否则学科可能失去培养新思想的过程。
- 01OpenAI于2024年10月一次性公开722篇数学手稿，涉及数百组研究结果，部分因证明错误被撤回——数学家需要判断哪些结论成立、厘清与已有工作的关系。
- 02DeepMind的AlphaProof Nexus系统通过同行评审发表于《Science》，尝试了353个形式化开放问题并解决其中9个（含2个悬置56年的问题），还证明了《整数数列百科全书》中492个猜想里的44个。
- 03丘成桐判断「国内模型在日常应用上并不弱，但在推动前沿数学与物理学研究的能力上，与美国前沿模型仍有明显差距」。联盟计划开发专用模型、建立共享形式化数学库与算力平台。
- 04清华团队已借助AI证伪退化情形下的阿诺德猜想；另一项卡拉比猜想形式化验证工作在Lean 4中积累约27.3万行代码。
- 05陶哲轩在演讲中将开放问题比喻为灯塔：研究者在向灯塔前进的途中，即使未抵达也会发展出新工具和方法，而AI直接给答案可能绕过这一过程。
反方 / 局限
- — 陶哲轩的「Math 2.0」演讲引发争议：他提出一个思想实验——是否应该以无法理解的方式使用AI证明的药物（该药物经过AI驱动发现与临床试验证实），暗示AI在数学中可能扮演与药物类似的角色，即接受不可理解但有效的结果。
- — 文章引用Timeroot的担忧：如同用巨量挖土法提取恐龙骨骼会破坏附着痕迹，过分追求AI直接解决数学「结果」可能失去探索新领域、培养下一代所需要的过程性经验。
- — 文中隐含的前提局限：联盟的目标（推动前沿数学研究）与当前AI的实际能力（主要解决形式化程度高的问题）之间存在差距；原创性观念来源的争论（丘成桐vs 自动化证明的潜台词）并未在文中被深入解决。
10 分钟 · 3 卡片 · 9 资料
读原文 →