OpenAI公开722篇AI数学手稿
先了解这件事
OpenAI在GitHub发布722篇数学手稿，覆盖372个结果族，称其中包含对数百个数学开放问题的解答，涉及计算机算法改进和与黎曼假设相关的推进。这些结果由一个未发布的前沿模型产出，OpenAI称几乎每条结果来自对单个AI智能体的单次提示，部分经过多次尝试，平均每条消耗约相当于ChatGPT Pro思考三小时的算力。 OpenAI表示许多证明附带了Lean形式化，并计划补充更多；发布附带论文修订和引用协议，OpenAI称正继续探索符合委员会准则的其他社区托管方案，并承诺未来改进引用、数学阐述和结果呈现。
AI 根据报道生成 · 3 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The Decoder精选OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明
OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果，每条都声称解决了一个开放问题或取得实质进展，其中包含对主要计算机算法的改进以及与黎曼假设相关的推进。
- Latent Space精选OpenAI 内部模型发布 722 篇数学手稿，称解决 500 个公开难题中的 90 个
OpenAI 从一个未公开的内部前沿模型发布 722 篇数学手稿，归入 372 个相关结果族，来自约 4000 个研究问题的评测，平均每个结果消耗约 3 小时 ChatGPT Pro 推理算力。
- 量子位精选OpenAI 公开 722 篇数学手稿，覆盖准黎曼猜想与 BSD 等难题
OpenAI 公开 722 篇数学手稿，归为 372 组结果，出自一个尚未发布的内部模型，论文、源码和部分 Lean 证明已上传 GitHub。内容涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等，模型此前尝试约 4000 个研究问题，平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。
- The Verge · AIOpenAI 发布 722 篇手稿，称未公开前沿模型解决数百个数学开放问题
OpenAI 以 722 篇手稿的形式公开了一批数学问题解答，覆盖 372 个结果族，据 AGMAI 称其中包含对“数百个”开放问题的解答。这些结果由一个未发布的前沿模型产出，OpenAI 称“平均结果”相当于 ChatGPT Pro 思考三小时，并同时公布了部分推理摘要、算力估算和尝试问题数量等细节。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。