专题 · FULL STORY

Muse Spark 攻克数学难题：从官宣到质疑

10 月 3 日 Meta 官宣 Muse Spark 助数学家合作解决多个数学开放难题并发布六篇论文，引发广泛关注；随后 Scale AI 创始人 Alexandr Wang 的相关宣称遭到学者质疑，事件从高调官宣转向学术争议，目前讨论仍在持续。

2026-10-03 ~ 2026-10-05 · 2 集 · 11 条

第 1 集 · Meta 官宣：Muse Spark 助数学家攻克五个开放难题(2026-10-03,7 条)

10 月 3 日，Meta 发布官方博客《Solving Open Research Problems Together》，宣布其研究人员与数学家合作完成六篇数学研究论文，其中五篇回答了此前悬而未决的开放研究问题。这是继今年早些时候 Meta 模型在五项数学、物理、化学竞赛达到金牌水平后，团队进一步验证 AI 能否攻克真正开放、无现成解法研究问题的成果。

已确认

  • 过去数月，数学家团队通过普通的 meta.ai 聊天界面（无任何定制研究脚手架）使用 Muse Spark 1.1 与 1.2 的思考模式（Thinking Mode）开展协作。
  • 六篇论文覆盖概率论、非结合代数等多个数学领域，其中五篇解决了此前开放的研究问题。
  • 其中一篇论文聚焦非结合代数：Muse Spark 帮助团队找到了一个受生物学启发的数学结构猜想——García-Martínez 与 Pérez-Rodríguez 提出的可解进化代数猜想——的反例，推翻了该猜想。
  • 据 @armandruiz 转述，Meta 首席 AI 官 Alexandr Wang 宣布的这批公开问题还包括高斯椭球拟合的严格阈值、质量临界双调和非线性薛定谔方程的有限时间爆破、半阿贝尔范畴等方向。
  • Meta 官方博客长文详述了合作的背景与流程：起因是团队希望在奥赛夺金之后，验证 AI 能否在真实开放研究场景中发挥作用。

为什么重要

  • 此前 AI 数学的验证多集中在有标准答案的竞赛题，而本次成果直接作用于无现成解法的开放研究问题，标志着 AI 辅助研究从「解题」走向「科研」。
  • 全程仅使用普通聊天界面、无需定制工具链，意味着这类协作对广大研究者具有可复现性和低门槛。

第 2 集 · Meta 宣称 AI 攻克 6 大数学难题遭学者质疑(2026-10-03,4 条)

Scale AI 创始人、Meta 超级智能实验室负责人 Alexandr Wang 宣布数学家与 Meta 的 Muse Spark 模型合作解决了 6 个公开数学问题，包括高斯椭球拟合严格阈值、质量临界双调和非线性薛定谔方程等，并称在无既有解路径的开放问题上探索 AI 贡献。但随后有学者指出其中 3 个问题早有解答，Krzakala 等人批评椭球拟合精确拟合似然的相变门槛已有既有研究，认为在 Buckmaster/OpenAI 科学署名争议后，这种误导性 PR 措辞无助于缓解 AI 与学术界的信任危机。