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,...| Google DeepMind
In late 2017 we introduced AlphaZero, a single system that taught itself from scratch how to master the games of chess, shogi (Japanese chess), and Go, beating a world-champion program in each...| Google DeepMind
Our AI system surpasses the state-of-the-art approach for geometry problems, advancing AI reasoning in mathematics| Google DeepMind