⌘ K
… 读取采集状态 同步中...
雷
原文
新智元· 新智元·· 9 天前精选AI 评分94

Meta 的 Muse Spark 模型六个月内解决六大数学难题

毕树超官宣:Meta AI连破6大世界猜想,数学界AlphaGo时刻来了!

AI 导读

Meta 超级智能实验室的 Muse Spark 模型在过去六个月内协助数学家在概率论、微分方程等六大基础科学领域解决了开放性难题,并发表了六篇经双重审查的论文。该过程中 AI 使用了「思考模式」并纯靠自然语言提示完成,例如在群论中生成代码寻找反例,以及在算术物理学中串联数论与弦理论。

推荐理由

Muse Spark 在数学推理中取得的六项进展,展示了 AI 从辅助计算跨越到参与严谨证明的能力门槛。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:新智元 · mp.weixin.qq.com