OpenAI发布AI生成数学证明
先了解这件事
OpenAI 发布了一批由未发布内部前沿模型生成的数学研究结果，并把手稿、部分 Lean 形式化证明和研究细节托管在 GitHub；报道称这批内容包含 722 篇手稿、覆盖 372 个相关结果族，OpenAI 称其中有多个长期数学开放问题的解法或实质进展。 这些结果未先发表在学术期刊上。OpenAI 同时公开了部分模型推理摘要、平均 compute 估计和尝试问题数量统计；The Decoder 称许多证明带有 Lean 形式化，OpenAI 计划继续补充形式化内容。
AI 根据报道生成 · 2 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The Decoder精选OpenAI 在 GitHub 发布 372 个 AI 生成数学证明
OpenAI 发布了 372 个由内部前沿模型生成的数学结果，托管在 GitHub 而非学术期刊，并称每个结果旨在解决开放问题或取得实质进展。这些结果包含主要计算机算法改进和与 Riemann hypothesis 相关的进展，许多证明带有 Lean 形式化，平均每项消耗约三小时的 ChatGPT Pro Thinking compute。
- 量子位精选OpenAI 公开 722 篇未发布内部模型生成的数学手稿
OpenAI 公开 722 篇数学手稿，全部出自一个尚未发布的内部模型，归成 372 组结果，并上传论文、源码和部分 Lean 证明到 GitHub。材料称这些结果覆盖准黎曼猜想、霍奇猜想、BSD猜想、π的无理性指数、唯一游戏猜想等 17 个方向，模型此前尝试约 4000 个研究问题，平均每项结果消耗约相当于 ChatGPT Pro 思考 3小时。
- The Verge · AI精选OpenAI 发布 722 篇数学手稿，称包含数百个开放问题解法
OpenAI 发布了一批由未发布前沿模型生成的数学手稿，共 722 篇，覆盖 372 个相关结果族，据称包含“数百个”开放问题的解法。发布内容包括部分模型推理摘要、所用 compute 估计和尝试问题数量统计，OpenAI 称“平均结果”相当于 3 小时 ChatGPT Pro thinking。
- OpenAI NewsOpenAI 公布内部前沿模型在数学开放问题上的新结果
OpenAI 公布了一个内部前沿模型在数学开放问题上的新结果。OpenAI 还在 GitHub 分享了 Lean 证明形式化内容和研究细节。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。