2025-11-07
Terence Tao, Javier Gómez-Serrano, and DeepMind reported more extended experiments with AlphaEvolve + DeepThink + AlphaProof. Many new discoveries, including some general constructions that inspired T. Tao to write two new papers. We live in the wildest timeline [image]
@azwagner_
Researchers tested Google DeepMind's AlphaEvolve AI coding agent on 67 mathematical problems and found that it discovered improved solutions to ~20 of them
Really happy to share our new paper on using AlphaEvolve for mathematical exploration at scale, written with Javier Gómez-Serrano, Terence Tao, and @GoogleDeepMind's Bogdan Georgie...