lalit
@stochasticlalit
Working on LLM's and Reasoning at Google. Professor at the University of Washington, Machine Learning Researcher, Mathematician.
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…
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! 🔥
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.
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! deepmind.google/discover/blog/…
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 🧵
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. deepmind.google/discover/blog/… (1/n) Highlights in thread:
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 🧵
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…
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.
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…
LLMs for IMO 2025: gemini-2.5-pro (31.55%), o3 high (16.67%), Grok 4 (11.90%). matharena.ai
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.
Happy to share our work on humor in AI was accepted at #NeurIPS2024 D&B track with spotlight. @stochasticlalit will be presenting in person. Feel free to reach out!
Sorry for raining on o1’s parade, but the more we train LLMs, the worse they get on generating and understanding captions for the New Yorker cartoons. 🧵on our latest study on humor in AI: •Large gap between AI & top human submissions •Dataset with 250M+ human ratings •New…
Excited to share our multi year effort on collecting crowd ratings for the New Yorker Cartoon Caption Contest! In this work with @jifan_zhang, @rdnowak and the rest of the team at multiple UW's, we investigate how well LLMs can evaluate and generate humor.
Sorry for raining on o1’s parade, but the more we train LLMs, the worse they get on generating and understanding captions for the New Yorker cartoons. 🧵on our latest study on humor in AI: •Large gap between AI & top human submissions •Dataset with 250M+ human ratings •New…
Violently arresting your own faculty on campus, for no reason, is not a sign of a free thinking university.
It is worth watching this CNN video from the moment Emory Econ Professor @CarolineFohlin came across the violent arrest of a protester on campus and asked the police, with shock, "What are you doing?" That's all that prompted an officer to hurl her to the ground and handcuff her.