
research @GoogleDeepMind. co-developed gemini deep think. co-led model training for IMO 🥇 | prev: RL PhD at @StanfordAILab
Mountain View, CA
Joined July 2025
- Tweets45
- Following151
- Followers966
- Likes299
Pinned Tweet
I’m excited to share the news of Gemini Deep Think’s gold-medal level performance 🥇 at the International Math Olympiad! It has been an absolute blast building Deep Think this year and then scaling it to the IMO.
It's been a long time coming, but it's finally here!
Lots of discussion out there about our next model(!), so I wanted to give an early look as soon as possible. Introducing Gemini 4 Argon!
It shows frontier performance in complex workflows, cyber defense and software engineering. Teams are using it extensively at Google, from coding to quantum computing, great feedback.
Here’s a look at the benchmarks:
Jonathan Lee retweeted
Had so much fun working on Gemini Robotics 2! Sharing this interaction with the ER agent 🤖
Highlights:
- Interprets audio/visual cues (pointing, gesturing to refer to "this object")
- Combines thinking, speaking, acting
- Orchestrates VLA with best-in-class video understanding
We ran our internal system Aletheia (Deep Think) on FirstProof’s research problems during the week they were released.
Aletheia returned solutions to problems 2, 5, 7, 8, 9, and 10. We think there’s a pretty good chance they are correct, based on expert analysis.
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. 👇
Jonathan Lee retweeted
Yes, we provided 3 things for AI-assisted math:
* Human-AI interaction (HAI) card (photo), inspired by model cards
* Full transcripts github.com/google-deepmind/s…
* A label for novelty-autonomy, inspired by SAE Levels of autonomy, see #Aletheia paper arxiv.org/abs/2602.10177
Jonathan Lee retweeted
Congrats to the whole Deep Think team from @GoogleDeepMind for this amazing milestone of #DeepThink V2 launch! Such a great a model that powers so many state-of-the-art results from reasoning (ARC-AGI2) to deep knowledge (Humanity's Last Exam), multimodality (MMMU-Pro), coding (Codeforces), the math research agent #Aletheia, and scientific discovery (that we shared just yesterday)!
Blog: blog.google/innovation-and-a…
It has been a privilege witnessing the relentless progress 🔥:
* ChatGPT -> Bard announcement (Mar 2023): 100 days
* Announcement of IMO-gold achievement -> DeepThink v1 launch (Jul 2025): 10 days
* Announcement of Aletheia agent & advancements in scientific research -> Deep Think v2 launch (Feb 2026): 1 day
More to come! Stay tuned!
Gemini 3 Deep Think is here! 😎
This model is not only super strong in math and coding (IMO gold and 3455 codeforces ELO), it is also gold standard in physics and chemistry olympiads. 😃
Also sets new records on ARC-AGI-2 and HLE.
Proud to be a (core) member of the Deep Think team. 🦾😆.
Feeling the AGI!
Our latest versions of Deep Think are helping accelerate math research. Our new paper dives into examples of the agents semi-autonomously (and sometimes autonomously) contributing new knowledge.
Replying to @lmthang
Research-level mathematics draws on advanced techniques from vast literature, with papers often spanning dozens of pages. While foundation models possess a large knowledge base from pretraining, their understanding of advanced subjects remains superficial due to data scarcity, and they are also prone to hallucinations. As such, in the first paper, "Towards Autonomous Mathematics Research", we built #Aletheia (ancient Greek word for "Truth"), a math research agent, that can iteratively generate, verify, and revise solutions end-to-end in natural language.
Link to the paper: github.com/google-deepmind/s… (to be on arXiv soon!)
There are 3 main sources that power Aletheia ...
Jonathan Lee retweeted
For these wondering, and as expected, Gemini 3 Deep Think solves the stack underflow bug that cost me a few days. The answer is a more decisive than Opus 4.5, the only other public model to solve it (even Gemini 3 Pro fails). It even points the exact location confidently. It takes forever though...
I don't have harder tests for now, most my benchmarks are saturated and I'm super busy with SupGen stuff, so that's all I have to say about this one
Jonathan Lee retweeted
Gemini 3 Deep Think is here.
Deep Think is our most advanced reasoning mode that explores multiple hypotheses simultaneously to give you an even more sophisticated output.
Jonathan Lee retweeted
Gemini 3 Deep Think is next level. Deep Think was the the engine behind our gold medal-level wins at IMO and ICPC, and now powers an even stronger version of Gemini 3. SOTA above SOTA. More to come soon!
Jonathan Lee retweeted
Continuing our IMO-gold journey, I’m delighted to share our #EMNLP2025 paper “Towards Robust Mathematical Reasoning”, which tells some of the key stories behind the success of our advanced Gemini #DeepThink at this year IMO. Finding the right north-star metrics was highly critical for our IMO effort and we did it with #IMOBench, a suite of advanced reasoning benchmarks for foundation models. More importantly, we encourage the community to go beyond short answers and showed that automatic grading of long-form answers is promising! Read on to see our project page, paper, and datasets in the thread 🙂
Very excited to share that an advanced version of Gemini Deep Think is the first to have achieved gold-medal level in the International Mathematical Olympiad! 🏆, solving five out of six problems perfectly, as verified by the IMO organizers! It’s been a wild run to lead this effort and I am grateful to everyone in the team for such an amazing achievement! Blog post in the thread and more to share soon!
Jonathan Lee retweeted
We evaluated Gemini 2.5 Deep Think on FrontierMath. There is no API, so we ran it manually. The results: a new record!
We also conducted a more holistic evaluation of its math capabilities. 🧵
Jonathan Lee retweeted
Super excited to share Gemini Robotics 1.5!!
Our high-level reasoning model Gemini Robotics-ER 1.5 is also publicly available now! The model is particularly strong at spatial and temporal reasoning, and can use thinking to improve its answers 🧠🤖
We’re making robots more capable than ever in the physical world. 🤖
Gemini Robotics 1.5 is a levelled up agentic system that can reason better, plan ahead, use digital tools such as @Google Search, interact with humans and much more. Here’s how it works 🧵
Jonathan Lee retweeted
📢The next milestone for intelligent general-purpose robots has arrived!
Announcing Gemini Robotics 1.5, our flagship system which brings breakthroughs from frontier models to the physical world with two new SOTA generalists: the GR 1.5 VLA and GR 1.5 embodied reasoning model 🧵
Amazing work by the team! Another gold-medal level performance from a version of Deep Think 🚀
Jonathan Lee retweeted
I’m excited to announce that an advanced version of Gemini Deep Think achieved gold-medal level performance at the 2025 ICPC World Finals, one of the world’s most prestigious programming competitions! 🥇Learn more in our blog post: bit.ly/46rvjLs
An inspiring moment for me personally was when our model solved a problem that no university team solved during the contest — a true moment of innovation. With Gemini Deep Think achieving gold-level across ICPC & IMO, I think we’re seeing a profound leap in generalization across coding, math and reasoning capabilities, to generate novel solutions to complex problems.
This is a huge milestone for us on an amazing journey. Really grateful and proud of our team, for all the hard work and teamwork that made this breakthrough possible. Looking forward to continuing our research, helping people use Gemini to solve some of the hardest unsolved problems in the world!
Jonathan Lee retweeted
Few people are aware of how good Gemini Deep Think is.
It's at the point where "Should I ask an expert to chew on this or Deep Think?" is often answered with Deep Think.
GPT-5 Pro is more "intellectual yet idiot" while Deep Think has better taste.
I've been repeating this a lot frequently so deciding to tweet it instead.

































