OpenAI 发布 722 篇 AI 生成的数学证明论文

OpenAI 发布 722 篇 AI 生成的数学证明论文，覆盖 372 个数学结果族。其中矩阵乘法证明把 2 个 n×n 矩阵乘法的已证明成本从 AlphaEvolve 今年 8 月的约 n^2.371177 降至约 n^2.25，并附 Lean 形式化，但属理论界，尚未提供可用于真实 GPU 负载的更快例程。