OpenAI 用 Astra 模型攻克 10 道长期未解数学难题

OmniTools 8月11日消息，OpenAI 宣布其尚未发布的 Astra 模型成功解决了 10 道长期悬而未决的数学难题，涵盖球体堆积、纠错码构造、非 sofic 群存在性等方向。团队同步公开了超过 250 页的技术论文，并提供基于 Lean 定理证明器的完整形式化验证结果。