Meta发布六篇人机协作数学开放问题论文
先了解这件事
AI 综述
2026年10月3日,Meta 通过 AI at Meta 账号宣布分享六篇数学开放问题论文。这些论文由数学家与 Muse Spark 1.1、Muse Spark 1.2 在 Thinking Mode 下,通过 meta.ai 常规聊天界面协作完成,用于求解没有现成解法路径的开放问题,且未使用定制研究脚手架。每篇合作论文均标注哪些段落主要由人类或 AI 起草,并注明所依托的既有研究;若其他团队独立宣布解决了相同问题,也会一并致谢。Meta 同时发布了名为 Solvin 的研究博客,供读者了解更多内容。
报道时间线
10月3日
- Meta 发布 Solvin 研究博客
请在我们的研究博客上阅读更多内容:research.meta.ai/blog/solvin…
- Meta 分享数学家与 Muse Spark 协作产出的六篇开放问题论文
Meta 宣布分享六篇论文,来自数学家与 Muse Spark 1.1 和 Muse Spark 1.2 在 Thinking Mode 下通过 meta.ai 常规聊天界面的协作,用于求解没有现成解法路径的开放问题,且未使用定制研究脚手架。每篇合作论文均标注哪些段落主要由人类或 AI 起草,并注明所依托的既有研究;若其他团队独立宣布解决了相同问题,也会一并致谢。