Jeff Dean· @JeffDean · X·· 2025-10-01
AI 导读
Google Research 利用 AlphaEvolve 迭代进化代码，自动生成可自动验证的复杂性理论证明元素，展示进化算法在数学证明发现中的应用。
正文 · 原文
The proof is in the evolutionary pudding!
Today we describe how we leverage AlphaEvolve, a @GoogleDeepMind system for iteratively evolving code, to morph snippets of code towards better proof elements in complexity theory that can be automatically verified by a computer program. Read more at: http://goo.gle/3IR6vEN https://t.co/ytEGze2AOv在 X 查看被引用的帖子
来源：Jeff Dean · x.com