We might be heading into a plot twist in the OpenAI vs. DeepMind IMO saga. Just saw a post from Joseph Myers (involved in the Math Olympiad since 1992): the IMO committee reportedly asked AI labs not to publish results until 7 days after the closing ceremony — out of respect for human contestants (see my post yesterday) and likely to allow time for proper verification of AI submissions and formats. According to Joseph, OpenAI didn’t collaborate with the IMO to test their model, and none of the 91 official IMO coordinators were involved in grading its solutions. Meanwhile, it seems DeepMind is following the rules and patiently waiting their turn. For context: The IMO has 6 problems, each worth 7 points. This year’s gold cutoff is 35 points. Even a small deduction could knock OpenAI down to silver. And from my read of their writeups, some parts might raise questions — and possibly cost points. Terence Tao also pointed out that while the problems stay the same, testing formats matter. A student who wouldn’t get a bronze under standard conditions might strike gold with a modified setup — which raises real questions about what “solving the IMO” means for AI. Next week might get spicy. Stay tuned.

DeepMind got a gold medal at the IMO on Friday afternoon. But they had to wait for marketing to approve the tweet — until Monday. @OpenAI shared theirs first at 1am on Saturday and stole the spotlight. In this game, speed > bureaucracy. Miss the moment, lose the narrative.

Just 20 minutes ago, the result of 2025 IMO was out. China ranked No.1 and @GoogleDeepMind won a gold medal 🥇 Future math competitions will be China team vs USA Chinese team vs AI

As AI models grow, optimizing for FLOPS/$ (computing power per dollar) becomes crucial. See how Hyperbolic can optimize your GPU costs below 🧵

What do you think about this billboard idea for Hyperbolic?

We've just launched our Reserved GPUs Instant Quote: perfect for AI teams needing dedicated compute for longer periods of time. Get instant pricing for your exact infrastructure needs right in our app!

Just got off work and tried Grok-4 on an undergrad topology problem. It took 9 minutes to think and then confidently gave a clean, plausible, but totally wrong answer 😅 Don’t think this one qualifies as “skillfully adversarial.” AI models are crushing benchmarks — but still a long way ahead for real math AGI.

Grok got full score on AIME 🤯 We definitely need a better math benchmark for AI now

The best open-source reasoning model will be dropped next Thursday if everything goes well. OpenAI hasn't open-sourced an LLM since GPT-2 in 2019, so I'm excited. We’re hosting it on Hyperbolic. Buckle up.

The future of AI is collaborative