Google Research 利用 AlphaEvolve 迭代进化代码，自动生成可自动验证的复杂性理论证明元素，展示进化算法在数学证明发现中的应用。