Researcher Javier Gómez Serrano, a former member of the Centre de Recerca Matemàtica (CRM) from 2020 to 2022, and currently a professor at Brown University, is part of a new project at the intersection between mathematics and artificial intelligence. Together with mathematician Terence Tao, form the University of California, and a team at Google DeepMind, Gómez Serrano is helping to develop AlphaEvolve, a pioneering tool that explores a new way of doing mathematics. We had the opportunity to speak with him during the recent Conference on Modern Trends in Fourier Analysis at the CRM.
AlphaEvolve, publicly announced on May 14, 2025, is an evolutionary coding agent based on language models like Gemini. Its core idea is simple but powerful: generate multiple candidate solutions in code and evolve them iteratively through a process similar to natural selection. This method has already shown its potential by tackling major open problems, such as matrix multiplication or the kissing number problem in 11 dimensions. In this last case, AlphaEvolve discovered a configuration of 593 spheres tangent to a unit sphere, setting a new lower bound for this longstanding geometric challenge.
A new way to do mathematics?
Gómez Serrano first came into contact with DeepMind through a previous collaboration on the Navier–Stokes equations. “I had already been working with them on that topic, and at the end of January 2025 we started this new project,” he explains. For him, the emergence of tools like AlphaEvolve signals a turning point in mathematical research: “I believe the way we do mathematics is going to change, at least for part of the community. These kinds of models or assistants will become more widespread and will help us reach results that now take one or two years in just a few days.”
This acceleration also transforms the kind of questions mathematicians can ask: “We’ll be able to tackle harder problems, because we’ll have more powerful tools,” he says. But he also adds a note of caution: “We still don’t know the best way to interact with these models. The community is figuring out how to get the most insight with the least computational cost.”
Unlike systems like ChatGPT, AlphaEvolve does not operate through natural language. “We don’t talk to it with plain text,” Gómez Serrano explains. “We ask it to write code that tries to solve the problem, and that code then evolves and improves over time.”

This raises new challenges, especially when it comes to extracting insight from the solutions. “When the model detects structure in a solution, how do we understand and translate that into mathematical intuition? That’s something we still don’t fully grasp.” As Terence Tao explained on Mastodon: “AlphaEvolve can attempt to extremize functions F(x) with x ranging over a high-dimensional parameter space, and can outperform traditional optimization algorithms when the function and space have non-obvious structure”.
When it comes to the role of AI in mathematics, Gómez Serrano is clear: it’s not a competition. “This isn’t about humans versus machines. The real value is in what humans and machines can do together. These tools allow us to go beyond our limits, not in competition, but in collaboration.”
As for the areas of mathematics most likely to be affected, he points to quantitative or concrete domains as natural early adopters. “It’s easier for a computer to handle numbers than to represent abstract concepts like groups. But with the speed these technologies are evolving, we don’t really know where the boundary will be.”
A message to young mathematicians
His advice to early-career mathematicians is simple: keep an open mind. “This landscape is evolving incredibly fast. The pace of results is no longer measured in years, but in months. Staying informed and open-minded is essential to understand how this new mathematical world will work.” He sees it not as a threat, but as an opportunity: “We’re starting from scratch in many ways. That gives us a chance to take the lead, not just in research, but in defining how mathematics is done in the future.”
New tools like AlphaEvolve are reshaping how we approach mathematical discovery. By combining human insight with AI-driven exploration, this project is opening new paths toward solving complex problems; faster, deeper, and with unexpected creativity.
The full interview with Javier is available on the CRM YouTube channel.
Javier Gómez Serrano is an Associate Professor at Brown University. He was previously a Distinguished Researcher at the University of Barcelona and held positions at Princeton University. From 2020 to 2022, he was an Affiliated Researcher at the Centre de Recerca Matemàtica (CRM).
His work sits at the crossroads of analysis, PDEs, fluid mechanics, spectral geometry, numerical computation, machine learning, and computer-assisted proofs.
Subscribe for more CRM News
|
|
CRM CommPau Varela
|
The CRM exhibition ‘Les matemàtiques de Gaudí’ moves to the University of Barcelona
After its October run at the UAB, the exhibition Les matemàtiques de Gaudí, produced by the CRM, can be seen at the University of Barcelona’s CRAI Biblioteca de Matemàtiques i Informàtica from 2 to 30 November 2026.
Advanced Course on Free Boundary Problems Opens the Intensive Weeks of the IRP
From 26 to 30 October, around forty researchers attended the Advanced Course on Free Boundary Problems at the CRM, three seven-hour mini-courses given by Bozhidar Velichkov (Università di Pisa), Max Engelstein (University of Minnesota) and Zihui Zhao (Johns Hopkins University). The course was the first of the two intensive weeks of the Intensive Research Programme on Analysis of Free Boundary Problems, which runs until 4 December.
El CRM rep els estudiants de la prova de nivell de Bojos per les Matemàtiques 2027
Els aspirants a Bojos per les Matemàtiques 2027 van visitar el Centre de Recerca Matemàtica (CRM) dissabte 24 d’octubre, després de fer la prova de nivell a la Facultat de Ciències i Biociències de la UAB. En acabat, Tomás Sanz (UB-CRM) els va explicar què té a veure l’escalfament d’una barra de ferro amb els àudios de WhatsApp.
Eight CRM Researchers in the 2026 Stanford-Elsevier List of Highly Cited Scientists
The Centre de Recerca Matemàtica (CRM) has eight researchers in the 2026 update of the Stanford-Elsevier ranking of highly cited scientists, which John P. A. Ioannidis (Stanford University) and Jeroen Baas (Elsevier) compile from Scopus data. Xavier Cabré, Álvaro Corral, Tim Myers, Xavier Ros-Oton, Sergey Tikhonov and Xavier Tolsa appear both in the career-long ranking and in the one for 2025, and Diego Vidaurre and Simeon Ball in the 2025 ranking.
Fish schools and growing tissues: a workshop on how collective behaviour emerges
The Centre de Recerca Matemàtica (CRM) organised the Barcelona Workshop on Kinetic and Macroscopic Models in Biology with Friends II, held from 7 to 10 September at the Institut d’Estudis Catalans. More than thirty researchers discussed how order at the scale of tissues and animal groups arises from local interactions between individuals, in a programme that included talks by CRM researchers Daria Stepanova and Juan Arellano-Tintó. Two of the speakers, James Sharpe (EMBL Barcelona) and Chiara Villa (CNRS, Université Paris Cité), talked to the CRM about their research.
The CRM opens the academic year and unveils its Directors’ Gallery
A review of the year, the Communication Plan 2026–2030 and three research talks filled the morning of 19 October.The unveiling of the Directors’ Gallery.CRM CommPau VarelaCRMComm@crm.catGet the latest CRM news and activities in your inbox.Recent...
The CRM Mentoring Programme, as Told by One of Its Pairs
PhD student Joaquim Duran and mathematician Robert Cardona, one of the pairs in the CRM Mentoring ProgrammeJoaquim Duran (left) and Robert Cardona.CRM CommPau VarelaCRMComm@crm.catGet the latest CRM news and activities in your inbox.Recent...
When the reward comes within reach, the brain changes what it compares
As the tokens piled up, choices got faster and more accurate at the same time. The yardstick for judging each offer had moved.CRM CommPau VarelaCRMComm@crm.catGet the latest CRM news and activities in your inbox.Recent newsletters →Two subjects...
Almost every automaton can be reset with a short word
Guillaume Chapuy (Université Paris Cité, CNRS) and Guillem Perarnau (UPC, CRM) have shown that a random finite automaton with n states can, with high probability, be reset by a word of length of order √n log n. The result, published in ACM Transactions on Algorithms, pins the exponent at 1/2, the lower end of a decade of numerical estimates, and addresses the random version of the synchronization problem behind a conjecture Ján Černý posed in 1964 and which still remains open.
Exposició ‘Les matemàtiques de Gaudí’
CRM quod erat demonstrandum | 48
ADA: Decoding Brain Signals Misaligned in Time
The study addresses a key limitation of current brain decoding techniques: the difficulty of interpreting internal mental processes whose temporal dynamics vary from trial to trial.Decoding what is happening in a person’s mind from their brain activity is one of the...













