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

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

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

  2. Latent Space · AI Engineering68

    AINews梳理OpenAI发布722篇数学手稿及Quasi-Riemann Hypothesis争议

    OpenAI发布了来自未公开内部模型的722篇数学手稿,材料称其中涉及约90个顶级开放数学问题,但相关结果尚未经过独立验证。手稿被分为372个结果家族,来自约4,000个研究问题的评估,平均每项使用约3小时ChatGPT Pro思考计算,并包含论文、证明材料和部分推理摘要。