Rohan Paul· @rohanpaul_ai · X·· 3 小时前同新闻AI 评分72
AI 导读
OpenAI 发布了 722 篇 AI 生成的数学证明，覆盖 372 项数学结果，这些论文来自其内部模型在测试中处理约 4K 个研究问题后的分组与筛选，每项结果平均消耗相当于 3 小时 ChatGPT Pro 思考的算力。其中一项成果把两个 n×n 矩阵相乘的已证明代价从 AlphaEvolve 在 8 月创下的约 n^2.371177 降到约 n^2.25，并附有 Lean 形式化，但该结果只是理论界，尚未给工程师带来可用于真实 GPU 负载的更快算法。
同一新闻，精选展示《OpenAI 发布 722 篇论文，覆盖 372 项数学结果》
正文 · 原文
OpenAI today released 722 AI generated math proofs.
This is one of the achievement, on the topics of Matrix multiplication
Here it lowers the proven cost of multiplying 2 n×n matrices from about n^2.371177, the record that AlphaEvolve set in August, to about n^2.25.
The result comes with a Lean formalization, but it is a theoretical bound and does not yet hand engineers a faster routine for real GPU workloads.
OpenAI published the full papers behind its open-problems claim: 722 manuscripts covering 372 math results. OpenAI built this catalogue by giving its internal model roughly 4K research problems during testing, then grouping and filtering the output into 372 significant result families. Almost all of those results came from the same standard setup, and each used on average the computing equivalent of 3 hours of ChatGPT Pro thinking.在 X 查看被引用的帖子
来源：Rohan Paul · x.com