OpenAI 发布 722 个 AI 生成的数学证明
OpenAI 用 AI 生成了 722 个数学证明,还把矩阵乘法的复杂度纪录从 AlphaEvolve 的 n^2.37 压到 n^2.25,附带 Lean 验证,搞数学和算法的可以看看。
OpenAI 用 AI 生成了 722 个数学证明,还把矩阵乘法的复杂度纪录从 AlphaEvolve 的 n^2.37 压到 n^2.25,附带 Lean 验证,搞数学和算法的可以看看。
花 0.55 美元干出别人 50 美元的效果,强模型出思路、便宜模型搬砖的省钱组合拳,搞优化任务的可以看看。
这篇论文给出了 L(2,n) 的对称链分解精确计数公式,并用 AlphaEvolve 数据支持超指数增长猜想,与布尔格的最新结果相呼应。
做流行病学或复杂系统建模的研究者终于有了能并行跑数千种代码变体的工具,测试新方法的时间从数月缩到数天,值得点开看看怎么用。
AlphaEvolve 将 AI 编码能力从理论推向实际产业应用,做科研、物流或基础设施优化的团队可以关注它如何加速你的工作流。