AI 做的数学成果，到底有多少是真证明？ openai/math 是 OpenAI 数学成果集：719 篇手稿分 372 个家族，部分附 Lean 形式化证… · @xiaoanlab · TwKit

@xiaoanlab

AI 做的数学成果，到底有多少是真证明？ openai/math 是 OpenAI 数学成果集：719 篇手稿分 372 个家族，部分附 Lean 形式化证明，10 月公开。 对关心 AI 数学能力的人来说，带形式化证明的才算数。 你会先看哪个方向，是数论还是代数几何？ #AI数学 #开源 https://github.com/openai/math

曝光 86 · 评论 1 · 点赞 4 · 书签 0