AI 做的数学成果，到底有多少是真证明？OpenAI 在 10 月公开了自己的数学成果集 openai/math：719 篇手稿，分成 372 个家族，部分附带 Lean 形式化证明。
对关心 AI 数学能力的人来说，这个区分很关键：有形式化证明的成果才算真正站得住脚，没经过形式化验证的只能算“看起来对”。这批手稿按家族组织，方便按数论、代数几何等方向检索。
项目地址：github.com/openai/math。你会先看哪个方向，是数论还是代数几何？
正文完
AI 做的数学成果，到底有多少是真证明？OpenAI 在 10 月公开了自己的数学成果集 openai/math：719 篇手稿，分成 372 个家族，部分附带 Lean 形式化证明。
对关心 AI 数学能力的人来说，这个区分很关键：有形式化证明的成果才算真正站得住脚，没经过形式化验证的只能算“看起来对”。这批手稿按家族组织，方便按数论、代数几何等方向检索。
项目地址：github.com/openai/math。你会先看哪个方向，是数论还是代数几何？