OpenAI News·2026-10-06 20:00· 12 小时前精选评分84

Sharing AI progress in mathematics

摘要

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

推荐理由

请对照OpenAI News原文，核对完整说明及适用条件。

本站只提供摘要与原文入口。完整内容请阅读原文。

来源：OpenAI News · openai.com

OpenAI / ChatGPT 开源生态部署工程模型发布论文研究 #模型发布 #开源/仓库 #论文/研究 #部署/工程