We zouden wel eens op weg kunnen zijn naar een plotwending in de OpenAI vs. DeepMind IMO-saga. Ik zag net een bericht van Joseph Myers (betrokken bij de Wiskunde Olympiade sinds 1992): de IMO-commissie heeft naar verluidt AI-laboratoria gevraagd om resultaten niet te publiceren tot 7 dagen na de sluitingsceremonie — uit respect voor menselijke deelnemers (zie mijn bericht van gisteren) en waarschijnlijk om tijd te geven voor een goede verificatie van AI-indieningen en -formaten. Volgens Joseph heeft OpenAI niet samengewerkt met de IMO om hun model te testen, en geen van de 91 officiële IMO-coördinatoren was betrokken bij het beoordelen van de oplossingen. Ondertussen lijkt het erop dat DeepMind de regels volgt en geduldig op hun beurt wacht. Voor de context: De IMO heeft 6 problemen, elk goed voor 7 punten. De gouden grens dit jaar is 35 punten. Zelfs een kleine aftrek zou OpenAI naar zilver kunnen duwen. En uit mijn lezing van hun verslagen, kunnen sommige delen vragen oproepen — en mogelijk punten kosten. Terence Tao wees ook op het feit dat hoewel de problemen hetzelfde blijven, testformaten belangrijk zijn. Een student die onder standaardomstandigheden geen brons zou behalen, zou goud kunnen behalen met een aangepast opzet — wat echte vragen oproept over wat "het oplossen van de IMO" betekent voor AI. Volgende week zou het spannend kunnen worden. Blijf op de hoogte.

DeepMind heeft vrijdagmiddag een gouden medaille gewonnen op de IMO. Maar ze moesten wachten op goedkeuring van marketing voor de tweet — tot maandag. @OpenAI deelde de hunne als eerste om 1 uur 's nachts op zaterdag en stal de show. In dit spel is snelheid > bureaucratie. Mis het moment, verlies het verhaal.

Slechts 20 minuten geleden werd het resultaat van de 2025 IMO bekendgemaakt. China stond op nummer 1 en @GoogleDeepMind won een gouden medaille 🥇 Toekomstige wiskundewedstrijden zullen zijn: het team van China tegen het Chinese team van de VS tegen AI.

Naarmate AI-modellen groeien, wordt het optimaliseren voor FLOPS/$ (rekenkracht per dollar) cruciaal. Bekijk hieronder hoe Hyperbolic uw GPU-kosten kan optimaliseren 🧵

Wat vind je van dit billboard idee voor Hyperbolic?

We hebben zojuist onze Reserved GPUs Instant Quote gelanceerd: perfect voor AI-teams die langere tijd behoefte hebben aan dedicated rekenkracht. Krijg directe prijsinformatie voor jouw exacte infrastructuurbehoeften direct in onze app!

Net van mijn werk gekomen en heb Grok-4 geprobeerd op een onderbouw topologieprobleem. Het duurde 9 minuten om na te denken en toen gaf het zelfverzekerd een schoon, plausibel, maar totaal verkeerd antwoord 😅 Denk niet dat dit kwalificeert als "vaardig vijandig." AI-modellen verpletteren benchmarks — maar er is nog een lange weg te gaan voor echte wiskundige AGI.

Grok heeft een volle score behaald op AIME 🤯 We hebben nu zeker een betere wiskundige benchmark voor AI nodig.

Het beste open-source redeneer model zal volgende donderdag worden gelanceerd als alles goed gaat. OpenAI heeft sinds GPT-2 in 2019 geen LLM meer open-source gemaakt, dus ik ben enthousiast. We hosten het op Hyperbolic. Maak je klaar.

De toekomst van AI is collaboratief