← 返回 AIRadar 首页
Meta AI 官方披露，其模型 Muse Spark 通过生成搜索代码找到反例，协助研究者推翻了一个关于对称性数学结构的猜想，并经团队验证完成证明，标志着 AI 在纯数学发现中从辅助工具走向主动探索。