OpenAI News·2026-10-06 20:00· 14 小时前AI 评分57

OpenAI 公布数学前沿模型成果并开源 Lean 证明

Sharing AI progress in mathematics

AI 导读

OpenAI 发布了内部前沿模型在数学开放问题上取得的新研究成果，并在 GitHub 上公开了 Lean 证明形式化代码和相关研究细节。

来源：OpenAI News · openai.com

#产品更新 #推理 #OpenAI