Gemini 3.1 Pro be like pic.twitter.com/ZwCauGxLar
— Google (@Google) 19 février 2026
Gemini 3.1 Pro be like
By
–
Gemini 3.1 Pro be like pic.twitter.com/ZwCauGxLar
— Google (@Google) 19 février 2026
Gemini 3.1 Pro be like

By
–
Yes, we provided 3 things for AI-assisted math:
* Human-AI interaction (HAI) card (photo), inspired by model cards
* Full transcripts https://
github.com/google-deepmin
d/superhuman/tree/main/aletheia
…
* A label for novelty-autonomy, inspired by SAE Levels of autonomy, see #Aletheia paper https://
arxiv.org/abs/2602.10177
By
–
Again, it has been a privilege witnessing the relentless progress from Google Brain to Google DeepMind :
* ChatGPT -> Bard announcement (Mar 2023): 100 days
* Announcement of IMO-gold achievement -> DeepThink v1 launch (Jul 2025): 10 days
* Announcement of Aletheia agent &

By
–
and in case you missed it, here's how Gemini Deep Think has powered various discoveries from maths, to physics and computer science!

By
–
And here's the little leaderboard that we maintain on IMO ProofBench in case you haven't seen it.
* Our IMO-gold model (non-public, Jul 2025) got 65.7%. * Gemini 3 Deep Think (public, Feb 2026) now got 76.7%.
* Aletheia (non-public) with inference-time scaling law +

By
–
DeepThink is exceptionally good when powered by an inference-time scaling law that we showed in our Aletheia paper https://
arxiv.org/abs/2602.10177! These were benchmarked on our IMO-ProofBench graded by experts, which was the north-star metric leading to our IMO-gold achievement. Amazing

By
–
In Jul 2025, even though our internal model achieved a gold-medal standard at IMO for maths, we could only ship a bronze-level one. 6 months in, the public can now have access to Olympiad gold-level #DeepThink not only in maths, but also theory physics and chemistry!

By
–
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
By
–
Yes to both 🙂 I think Lean is very important, especially in the future. For now, natural language reasoning helps us explore more domains.

By
–
The #Aletheia paper is finally available on arXiv https://
arxiv.org/abs/2602.10177! Excited to share the 1st wave of papers on AI for math research! More to come very soon, stay tuned! Blog: https://
deepmind.google/blog/accelerat
ing-mathematical-and-scientific-discovery-with-gemini-deep-think/
…