OpenAI News·· 13 天前AI 评分40
OpenAI 发布数学开放问题新成果及 Lean 证明形式化
Sharing AI progress in mathematics
AI 导读
OpenAI 内部前沿模型发布数学开放问题新结果，并在 GitHub 上分享 Lean 证明形式化和研究细节。
原文
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
来源：OpenAI News · openai.com