Today, we’re making Gemini 2.5 Deep Think available to Google AI Ultra subscribers in the @GeminiApp Gemini 2.5 Deep Think is a variation of the model that achieved the gold-medal standard at this year’s International Mathematical Olympiad (IMO). Deep Think uses parallel
LLMS
-

Same AI Model Solves International Mathematical Olympiad Problems
By
–
Impressive that this is the same model they used for the International Mathematical Olympiad a few weeks ago
-

Ultra-Scale Playbook: Training DeepSeek-V3 with Advanced Parallelism
By
–
The Ultra-Scale Playbook (the large-scale LLM training guide from the @huggingface science team) is out now! It is a 246-page, very nicely designed PDF that walks you through learning how to train your own DeepSeek-V3 model using:
• 5D parallelism, • ZeRO,
• fast kernels, -
Nanotron: World-class AI research paper released
By
–
kudos @lvwerra @Nouamanetazi @FerdinandMom @mohamedmekkouri Haojun Zhao Phuc Nguyen and @Thom_Wolf the world-class authors get the PDF before the summer break at http://
hf.co/nanotron -
Running 64GB M2 with LM Studio, Open WebUI and custom tools
By
–
64GB M2 – so far I'm using it via the LM Studio UI, the Open WebUI interface and my own LLM terminal tool
-
Gemini Deep Think Proves Mathematical Conjecture with Novel Approach
By
–
See mathematician Michel van Garrel talking about how our latest Gemini Deep Think model was able to prove a conjecture using a very different approach than he was considering. https://t.co/CnMqOHRK3k
— Jeff Dean (@JeffDean) 1 août 2025See mathematician Michel van Garrel talking about how our latest Gemini Deep Think model was able to prove a conjecture using a very different approach than he was considering.
-

Gemini Deep Think Now Available for AI Ultra Subscribers
By
–
Starting today, we're offering Deep Think in the Gemini app for Google AI Ultra subscribers, and we're giving a collection of mathematicians access to the full version of the Gemini 2.5 Deep Think model that achieved gold medal level performance in the recent IMO competition.
-

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
By
–
Seed-Prover Deep and Broad Reasoning for Automated Theorem Proving
-

Gemini Deep Think Model Launches with IMO Gold Medal Achievement
By
–
The Gemini Deep Think model that achieved IMO gold medal 🥇 is launched! This is a general purpose model that is not only SOTA at math/proofs but also reasoning, code and many others! 🔥
— Yi Tay (@YiTayML) 1 août 2025
The exact config that achieved IMO gold with scaled up Deep Think is being made available… https://t.co/7Ol5iZQN3lThe Gemini Deep Think model that achieved IMO gold medal is launched! This is a general purpose model that is not only SOTA at math/proofs but also reasoning, code and many others! The exact config that achieved IMO gold with scaled up Deep Think is being made available
-

GPT-5 Experimental Techniques and DeepResearch Success
By
–
That's huge. GPT-5 will use new “experimental” and “research techniques” that will also appear in future models. DeepReserach, which was only released at the beginning of the year, has been a huge success to date. When I want to do a deeper analysis of something important, I
