今年早些时候，Meta 的模型在数学、物理、化学五项高中奥林匹克竞赛中拿到金牌水准的成绩。竞赛题再难，总有标准答案；开放研究问题没有答案钥匙——没有保证可行的路径，走错了就得推倒重来。顺着这个跨度，Meta 研究团队交出一份新样本：六篇由数学家与 Muse Spark 协作完成的论文，其中五篇给出了此前开放问题的答案。（官方博客：https://research.meta.ai/blog/solving-open-research-problems-together）
六篇论文，五个领域
概率论一篇给出高斯椭球拟合的严格阈值：点数低于阈值时椭球以高概率存在，高于则几乎必然不存在，而恰好落在阈值上的行为仍未解决。偏微分方程一篇证明质量临界双调和非线性薛定谔方程的径向负能量解必然在有限时间内坍缩，了结了 2015 年遗留的悬案，并印证 2002 年的数值模拟预测。群论一篇推翻 Kida 在 2024 年提出的猜想：Muse Spark 生成了数学软件 GAP 的搜索程序，找到一个 384 元群的例外，验证与论证由人类数学家完成。优化一篇刻画了长度为三的 α-环上基于环的松弛何时精确。算术物理一篇把弦论两点函数与曲线上的高度函数划上等号，延续了 Manin 上世纪 80 年代的设想。非结合代数一篇用三维反例推翻一条分类猜想，并给出以子空间为单位的替代判据。
普通聊天窗口，没有定制脚手架
全部协作通过 meta.ai 的常规聊天界面完成，用的是 Thinking Mode 下的 Muse Spark 1.1 和 1.2，没有专门的研究系统。过程有四条规矩：数学家主导选题与论证；第二组数学家独立评审；论文明确标注哪些段落由 AI 起草；引用所有在前工作。算术物理那篇里，Muse Spark 起草了三个核心技术小节，再由研究者检查、修正、重写。
三个问题，别人也几乎同时解出
概率论阈值一问，2026 年 8 月已有三支外部团队用不同方法独立给出答案，论文逐一致谢确认。群论反例一问，AI 智能体 Nilradical 在 9 月 16 日报告了另一个反例。开放问题的竞争性就在这里：你不是唯一在路上的人，独立工作互相印证，反而让结论更稳。
所以呢
外部报道把这件事放进坐标系：OpenAI 八月宣称内部模型 Astra 解决十个开放问题，证明带 Lean 证书，但模型不公开；DeepMind 五月解开 1965 年群论问题的「协同数学家」是专门搭建的层级系统。Meta 的卖点反过来——消费级聊天产品，在会提问的数学家手里，已经能参与研究级的工作。而两周多前，菲尔兹奖得主们还在联名警告 AI 解题竞赛伤害数学。两件事放在一起看更真实：工具的产出，取决于用它的人问什么。对普通开发者的启示或许更朴素——同一扇聊天窗口，你拿它闲聊，别人拿它证定理。