FunSearch: Mathematical Discoveries from Program Search with LLMs

CORE IDEA

LLM + evolutionary algorithm + program-level verification，verification 是 mechanical 的——Python 跑 program 结果对就保留。

CONCRETE EXAMPLE

cap set 问题找到更好 lower bound；bin packing 上超越 First Fit Decreasing。

L-ANCHOR · 为什么在这一层重要

near-L5 系统，verifiable novelty 模板，RQ 直接继承