FunSearch
Pairing an LLM with an evaluator, Google DeepMind's FunSearch found new solutions to open math problems.
We introduce FunSearch, a method for searching for “functions” written in computer code, and find new solutions in mathematics and computer science. FunSearch works by pairing a pre-trained LLM, whose goal is to provide creative solutions in the form of computer code, with an automated “evaluator”, which guards against hallucinations and incorrect ideas.
Official source
FunSearch: Making new discoveries in mathematical sciences using Large Language Modelsdeepmind.google · published