跳到正文
10月15日周四
10月7日周三
  1. The Decoder86

    OpenAI 在 GitHub 发布 372 个 AI 生成数学证明

    OpenAI 在 GitHub 发布了由内部前沿模型生成的 372 个新数学结果,旨在解决开放问题或取得重大进展。这些成果包含对主要计算机算法的改进以及与黎曼猜想相关的进展,多数附带 Lean 形式化验证以缓解人工审查瓶颈。OpenAI 选择 GitHub 而非同行评审期刊发布,暗示传统科学流程无法适应此知识产出速度,该做法引发数学界关于 AI 目标与学科本质错位的争议。

    同一新闻,精选展示《OpenAI 发布由内部前沿模型驱动的新成果》