核心信息

Meta 表示，数学家通过普通聊天界面、以思考模式使用 Muse Spark 1.1 和 Muse Spark 1.2，在没有任何定制研究框架的情况下，尝试解决没有现成解法的真正开放问题。

要点

  • 此前 Meta 的 AI 模型在数学、物理、化学五项竞赛中取得了金牌级别的成绩
  • 项目的既定目标是赋能研究者，而非批量生产论文
  • 每次协作遵循统一流程：数学家主导研究，另一组数学家负责评审
  • 一项关于非结合代数的研究利用 Muse Spark 找到了一条受生物学启发的数学结构规则的反例，并进一步提出替代性刻画，由研究者核查和完善
  • Meta 发布了研究博客文章以及该非结合代数工作的论文链接