形式化证明

共 1 篇相关文章

AI 资讯

OpenAI分享AI数学进展：公布前沿模型开放问题结果与Lean证明

admin 2026-10-07 0 次阅读

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

OpenAI 数学 Lean 前沿模型形式化证明

阅读全文

返回首页