知乎专栏：机器之心· 机器之心·· 4 小时前AI 评分73
机器之心从 OpenAI 722 篇数学手稿中挑出30道名题
翻完OpenAI的722篇数学手稿，我们挑出了最重的30道名题
AI 导读
机器之心梳理了 OpenAI 今天上午上传至 GitHub 的722篇数学手稿，并从中按数学方向挑出30道代表性名题。手稿被归入372个成果族，覆盖17个方向，内容既有证明也有证伪，其中约六成成果族附有 Lean 形式化；未形式化的结果大多尚未经过同行评审。仓库地址：https://github.com/openai/math
来源：知乎专栏：机器之心 · zhuanlan.zhihu.com