rohanpaul_ai· @rohanpaul_ai · X·· 2 天前AI 评分
OpenAI 发布 722 项 AI 生成数学证明，将矩阵乘法复杂度降至约 n^2.25
OpenAI 发布 722 项 AI 生成的数学证明，其中一项关于矩阵乘法的结果把两个 n×n 矩阵相乘的已证明成本从约 n^2.371177（AlphaEvolve 于 8 月创下的纪录）降至约 n^2.25。该结果附带 Lean 形式化证明，但属于理论上界，尚未给工程师提供适用于真实 GPU 工作负载的更快例程。
OpenAI 今天发布了 722 项 AI 生成的数学证明。
这是其中一项成果，主题是矩阵乘法。
它将两个 n×n 矩阵相乘的已证明代价从约 n^2.371177（AlphaEvolve 于 8 月创下的纪录）降至约 n^2.25。
该成果附带 Lean 形式化证明，但它是一个理论界限，尚未为工程师提供能在真实 GPU 工作负载中使用的更快算法。
来源：rohanpaul_ai · x.com