主要来源rohanpaul_ai
查看原文事件专题 ·多源确认
OpenAI 发布 722 个 AI 生成的数学证明
OpenAI 发布了 722 个由 AI 生成的数学证明。其中在矩阵乘法这一问题上，把已证最低复杂度从 AlphaEvolve 在 8 月创下的约 n^2.371177 降到约 n^2.25。结果附带 Lean 形式化验证，但属于理论上界，尚未转化为可用的更快的 GPU 实际计算例程。
当前结论
OpenAI 用 AI 生成了 722 个数学证明，还把矩阵乘法的复杂度纪录从 AlphaEvolve 的 n^2.37 压到 n^2.25，附带 Lean 验证，搞数学和算法的可以看看。
11 个信源91° AI 热度最后更新 2026/10/7 00:41:43
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。