Meta 公布六篇数学家与 Muse Spark 合作的论文，称其中五篇解答了此前的开放问题
Meta 公布与数学家合作的六篇论文：研究者通过普通 meta.ai 聊天界面使用 Muse Spark 的思考模式探索证明和反例，再由另一组数学家审阅；Meta 称其中五篇给出了此前开放研究问题的答案，部分问题也已有外部团队独立解出。
Meta 称，今年早些时候其模型在数学、物理和化学五项高中奥赛中达到金牌水平，于是团队想看看 AI 能否帮助科学家处理开放研究问题。竞赛题再难也有标准答案，开放研究没有答案可对，也不保证思路可行。过去几个月，合作的数学家通过普通的 meta.ai 聊天界面使用 Muse Spark 1.1 和 1.2 的思考模式，没有搭建专门的研究框架。
Meta 列出的合作规则是：一组数学家主导研究，和 Muse Spark 一起探索思路、推导论证；另一组数学家审阅成果；每篇论文标明哪些段落主要由研究者撰写、哪些由 AI 起草，并注明所依托的前人工作。Meta 还承认，完成工作后才得知外部团队已用不同方法独立公布了其中部分问题的解答，论文中已注明这些工作及其关系。
一篇概率论论文研究高维空间中的随机高斯点能否全部落在一个以固定点为中心的椭球面上，证明点数 n 在约 d^2/4 处存在尖锐阈值：低于阈值时这样的椭球大概率存在，高于阈值时大概率不存在，恰好处在阈值上的情形没有结论。Meta 同时注明，2026 年 8 月已有三项独立的同期工作，其中 Misiakiewicz 和 Wen 独立证明了同一个高斯阈值。
其他论文中，一篇群论论文找到一个 384 阶的群，推翻了 M. Kida 在 2024 年提出的猜想，用来搜出这个反例的 GAP 程序由 Muse Spark 生成；Meta 也注明，AI 智能体 Nilradical 在 2026 年 9 月 16 日独立报告了同一猜想的另一个反例。一篇微分方程论文证明，对二维及以上、径向对称且能量为负的波，质量临界双调和非线性薛定谔方程的解必在有限时间内坍缩，回答了 2015 年遗留的问题，并印证了 2002 年计算机模拟的预测。另一篇算术物理论文中，Muse Spark 还起草了三个核心技术章节，由研究者检查、修正和完善。
Meta 说，目标不是批量产出论文，而是帮助研究者得到别人能理解并继续推进的数学见解。博文公布的审阅来自合作中的第二组数学家，没有说明这些论文是否已通过期刊同行评审；部分结果也已有外部团队独立得出，因此这批论文更能说明 AI 在数学家主导下参与证明和找反例的程度，而不是 AI 独立完成研究。
来源
- Solving Open Research Problems Together — Meta AI：Research Blog（网页）
- The Strict Threshold for Gaussian Ellipsoid Fitting — ai.meta.com