yi
@agihippo
I'm a nice and friendly hippoty. SOTA at politeness
This is an account for my everyday life and potentially some fringe content about AI/tech. Will tweet at a higher frequency compared to my main acct. So follow only if you want to know more about my personal life, rants, whatever.. Also thanks to @agikoala for the great idea.
Tough look for OpenAI They've pissed off the international math community by jumping the gun, meanwhile @GoogleDeepMind has an officially-confirmed result that will be available commercially months earlier
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! 🔥
Mostafa (@m__dehghani) asked me: what is the secret sauce behind the IMO gold model? Me: the curry sauce in dishoom 😃 😃😂
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.
hippo at IMO: 0/42 model trained by hippo: 35/42 🥇 😂😂😂
First official Gold medal at IMO from DeepMind🥇 with Gemini Deep Think. A general purpose text-in text-out model achieving gold medal is something quite unthinkable just about one year ago and here we are! The frontier of AI is incredibly exciting! Happy to have co-led /…
So rude openai
🚨 According to a friend, the IMO asked AI companies not to steal the spotlight from kids and to wait a week after the closing ceremony to announce results. OpenAI announced the results BEFORE the closing ceremony. According to a Coordinator on Problem 6, the one problem OpenAI…
Yes, there is an official marking guideline from the IMO organizers which is not available externally. Without the evaluation based on that guideline, no medal claim can be made. With one point deducted, it is a Silver, not Gold.
🚨 According to a friend, the IMO asked AI companies not to steal the spotlight from kids and to wait a week after the closing ceremony to announce results. OpenAI announced the results BEFORE the closing ceremony. According to a Coordinator on Problem 6, the one problem OpenAI…
I haven't gotten so sick in a while. 39 degrees fever, blazing throat. I can't even survive trying to sleep that I need to find some melatonin to stop suffering in bed 🥲
Doing the right thing is important, even if you get penalized for it.
LLMs for IMO 2025: gemini-2.5-pro (31.55%), o3 high (16.67%), Grok 4 (11.90%). matharena.ai
On-policyness is power. Walk your own trajectories and don't imitate. Such a big fan of ML wisdom for the day to day life. 😃
Becoming an RL diehard in the past year and thinking about RL for most of my waking hours inadvertently taught me an important lesson about how to live my own life. One of the big concepts in RL is that you always want to be “on-policy”: instead of mimicking other people’s…