# 证明就在进化布丁中：AlphaEvolve 进化代码生成复杂性理论证明

- 来源：Jeff Dean (@JeffDean)
- 发布时间：2025-10-01 06:41
- AIHOT 链接：https://aihot.virxact.com/items/cmnw1yswj011bslc35ntcxa5y
- 原文链接：https://x.com/JeffDean/status/1973156151580913786

## AI 摘要

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

## 正文

The proof is in the evolutionary pudding！

### 引用推文

> Google Research：Today we describe how we leverage AlphaEvolve, a @GoogleDeepMind system for iteratively evolving code, to morph snippets of code towards better proof elements i...