OpenAI发布AI生成数学结果引争议
热点事件持续更新
OpenAI发布AI生成数学结果引争议
4 篇报道4 个报道来源21 小时前更新
先了解这件事
AI 综述
OpenAI于2026年10月发布由未公开前沿模型生成的数学结果，在GitHub公开722篇手稿、372个结果族，称其中包含对数百个开放问题的解答，并附部分Lean证明形式化。OpenAI称多数结果来自对单一AI智能体的单次提示，平均每条消耗约相当于ChatGPT Pro三小时的思考算力。 这些结果被指涉及计算机算法改进及与黎曼猜想相关的推进，但均由AI产出、尚未经同行评审，OpenAI称后续将改进论文的引用与表述。
AI 根据报道生成 · 1 小时前更新
最新进展10月7日 16:54
OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- The Decoder精选OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明
OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果，每条都声称解决了一个开放问题或取得实质进展，其中包含对重要计算机算法的改进以及与黎曼猜想相关的推进。
- 量子位精选OpenAI 公开 722 篇数学手稿，涉及准黎曼猜想与 BSD 猜想
OpenAI 公开 722 篇数学手稿，归为 372 组结果，全部出自一个尚未发布的内部模型，论文、源码和部分 Lean 证明已上传 GitHub。手稿涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等，OpenAI 称模型共尝试约 4000 个研究问题，平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。
- The Verge · AIOpenAI 发布 722 篇数学手稿，称解决数百个开放问题
OpenAI 发布 722 篇手稿，覆盖 372 个结果族，据 AGMAI 称其中包含对“数百个”开放问题的解答，这些结果由一个未发布的前沿模型产出。OpenAI 称“平均结果”消耗相当于 ChatGPT Pro 三小时的思考算力，并公开了部分推理摘要、算力估算和尝试问题数量等细节。
10月6日
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。