GitHub

OpenAI 一次公开 722 篇数学论文：未发布模型的解题成果，GitHub 开源

10 月 6 日，OpenAI 把内部一个未发布前沿模型解出的 722 篇数学手稿公开到 GitHub，Apache-2.0 协议开源，部分证明附 Lean 形式化验证。这是它九周内第三次发布数学成果，数学界反应两极：有人叫好，有人要求先看证据。