OpenAI News·· 2026-10-06精选AI 评分62
OpenAI 公布前沿模型在数学开放问题上的进展
Sharing AI progress in mathematics
AI 摘要
OpenAI 发布内部前沿模型在数学开放问题上的新结果，并公开 Lean 证明形式化与研究细节，相关材料已上传 GitHub。
来源：OpenAI News · openai.com
00
Sharing AI progress in mathematics
OpenAI 发布内部前沿模型在数学开放问题上的新结果，并公开 Lean 证明形式化与研究细节，相关材料已上传 GitHub。
来源：OpenAI News · openai.com