摘要

OpenAI 发布一批由内部前沿模型产出的新数学成果，成果以 GitHub 仓库形式公开，并附论文修订与引用协议，其中许多证明已用 Lean 形式化以便计算机验证。

原文链接

• OpenAI：官网动态（RSS · 排除企业/客户案例）
• AI HOT 详情页