跳到正文
今天10月7日周三3 条
  1. 知乎专栏:机器之心73

    机器之心从 OpenAI 722 篇数学手稿中挑出30道名题

    机器之心梳理了 OpenAI 今天上午上传至 GitHub 的722篇数学手稿,并从中按数学方向挑出30道代表性名题。手稿被归入372个成果族,覆盖17个方向,内容既有证明也有证伪,其中约六成成果族附有 Lean 形式化;未形式化的结果大多尚未经过同行评审。仓库地址:https://github.com/openai/math