Mathematical exploration and discovery at scale | What's new
Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao 5 November, 2025 in math.CA, math.CO, math.MG, paper | Tags: Adam Zsolt Wagner, AlphaEvolve, Artificial Intelligence, Bogdan Georgiev, Javier Gomez-Serrano, optimization | by Terence Tao Bogdan Georgiev, Javier Gómez-Serrano, Adam Zsolt Wagner, and I have uploaded to the arXiv our paper “Mathematical exploration and discovery at scale“. This is a longer report on the experiments we did in collaboration with Google Deepmind with their AlphaEvolve tool, which is in the process of being made available for broader use. Some of our experiments were already reported on in a previous white paper, but the current paper provides more details, as well as a link to a repository with various relevant data such as the prompts used and the evolution of the tool outputs. AlphaEvolve is a variant of more traditional optimization tools that are designed to extremize some given score
Mathematical exploration and discovery at scale | What's new What's new Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao Home About Career advice On writing Books Mastodon+ Applets Subscribe to feed Mathematical exploration and discovery at scale 5 November, 2025 in math.CA , math.CO , math.MG , paper | Tags: Adam Zsolt Wagner , AlphaEvolve , Artificial Intelligence , Bogdan Georgiev , Javier Gomez-Serrano , optimization | by Terence Tao Bogdan Georgiev , Javier Gómez-Serrano , Adam Zsolt Wagner , and I h
related reading
- [2506.13131] AlphaEvolve: A coding agent for scientific and algorithmic discoveryarxiv.org
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms — Google DeepMinddeepmind.google
- AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms — Google DeepMinddeepmind.google
- As Rocks May Think | Eric Jangevjang.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- An OpenAI model has disproved a central conjecture in discrete geometry | OpenAIopenai.com
- CodeEvolve: an open source evolutionary coding agent for algorithmic discovery and optimizationalphaxiv.org
- Shtetl-Optimized >> Blog Archive >> Dispatches from the possibly last days of human relevancescottaaronson.blog
- A recent experience with ChatGPT 5.5 Pro | Gowers's Webloggowers.wordpress.com
- Computational Complexityblog.computationalcomplexity.org
- What sort of maths are LLMs good at?gowers.wordpress.com