Carlo Pagano

A few months ago I bumped into Anand Patel, who had been my algebraic geometry TA in college, visiting Google DeepMind. He agreed to try out an agent I was building called Aletheia. Fast forward: Anand prompted Aletheia to solve a problem about simplicity of the Hodge bundle on M_g that had been floating around (a part of) the algebraic geometry community for at least ten years. Check out his paper at arxiv.org/pdf/2603.19052

“Mathematics is undergoing the biggest change in its history.” Glad to see our math agent #Aletheia featured by @newscientist on its results at the FirstProof inaugural challenge, alongside other interesting milestones in AI for Math research! Implications worth thinking about. Link in thread.

Thrilled to share: #Aletheia, our math research agent, just solved 6/10 notoriously hard FirstProof problems autonomously, the best result in the inaugural challenge! To me, this is even bigger than our historic IMO-gold achievement last year; these problems challenge even top mathematicians. We share our results transparently, see paper and full thoughts in the thread. 👇

Aletheia solved six FirstProof problems fully autonomously.

Our blog post describes how Deep Think agents are making research progress in pure mathematics, physics, and computer science. deepmind.google/blog/accelerat…

6 months in, after the IMO-gold achievement, I’m very excited to share another important milestone: AI can help accelerate knowledge discovery in mathematics, physics, and computer science! We’re sharing Two new papers from @GoogleDeepMind and @GoogleResearch that explore how Gemini #DeepThink together with agentic workflows can empower mathematicians and scientists to tackle professional research problems. Some highlights: The first paper built a research agent #Aletheia, powered by an advanced version of Gemini Deep Think, that can autonomously produce publishable math research and crack open Erdős problems. The second paper, built on similar agentic reasoning ideas, helped resolve bottlenecks in 18 research problems, across algorithms, ML and combinatorial optimization, information theory and economics. See the thread for details about the two papers and the joint blog post.

This paper describes our Aletheia system that solved multiple open Erdős problems. It also contributed intermediate propositions on two research papers, collaborated with a human author on a third paper, and produced a standalone fourth paper on its own. github.com/google-deepmin…

More work in collaboration with Aletheia:

Six very recent AI-math papers from our team: * Irrationality of rapidly converging series: a problem of Erdős and Graham arxiv.org/abs/2601.21442 An Erdos-1051 problem was solved and generalized together by an AI and human authors. It required a *lot* of human efforts, especially in the generalization part. (1/6)

Mathematicians 🤝AI researchers arxiv.org/abs/2601.22401. Our take on AI solving Erdos problems: * Many "Open" problems are actually just obscure: many cases the AI didn't find something new, only rediscovered solutions buried in the literature. We present our systematic approach to reporting AI results on Erdos. * The real bottleneck is still human labor, e.g. we spent lots of time filtering out technically correct but meaningless solutions (AI missed Erdos’s original intent). * Acceleration in solving low-hanging fruits is real, but we also need to highlight the many more misses that require human auditing. Clear research directions ahead though, and we feel optimistic about drastically increasing the signal-to-noise ratio. More to come!

Excited to share our latest work: "Semi-Autonomous Mathematics Discovery with Gemini." We used Gemini to systematically evaluate 700 "open" conjectures in the Erdős Problems database. The result? We addressed 13 problems marked as open—finding 5 novel autonomous solutions and identifying 8 existing solutions missed by previous literature. Read the full case study here: arxiv.org/abs/2601.22401

This is the second paper from our series “Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems”. Our agent #aletheia powered by #DeepThink cracked 13 ‘Open’ Erdős problems: 5 novel autonomous solutions, and 8 through existing literature. It was a lot of fun as the world went crazy on Erdős problems while we patiently scanned over 700 problems :) Paper link and more details below.

@LedermanHarvey Thanks so much for your post, Harvey! :) Looking forward to meet/talk again in person.

Some mathematics can simply never be known. quantamagazine.org/new-proofs-pro…

What can’t we know? This question haunts all corners of math. Now, two independent proofs of a broader version of Hilbert’s famous 10th problem have expanded the bounds of mathematical unknowability. Joseph Howlett reports: quantamagazine.org/new-proofs-pro…