AI at Meta· @AIatMeta · X·· 4 小时前精选AI 评分65
AI 导读
Meta 分享数学家与 Muse Spark 1.1 和 Muse Spark 1.2（Thinking Mode）在 meta.ai 普通聊天界面下协作完成的六篇论文，面向无现成解法的开放数学问题，未使用定制研究脚手架。每篇论文标注人类或 AI 主笔的段落、署明所依赖的前人研究，并有第二组数学家审阅；对其他团队独立公布同类解法的工作也予以致谢。
推荐理由
原文说明了协作方式和论文标注原则，读者可以据此了解 Meta 如何让模型参与真正开放的数学研究问题。
正文 · AI 翻译
继我们的 AI 模型在数学、物理和化学五项竞赛中取得金牌级表现之后，我们提出了一个更难的问题：当一个问题是真正开放且没有现成解决路径时，AI 能否做出贡献？
在过去几个月里，数学家们通过常规的 http://meta.ai 聊天界面，在 Thinking Mode 下与 Muse Spark 1.1 和 Muse Spark 1.2 合作，在没有任何定制研究框架的情况下，为这类问题寻找解决方案。
我们的目标不是批量生产论文，而是赋能研究人员。每一次合作都遵循相同的原则：由数学家主导研究，随后由另一组数学家评审工作，每篇论文都标明哪些段落主要由人类或 AI 起草，并且每篇论文都致谢其所基于的先前研究。在其他团队独立宣布解决了相同问题的地方，我们也一并致谢他们的工作。
今天，我们分享来自这次合作的六篇论文。
🧵👇
来源：AI at Meta · x.com