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
Explore this link on the map →related reading
- 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
- [2506.13131] AlphaEvolve: A coding agent for scientific and algorithmic discoveryarxiv.org
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- An OpenAI model has disproved a central conjecture in discrete geometry | OpenAIopenai.com
- 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
- Asymmetry of verification and verifier’s rule - Jason Weijasonwei.net
- unit-distance-remarks.pdfcdn.openai.com
- FrontierMath: Open Problems - Unsolved Mathematical Challenges | Epoch AIepoch.ai