Pushmeet Kohli

When I was asked by the American Academy of Arts and Sciences to write an essay on my thoughts on how AI will accelerate Science, I felt honored but also felt that it would require a lot of thoughtfulness and diligence to distill my thoughts on paper. The essay has now been

AI agents are advancing research-level math. 🚀 I’m thrilled to share @GoogleDeepMind’s AlphaProof Nexus - an agentic framework for formal proof search powered by Gemini. When applied to a set of open formal math problems, our agent autonomously solved: ✅ 9 open Erdős

See the formal proofs (in lean) discovered by the AlphaProof Nexus agent: github.com/google-deepmin…

Really happy to see @OpenAI adopt @GoogleDeepMind's SynthID for watermarking AI generated images. We need more such cross industry partnerships for enabling responsible use of AI systems. x.com/OpenAI/status/…

The results of the research happening in my team @GoogleDeepMind have convinced me that the next era of scientific discovery will be aided by AI agents acting as force multipliers for human ingenuity. That’s why I’m proud to introduce Gemini for Science - a collection of

The future of Math is mathematicians and AI agents working together. Very pleased to introduce @GoogleDeepMind's AI co-mathematician: a multi-agent system designed to actively collaborate with human experts on open-ended research mathematics. Mathematicians testing the agent

Read more in our technical paper: arxiv.org/abs/2605.06651 See the Frontier Tier 4 problem evaluation at: epoch.ai/frontiermath/t…