概念Program Evolution / 进化算法
程序进化
一种利用进化算法自动生成和优化程序的搜索范式，常与LLM结合用于数学构造发现。
时间轴 (近 90 天)
11月2日
该研究提出了一种“研究者参与循环”的发现流程，将程序进化、精确评估、数学推广、不存在性认证检查与形式化证明检查结合起来。
待验证50%
一种利用进化算法自动生成和优化程序的搜索范式，常与LLM结合用于数学构造发现。
该研究提出了一种“研究者参与循环”的发现流程，将程序进化、精确评估、数学推广、不存在性认证检查与形式化证明检查结合起来。