FUNSEARCH: MAKING NEW DISCOVERIES IN MATHEMATICAL SCIENCES USING LARGE LANGUAGE MODELS

Summary from the TLDR AI newsletter

FunSearch, introduced in a recent Nature paper, is a method that uses large language models to make new discoveries in mathematics and computer science. It pairs a creative LLM with an evaluator to produce verifiable solutions, demonstrating success with the tough cap set and bin-packing problems. The approach yields human-interpretable solutions, marking a significant step in AI-driven scientific discovery.