Meta的Muse Spark模型半年协助数学家连破6大数学难题

Meta超级智能实验室负责人毕树超于2026年10月5日在社交媒体X上宣布，该实验室研发的Muse Spark 1.1和1.2模型在过去6个月内协助多位顶尖数学家，在概率论、微分方程、群论、优化理论、算术物理学和非结合代数六大领域发表了6篇论文，其中5篇给出了开放性难题的答案，并推翻了群论中的Kida猜想。

据毕树超介绍，Muse Spark在群论研究中通过生成搜索代码，在数学软件系统中找到一个拥有384个元素的半阿贝尔但非单项式群，构成Kida猜想的反例。在微分方程领域，模型辅助研究员处理了大规模偏微分方程计算，证明了质量临界双调和非线性薛定谔方程在二维及以上径向对称负能量条件下的有限时间爆破解。概率论方面，模型帮助推演了高斯点椭球拟合的严格阈值；算术物理学中，模型将p进制弦理论与数论联系起来，并起草了论文的三个核心技术章节。此外，模型还在优化理论和非结合代数研究中分别给出了关键判别条件与反例。

毕树超表示，参与研究的数学家仅通过网页端meta.ai启用Muse Spark的思考模式，使用自然语言提示词完成探索。目前6篇论文均已通过独立双重审查，并明确标注了人类学者与AI各自起草的部分。他认为，AI在数学领域的突破或将在生物学、化学和物理学中展开。