Taking a short break … but will soon be back to our deep thinking mode! Thanks to @demishassabis for featuring some of our works from IMO 2024 (#AlphaGeometry, #AlphaProof) to #DeepThink + other amazing works from colleagues at @GoogleDeepMind
!
@lmthang
-
DeepMind Returns to Deep Thinking Mode with Advanced AI Research
By
–
-
Google DeepMind Launches Deep Thinking Model at I/O
By
–
It's been a wild run over the last 2 weeks to land Deep Thinking just in time for I/O! Heroic efforts across many teams @GoogleDeepMind from research to production that felt almost impossible last month! Proud of our research team for the relentless effort over the past 6 months
-
Gemini 2.5 Pro Continues Strong Performance and Updates
By
–
Gemini 2.5 Pro keeps going strong and much more, stay tuned! https://t.co/x1Wdae1bKT
— Thang Luong (@lmthang) 20 mai 2025Gemini 2.5 Pro keeps going strong and much more, stay tuned!
-
Farewell to Swaroop: Career Transition in Tech
By
–
It's been great working with you, Swaroop! All the best to your next adventure!
-
Google Announces Gemini 2.5 Pro Launch
By
–
Congrats to Gemini 2.5 Pro and everyone involved in the effort!
-
AI Model Solves IMO Geometry Problem with Novel Approach
By
–
To close, the initial figure was a problem from IMO Shortlist 2009, G7. According to our IMO expert @HoangT1215
, this problem previously only have computational solutions (using complex numbers, trigonometric computations etc). We were quite surprised to see AG2 producing an -
AG2 SKEST Algorithm Solves IMO Through Parallel Beam Search
By
–
In AG1, we use a simple beam search to discover proofs. In AG2, we design a novel search algorithm, called Shared Knowledge Ensemble of Search Trees (SKEST), to allow multiple beam searches to run in parallel and help each other. This was one of the reasons why we can solve IMO
-
AG2 Advances: Expanded Language and Faster Symbolic Engine
By
–
AG2 comes with significant upgrades:
* an expanded domain-specific language to cover 88% of IMO geometry problems compared to 66% previously.
* an improved symbolic engine that is more robust and two-order of magnitude faster.
* an enhanced language model that is based on Gemini -
AlphaGeometry2 Surpasses Gold-Medalist Standard IMO Geometry
By
–
Excited to share details of AlphaGeometry2 (AG2), part of the system that achieved silver-medal standard at IMO 2024 last July! AG2 now has surpassed the average gold-medalist in solving Olympiad geometry problems, achieving a solving rate of 84% for all IMO geometry problems
-
Google DeepMind Launches Gemini 2.0 Flash Thinking Model
By
–
Last announcement of the year from @GoogleDeepMind
? Not sure 🙂 but glad to be part of the team that launched Gemini 2.0 Flash Thinking, a model that is both smart & fast! Welcome to the Thinking era. What's next for 2025? Give Thinking a try at https://
aistudio.google.com/prompts/new_ch
at?model=gemini-2.0-flash-thinking-exp-1219
…