lalit
@stochasticlalit
Followers
224
Following
477
Media
10
Statuses
110
Working on LLM's and Reasoning at Google. Professor at the University of Washington, Machine Learning Researcher, Mathematician.
Joined January 2021
New research paper with Anthropic and Thinking Machines AI companies use model specifications to define desirable behaviors during training. Are model specs clearly expressing what we want models to do? And do different frontier models have different personalities? We generated
60
176
1K
It was amazing to be a core contributor to this Gold-winning ICPC effort. First the IMO, and two months later ICPC! The reasoning capabilities of foundation models continue to grow at breakneck speed and I can't wait to see what they do next.
An advanced version of Gemini 2.5 Deep Think has achieved gold-medal level performance at the ICPC 2025 - one of the world’s most prestigious programming contests. 🏅 Building on the model's success in math at the IMO, this marks another historic milestone for advanced AI. 🧵
0
3
9
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
34
42
544
One word: relentless. just in the past two weeks, we’ve shipped: 🌐 Genie 3 - the most advanced world simulator ever 🤔 Gemini 2.5 Pro Deep Think available to Ultra subs 🎓 Gemini Pro free for uni students & $1B for US ed 🌍 AlphaEarth - a geospatial model of the entire planet
503
973
10K
We are excited to release Gemini 2.5 DeepThink to Ultra subscribers today. It’s a faster version of the model that won IMO gold. It’s especially useful for hard tasks that require significant thinking and creativity. It shines on hard benchmarks like HLE and LCBv6. Enjoy!
For researchers, scientists, and academics tackling hard problems: Gemini 2.5 Deep Think is here. 🤯 It doesn't just answer, it brainstorms using parallel thinking and reinforcement learning techniques. We put it into the hands of mathematicians who explored what it can do ↓
11
13
135
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! 🔥 The exact config that achieved IMO gold with scaled up Deep Think is being made available
We’re bringing a version of Deep Think that achieved gold-medal status at IMO to Ultra subscribers in the @Geminiapp (+ the official version is now in the hands of mathematicians). Toggle it on when reasoning through complex scientific literature, tackling a coding problem that
18
35
420
Right before #imo2025, together with colleagues from Mountain View, NYC, Singapore, etc, we all gathered at @GoogleDeepMind headquarter in London for our final push for IMO. I believe that week was when all magic happened! We put all individual recipes (that we figured out
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
24
41
551
Our IMO gold model is not just an "experimental reasoning" model. It is way more general purpose than anyone would have expected. This general deep think model is going to be shipped so stay tuned! 🔥
53
91
1K
So happy to see this incredible achievement. Huge congrats to @lmthang, @quocleix, @YiTayML and the IMO team on the result. This was a great collaboration across teams to build a general Gemini DeepThink model that can also get gold at IMO.
Official results are in - Gemini achieved gold-medal level in the International Mathematical Olympiad! 🏆 An advanced version was able to solve 5 out of 6 problems. Incredible progress - huge congrats to @lmthang and the team!
3
15
257
Our Gemini model just won a gold medal at the IMO 2025. It’s a massive milestone for AI, and I’m so proud to have played a part. My work focused on i) Post Training the core model that was used in the IMO effort and ii) inference-time scaling, which was a significant factor in
An advanced version of Gemini with Deep Think has officially achieved gold medal-level performance at the International Mathematical Olympiad. 🥇 It solved 5️⃣ out of 6️⃣ exceptionally difficult problems, involving algebra, combinatorics, geometry and number theory. Here’s how 🧵
2
9
66
Proud to announce an official Gold Medal at #IMO2025🥇 The IMO committee has certified the result from our general-purpose Gemini system—a landmark moment for our team and for the future of AI reasoning. https://t.co/QgbfHL5X15 (1/n) Highlights in thread:
deepmind.google
The International Mathematical Olympiad (“IMO”) is the world’s most prestigious competition for young mathematicians, and has been held annually since 1959. Each country taking part is represented by…
13
35
332
IMO 🥇achieved! Really proud to have contributed to the post-training and thinking side of this model! Getting closer to ASI!
An advanced version of Gemini with Deep Think has officially achieved gold medal-level performance at the International Mathematical Olympiad. 🥇 It solved 5️⃣ out of 6️⃣ exceptionally difficult problems, involving algebra, combinatorics, geometry and number theory. Here’s how 🧵
5
7
192
Thang did a lot of heavy lifting of this work, thank you!
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
0
1
4
Was amazing to have been roped in this effort by @lmthang and @quocleix. Also shoutout to my co-captains @jon_lee0 @NateKushman and pol. @DawsenHwang who was the real hero behind the scenes.
4
2
39
Amazing to work closely with @mirrokni @MaxSonate @lmthang @JiemingMao @vincentcohenadded @vinayramasesh @BlackHC @WLicoln @gjb_ai @zuza777 and so many more!
1
0
6
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
Super thrilled to share that our AI has has now reached silver medalist level in Math at #imo2024 (1 point away from 🥇)! Since Jan, we now not only have a much stronger version of #AlphaGeometry, but also an entirely new system called #AlphaProof, capable of solving many more
79
231
2K
It was amazing to be part of this effort. Huge shout out to the team, and all the incredible pre-training and post-training efforts that ensure Gemini is the leading frontier model! https://t.co/KUHpY8y1qL
deepmind.google
The International Mathematical Olympiad (“IMO”) is the world’s most prestigious competition for young mathematicians, and has been held annually since 1959. Each country taking part is represented by…
2
8
29
LLMs for IMO 2025: gemini-2.5-pro (31.55%), o3 high (16.67%), Grok 4 (11.90%). https://t.co/MoaRJgBeN1
27
89
998
Please retweet. I need help getting to deaf & insensitive ears. @NJDPB illegally terminated my chronically ill wife's insurance on Aug 31st for lack of her SSN on file. Her quality of life relies on a constant medical attention, including her neurologist appointment tomorrow.
4
30
51