Meta Muse Spark辅助数学家连破5大开放数学难题：6篇论文横跨六大学科
发布时间：2026年10月06日 09:00:00Meta AI Research于10月2日发布6篇数学论文，宣布其Muse Spark 1.1/1.2模型（通过普通meta.ai聊天界面即可使用，无需定制研究工具）在过去6个月里协助多位人类数学家破解了5大开放数学难题，横跨概率论、微分方程、群论、优化理论、算术物理学、非结合代数六大学科。标志性成果包括：Muse Spark编写GAP搜索程序找到一个384阶群，推翻Kida 2024年「半阿贝尔群必为单项式群」猜想；证明质量临界双调和非线性薛定谔方程在二维及以上径向负能量解必然有限时间坍缩（2015年遗留悬案）；给出高斯椭球拟合严格阈值等。Meta强调「人类主导、AI辅助、独立复核」的协作模式：数学家选题并引导，模型提出与修改证明策略，每个论文标注人类/AI各起草了哪些段落，并由第二组数学家独立审查。但其中3项成果在发布前已被其他团队独立解决（含AI智能体Nilradical），且论文未经外部同行评审。
6篇论文、5个开放问题：AI从「陪跑」到「科研搭子」
Meta AI Research在10月2日发布了6篇数学论文，宣布其Muse Spark模型（1.1与1.2版本、Thinking Mode）在6个月内协助人类数学家攻克了5个此前悬而未决的开放数学问题。最值得注意的是Meta的「人设」：Muse Spark走的是普通消费者路线——数学家直接通过meta.ai聊天界面使用它，没有定制的研究框架、没有Lean证明管线、没有多智能体检索系统。Meta的意思很明确：一个普通对话机器人，在专家手里，就能产出研究级数学。
| 学科 | 成果 | Muse Spark的角色 |
|---|---|---|
| 群论 | 找到384阶群推翻Kida 2024年猜想（半阿贝尔群必为单项式群） | 生成GAP搜索程序发现反例，人类验证并完成论证 |
| 微分方程 | 证明质量临界双调和NLS径向负能量解在2维+必然有限时间坍缩（悬案始于2015，2002年模拟曾预测） | 处理海量偏微分方程放缩计算、测试维里恒等式变体 |
| 概率论 | 给出高维空间高斯椭球拟合的严格阈值 | 推演尖锐概率不等式、构建证明策略 |
| 优化理论 | 完成长度三α循环的cycle松弛紧性证明（Del Pia-Khajavirad 2026问题） | 与研究者共同构建证明 |
| 算术物理学 | p-adic弦二点函数等于曲线上的高度函数（延伸Tate曲线到Mumford曲线） | 识别连接方向、生成候选证明、草拟三个核心技术章节 |
| 非结合代数 | 给出可解进化代数猜想的3维反例并修正判据 | 生成反例、提出替代刻画 |
协作模式：人类主导，AI辅助，独立复核
Meta在论文发布时同步公开了协作方法，这被业内认为是「比结果本身更有价值」的部分：
- 人类选题与引导：数学家选择每个问题并指导探索方向，Muse Spark提出并修订证明策略、推进计算、起草技术章节；
- 逐段标注来源：每篇论文明确标注哪些段落由研究者起草、哪些由AI起草——罕见的透明披露；
- 独立第二组审查：每个团队的成果由另一组数学家复核后才发布。
毕树超（Meta超级智能实验室领军人物，浙大数学系本科、UC伯克利数学博士）在X上写道：「数学界的AlphaGo时刻，在今年降临了。」他曾坦言自己「缺乏足够天赋独立解决前沿开放难题」，现在他的目标变成了「训练AI模型替我们解决它们」。
必须泼的冷水：3项成果已被「截胡」，且无外部评审
Meta的坦诚同样值得记录。发布时它主动披露，6篇论文中有3项在其工作完成前已被其他团队独立解决：
- 高斯椭球阈值：2026年8月已有Misiakiewicz-Wen、De la Cerda-Potechin-Tulsiani-Xu、Koehler-Sohn三个独立人类团队解决；
- Kida群论猜想：AI智能体Nilradical（运行在Kourovka笔记本问题挑战中）于9月16日以不同的反例抢先一步；
- 进化代数猜想：Hu与Wen团队独立给出反例。
更关键的是评审状态：Meta的声明中没有提到任何一篇论文经过期刊外部同行评议，审查者全部来自Meta自己组织的协作网络，部分审查者同时在其他论文中担任作者——「实验室给自己模型的成果当裁判」，这让「破解」二字的分量打了折扣。业界普遍共识：反例类结果（可机械验证）可信度较高，长证明类结果需要真正的期刊审稿人来检验。
编辑点评
把OpenAI的722篇数学手稿与Meta这6篇论文放在一起看，2026年10月第一周堪称「AI数学周」：前者是「AI批量产出待验证成果」，后者是「AI在人主导下产出已复核成果」。Meta模式的核心启示是分工的可复制性——不需要数亿美元算力、不需要定制框架，一个普通聊天界面就能让数学家把AI当「科研搭子」；而「逐段标注AI起草」的做法，为AI科研的学术诚信提供了可操作模板。但也要看到两个现实：其一，3项被「截胡」（其中一次是被另一个AI智能体截胡）说明「开放问题池」正在被多家AI系统同时围猎，「首发」的窗口期以周计；其二，内部审查≠同行评审，Meta发布的是「有价值的候选证明」，不是「被数学界接受的定理」。对中国AI数学方向（如国产大模型在Lean形式化、IMO等竞赛题的进展）而言，这则新闻提示：AI辅助数学正在从「竞赛刷分」走向「参与前沿研究」，而「谁先证明」的竞赛已经开赛。
来源参考：