OpenAI 发布 722 个 AI 生成的数学证明
OpenAI 用 AI 生成了 722 个数学证明，还把矩阵乘法的复杂度纪录从 AlphaEvolve 的 n^2.37 压到 n^2.25，附带 Lean 验证，搞数学和算法的可以看看。
#AI推理模型
共 1 条 · 7 天 1 条 · 30 天 1 条
信息流里打上「AI推理模型」标签的资讯、产品与论文，按刊登时间排，新的在上。
10月7日
OpenAI 用 AI 生成了 722 个数学证明，还把矩阵乘法的复杂度纪录从 AlphaEvolve 的 n^2.37 压到 n^2.25，附带 Lean 验证，搞数学和算法的可以看看。
