OpenAI 发布 722 篇 AI 生成的数学证明论文
OpenAI today released 722 AI generated math proofs.
AI 导读OpenAI 发布 722 篇 AI 生成的数学证明论文，覆盖 372 个数学结果族。其中矩阵乘法证明将 2 个 n×n 矩阵乘法的已证明成本从 AlphaEvolve 今年 8 月创下的约 n^2.371177 降至约 n^2.25，并附 Lean 形式化，但这是理论界，尚未给工程师提供可用于真实 GPU 负载的更快例程；这些结果来自内部模型处理约 4K 研究问题后的分组过滤，每个平均使用约相当于 3 小时 ChatGPT Pro 思考的算力。
另有 15 家信源报道
- OpenAI 公布 700 多份数学研究文稿，数学界反应分化并担忧合作传统受损IT之家·人工智能 · 5 天前
- 数学家称消化 OpenAI 突然发布的近 400 项 AI 数学结果可能需要数年The Verge：AI · 5 天前
- OpenAI 发布 722 份数学手稿后，卡兹克长文解读 AI 如何改变数学研究卡兹克 · 7 天前
- OpenAI 在 GitHub 发布 openai/math 仓库，722 份数学手稿引发数学界震荡公众号：数字生命卡兹克 · 7 天前
- OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果The Decoder：AI News · 7 天前
- OpenAI 发布内部模型数学成果Nathan Lambert · 8 天前
- OpenAI 发布内部前沿模型产出的多项数学新结果Greg Brockman · 8 天前
- OpenAI 通过 GitHub 发布 722 份数学论文手稿，称含数百个公开问题解答The Verge：AI · 8 天前
- OpenAI 公开内部模型数学成果论文：722 篇手稿覆盖 372 项结果Rohan Paul · 8 天前
- OpenAI 公布未发布前沿模型解决的数百个数学难题研究成果IT之家·人工智能 · 8 天前
- OpenAI 发布内部前沿模型产出的新数学结果Thomas Wolf · 8 天前
- OpenAI 发布内部前沿模型产出的数学研究成果OpenAI：官网动态 · 8 天前
- OpenAI 模型解决重要数学问题Tibo · 8 天前
- OpenAI 发布仓库，公开其未发布前沿模型求解的一系列数学新结果Testing Catalog · 8 天前
- OpenAI 发布内部前沿模型产出的新数学成果OpenAI · 8 天前
来源：Rohan Paul · x.com
事件后续1
查看事件全部- OpenAI 发布内部前沿模型产出的数学研究成果OpenAI：官网动态 · 8 天前