When a language model finds new mathematics, the proof is a program
FunSearch and AlphaEvolve share a design choice that matters more than the models behind them: every candidate answer is checked by a machine before a person ever sees it.
3 min read