Vilken vild helg om AI och IMO. När jag ser tillbaka på de senaste 3 dagarna bevittnade jag: > fredagseftermiddagen: läckt information om att DeepMind vunnit guld > lördag 01:00: OpenAI körde det officiella tillkännagivandet i förväg och stal rampljuset > Trodde till en början att Google bara var långsamt på grund av marknadsföringsgodkännande > Hörde sedan från Google-folket att IMO och de själva behövde extra tid för verifiering > Det visar sig att OpenAI inte ens involverade IMO officiellt > måndag: DeepMind bekräftade sitt guld med renare och mer estetiska svar, fullt verifierade av IMO Det var kul att vara först med att dela med sig av nyheten på X i fredags. Vilken vild helg! Skämt åsido, det finns en hel del hype kring matematisk AI på sistone, men vad vi behöver mer av är noggrannhet och standardisering. Som Terence Tao påpekade, även om resultaten ser likadana ut, kan skillnader i testformat göra en värld av skillnad. Vi är fortfarande långt ifrån att ha tydliga, konsekventa standarder och budskap inom AI-forskning. Om vi vill ha meningsfulla framsteg är det dags för samhället att kliva fram. Låt oss bygga riktmärken som vi alla kan lita på.

DeepMind fick en guldmedalj på IMO på fredagseftermiddagen. Men de fick vänta på att marknadsföringen skulle godkänna tweeten – till måndag. @OpenAI delade med sig av sin första vid 01-tiden på lördagen och stal rampljuset. I det här spelet > snabbhet byråkrati. Missa ögonblicket, förlora berättelsen.

För bara 20 minuter sedan var resultatet av 2025 IMO ute. Kina rankades som nummer 1 och @GoogleDeepMind vann en guldmedalj 🥇 Framtida matematiktävlingar kommer att vara Kinas lag mot USA: Kinesiskt lag vs AI

I takt med att AI-modellerna växer blir det avgörande att optimera för FLOPS/$ (datorkraft per dollar). Se hur Hyperbolic kan optimera dina GPU-kostnader nedan 🧵

Vad tycker du om den här skyltidén för Hyperbolic?

Vi har precis lanserat vår Instant Quote för reserverade GPU:er: perfekt för AI-team som behöver dedikerad beräkning under längre perioder. Få omedelbara priser för dina exakta infrastrukturbehov direkt i vår app!

Har precis slutat jobbet och provat Grok-4 på ett grundutbildning topologi problem. Det tog 9 minuter att tänka och sedan gav jag självsäkert ett rent, plausibelt, men helt felaktigt svar 😅 Tro inte att den här kvalificerar sig som "skickligt kontradiktorisk". AI-modeller krossar riktmärken – men ligger fortfarande långt fram för verklig matematisk AGI.

Grok fick full poäng på AIME 🤯 Vi behöver definitivt ett bättre matematiskt riktmärke för AI nu

Den bästa resonemangsmodellen med öppen källkod kommer att släppas nästa torsdag om allt går bra. OpenAI har inte öppen källkod för en LLM sedan GPT-2 2019, så jag är glad. Vi är värd för det på Hyperbolic. Spänn fast dig.

Framtiden för AI är kollaborativ