古老数学遇AI新势力，中外大模型齐发力，北大团队获突破

哈喽，大家好，今天小墨这篇评论，主要来分析辛顿断言 AI 称雄数学的关键 封闭系统成 AI 核心优势

在人类科学探索的长河中，数学始终是衡量智慧的终极标尺，是纯粹逻辑构筑的知识殿堂。这门古老学科的探索之路，如今迎来了人工智能的深度参与。

辛顿的最新预测让整个学术界聚焦，AI 在数学领域的快速进化，正在刷新人们对这门学科的探索方式。

辛顿提出封闭系统是 AI 能在数学领域大展拳脚的核心原因。数学领域有严密的规则和清晰的边界，所有推理和证明都在既定逻辑框架内完成。

AI 探索数学无需进入现实世界开展实验验证，也不用面对未知的变量干扰。AI 只需在数学的逻辑框架内完成自我博弈，自我验证就能推进研究。形式化证明验证器 Lean 能为 AI 生成的证明步骤提供实时反馈，让 AI 的尝试修正循环高效运转。

2026 年 1 月，DeepMind 的AlphaGeometry系统相关研究登上《自然》杂志，代码同步完成开源。该系统在 30 道奥数几何题的基准测试中，标准时限内解出 25 道，解题能力接近国际数学奥林匹克金牌选手。

2026 年 1 月 6 日，上海举办的第十届世界华人数学家大会上，多款国产 AI 大模型现场展示数学解题能力。

上海人工智能实验室的书生模型在中国数学奥林匹克冬令营中斩获 102 分，通义千问在考研数学题评测中拿到 146.8 分，字节跳动 Seed 团队则在国际数学奥林匹克竞赛中展现亮眼表现。初创公司 Harmonic 利用 AI 技术，解决了困扰数学界 30 年的埃尔德什难题，成为 AI 数学推理能力的又一实证。

2026 年 1 月，菲尔兹奖得主丘成桐与数学家们在上海向全球 AI 行业发出数学 “英雄帖”。现场发布三道不同难度的数学题，分别对应本科生、硕博及人类终极猜想，以此探求人类知识的边界。

北京大学董彬教授联合香港大学何旭华教授组成研究团队，借助 AI 开展数学研究。团队成功重新发现 ADLV 领域的虚拟维数公式，后续还证明了实际维数与虚拟维数之间误差的上界定理。

辛顿在公开表述中提及，未来的数学研究中，人类数学家将更多承担战略指挥的角色，让 AI 完成繁琐的证明和逻辑探索工作。

AI 在数学领域的突破是技术发展的必然结果，封闭系统的特质让 AI 的优势充分发挥。国内外都在积极推进 AI 与数学的融合研究，人机协同的模式正成为数学探索的新方向。这种全新的研究形态，将为数学领域带来更多可能，推动人类对数学的探索走向更深更远的维度。