proofs

标签

#proofs

OpenAI 未发布模型 Astra 解决十大开放数学难题（34分钟阅读）

TLDR AI ↗ · 2026-08-04 缓存

OpenAI 未发布的模型 Astra 据称解决了十大开放数学难题，结果已通过 Lean 证书形式化验证，标志着 AI 数学推理能力的重大飞跃。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈