OpenAI News·· 12 小时前
OpenAI 分享数学 AI 进展，发布内部前沿模型新结果及 Lean 证明形式化
Sharing AI progress in mathematics
SI 导读
OpenAI 发布了内部前沿模型在数学开放问题上的新结果，并在 GitHub 分享 Lean 证明形式化与研究细节。
精选SI 评分65
推荐理由
OpenAI 公开前沿模型在数学开放问题的新结果，并放出 Lean 证明形式化与 GitHub 研究细节，便于学界验证进展。
来源：OpenAI News · openai.com