⌘ K
… 读取采集状态 同步中...
雷
原文
新智元·· 2026-08-02精选AI 评分93

OpenAI Astra 模型攻克 10 个数学难题并获 Lean 4 验证

突发!OpenAI下一代AI攻克10项菲尔兹奖级难题

AI 导读

OpenAI 下一代模型 Astra 在涉及群论、编码理论等 10 个数学难题上取得突破,包括构造非 sofic 群及突破高维球体堆积界限,相关证明已通过 Lean 4 形式化验证。

推荐理由

文章梳理了OpenAI Astra模型在十个数学难题上的突破及Lean 4验证,读者可评估AI推理能力在纯数学研究中的实际进展。

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

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