OpenAI 分享数学 AI 进展

摘要

OpenAI 公布了一个内部前沿模型在数学开放问题上的新成果，并将 Lean 证明形式化过程与研究细节一同发布在 GitHub 上。该模型在几个长期未解的数学难题上取得了进展，但 OpenAI 没有透露模型名称或具体参数。