Meta Muse Spark 与数学家的协作在 2026 年 10 月 2 日有了成批成果：Meta AI Research 在官方博客公布六篇合作论文，其中五篇给出了此前未解的开放研究问题的答案。参与的数学家使用的是 Muse Spark 1.1 和 1.2 的思考模式，入口就是 meta.ai 的普通聊天界面，没有为这次研究定制任何专用脚手架，这一点是理解这批成果的关键背景。
六篇论文分别动了哪些问题
六篇论文分布在六个方向。概率方向确定了高维高斯点拟合椭球的严格阈值：低于阈值几乎必然能拟合，高于阈值几乎必然不能，恰好在阈值上的行为仍未解决。微分方程方向证明了质量临界双调和非线性薛定谔方程中，径向负能量解会在有限时间内坍缩，了结了 2015 年留下的疑问，也印证了 2002 年数值模拟的预言。群论方向找到一个 384 阶的反例，推翻了 2024 年提出的“半阿贝尔群必为单项群”猜想，负责搜索反例的 GAP 程序由 Muse Spark 生成。优化方向回答了 2026 年提出的问题，给出了循环松弛何时与原问题完全等价的明确条件。算术物理方向把弦论的两点函数与曲线上的高度函数连了起来，模型起草了三节核心技术内容。非交换代数方向则用一个三维反例推翻了可解演化代数的判定猜想，并提出按子空间判断的替代规则。
协作规则：谁做的，写清楚
Meta 给这次合作定了透明度规则：一支数学家团队主导研究、与模型共同推导，另一组数学家独立复核；每篇论文都明确标注哪些段落主要由研究者撰写、哪些由 AI 起草；对前人工作给出完整致谢。博客还主动说明，完成工作后他们得知站外其他团队用不同方法独立解决了其中部分相同问题，并在论文中逐一标注了这些同期成果，包括 2026 年 8 月公布的几项高斯阈值证明。这种标注方式让外部读者能核对模型到底贡献了哪一步，而不是只看一个笼统的“AI 参与”结论。
边界：六篇论文不等于模型独立解题
把这批成果读准，需要分清分工。选问题和关键证明思路的是数学家，模型的典型贡献是生成搜索程序、尝试推导路径、起草技术段落，之后由研究者逐项检查、纠正漏洞并改写定稿；个别问题在阈值点上的行为至今没有定论。真正值得关注的信号是工作形态：没有专用科研系统，只用公开聊天产品，AI 已经能进入“没有现成答案”的研究环节并产出经得起同行复核的内容。下一步要看的是，这种协作能否在更多学科复制，以及论文标注 AI 贡献的做法会不会成为行业惯例。
