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

Summary from the TLDR AI newsletter

FunSearch, a new AI-powered method that combines Large Language Models with evaluative algorithms, has made verifiable discoveries in mathematical sciences, including solutions for the longstanding cap set problem and more efficient algorithms for the bin-packing problem. It introduces evolutionary approaches to generating and evaluating code that offers human-interpretable outputs, representing a significant leap in AI-driven scientific discovery.