Meta Muse Spark 协助数学家破解5个未解难题

时间：2026年10月2日 Meta AI Research 公布成果，10月6日 TechRepublic 等海外媒体报道发酵。 地点：美国加州门罗帕克 Meta 总部及全球合作数学家团队。 人物：Meta AI Research 团队、数学家 Aykut Arslan、Babak Modami、Alexander Roitershtein、Mark Sepanski、Grigory Sokolov 等多人。 事件详情：Meta 10月2日发布 6 篇由 Muse Spark 协助完成的数学论文，其中 5 篇给出了此前悬而未决的开放数学问题的解答。研究跨越 6 个数学子领域——概率论、微分方程、群论、优化、算术物理与非结合代数。其中一篇确定了高维随机高斯点拟合椭球的「严格阈值」这一长期悬而未决的问题。 背景：Meta Muse Spark 此前曾在 2026 年初中五赛（数学、物理、化学）奥赛中斩获金牌级别成绩，但奥赛题有标准答案，研究型问题则需要面对真正的不确定性，反复试错、修正思路甚至推倒重来。本次研究使用的是 Muse Spark 1.1 与 1.2 的 Thinking Mode，通过普通的 meta.ai 聊天界面直接调用，没有任何定制研究框架或专业 Agent harness。 影响：研究结果直接回应了数学界对 AI 进入科研领域最大的体制性质疑——缺乏透明署名与独立验证。Meta 公布的工作流程包括：数学家团队引导研究方向、与 Muse Spark 协作推演论证；独立的第二组数学家评审成果；每篇论文明确标注哪段由 AI 起草、哪段由人撰写；致谢前序研究。这为消费级 AI 协助开放科研树立了新范式，也标志着 Muse Spark 1.3 在数学能力上紧追 GLM-5.3 Flash 与 GPT-5.6 Sol。 总结：从奥赛金牌到开放问题，消费者级大模型正在跨过真正的研究门槛。Meta 用 5 个悬而未决问题的答案证明，普通 meta.ai 聊天窗口也能成为数学家的研究伙伴。