FunSearch: Making new discoveries in mathematical sciences using Large Language Models

In a paper published in Nature, 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.

code computer computer science creative discoveries form functions language language models large language large language models llm making mathematics nature paper science searching solutions