AI参与数学研究，Meta称五篇论文回应未解问题

Meta于10月2日表示，数学家与Muse Spark合作完成了六篇研究论文，其中五篇回应此前尚未解决的问题。需要注意，这描述的是数学家主导、AI辅助的研究，并不是聊天机器人独立解出六道数学难题：研究人员选择并推进课题，另一组数学家负责审阅成果。17

六篇论文涉及哪些方向？

这批论文横跨多个数学领域，公开资料列出的例子包括：

• 概率与几何：《The Strict Threshold for Gaussian Ellipsoid Fitting》研究随机高斯向量所定义的约束何时能由一个半正定矩阵满足，并给出约为 n≈d²/4 的临界阈值。1
• 群论：一项结果给出一个含384个元素的群，作为反例推翻了2024年提出的一个猜想。20
• 代数：《On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez》讨论了标题所指的代数猜想。4
• 优化：《Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles》考察一种基于循环的松弛方法是否达到紧界。4
• **数学物理：**发表目录还列有《String Two-Point Function = Height Function on a Curve》。4
• **微分方程：**另一篇论文研究质量临界双调和非线性薛定谔方程中，径向负能量解的有限时间爆破解。

Meta给出的统计应按原意理解：六篇论文中有五篇回应开放问题。现有论文目录并未清楚列出六篇论文分别对应哪五个问题，因此不能据此认定每篇论文都独立解决了一个此前未解的问题。174

AI怎样参与，谁来把关？

Meta称，研究人员使用Muse Spark 1.1和1.2的Thinking Mode，通过普通的meta.ai聊天界面开展合作，没有使用专门搭建的研究系统。数学家引导研究、与模型探索思路并发展论证；另一组数学家随后审阅成果。论文还标注了哪些段落主要由研究人员起草、哪些段落有AI参与起草。17

这一区分很重要：模型可以协助提出思路、推演论证或编写代码，但研究问题的选择与成果复核仍由人类承担。以群论论文为例，相关报道说Muse Spark编写了一个供GAP使用的搜索程序；数学家检查了反例，并完成了论证。20

仍需审慎看待的地方

这些论文为AI参与受监督的数学研究提供了实例，但本身并不能证明相关成果具有独家优先权，也不能说明模型通常都能可靠地进行数学推理。另有报道指出，部分结果与其他团队独立完成的研究有所重合；讨论成果归属时，这种重合值得留意。

数学家审阅也不等同于形式化验证。形式化验证通常是把证明写成严格的计算机语言，再由程序逐步检查。Meta介绍了人工审阅流程，但现有材料没有说明每篇论文的证明是否都经过证明助手的机器检查。17

Muse Spark于2026年4月8日发布，是Meta超级智能实验室推出的首款模型。这批10月论文展示了它后来参与研究合作的一种方式，但不能据此断言AI生成的数学论证不会出错。判断结果是否可靠，仍需逐篇审查证明，并关注后续独立验证。