Definition
A DeepMind system that used a language model in a search loop to discover new mathematical functions.
A DeepMind LLM-driven evolutionary search system for discovering programs that solve open mathematical problems.
Mentioned in 2 episodes
067
065