Welcome to the TechMean Right Home for Tuesday, July 22nd, 2025. I'm Brian McCullough today.

Well, just like that, AI's winning the Math Olympiad is commonplace. Is Stargate struggling to get off the ground, or is Sam Maltman just going to do Stargate on his own without Musa Sahn?

The AI company whose stated mission was to do AI ethically explains why it

needs to get its hands dirty. And even if AI isn't making scientific breakthroughs yet, there are

signs that it is starting to shake things up nonetheless. Here's what you miss today in the world of

tech. Hmm, maybe this was an advance whose time had just come.

Google says an advanced version of Gemini with DeepThink also won gold at the International

Mathematical Olympiad, solving five of six exceptionally difficult problems, quoting TechCrunch.

The results underscore just how fast AI systems

are advancing and yet how evenly matched Google and OpenAI seem to be in the AI race.

AI companies are competing fiercely for the public perception of being ahead in the AI race,

an intangible battle of vibes that can have big implications for securing top AI talent. A lot of AI

researchers come from backgrounds in competitive math, so benchmarks like IMO mean more than others.

Last year, Google scored a silver medal at IMO using a formal system, meaning it required

humans to translate problems into a machine-readable format.

This year, both OpenAI and Google entered informal systems into the competition, which were

able to ingest questions and generate proof-based answers in natural language.

Both companies claim their AI models correctly answered five out of six questions on IMO's

tests, scoring higher than most high school students

and Google's AI model from last year without requiring any human machine translation.

In interviews with TechCrunch, researchers behind OpenAI and Google's IMO efforts

claimed that these gold medal performances represent breakthroughs around AI reasoning models

...