Vi kan være på vei inn i en plottvri i OpenAI vs. DeepMind IMO-sagaen. Så nettopp et innlegg fra Joseph Myers (involvert i matematikkolympiaden siden 1992): IMO-komiteen skal ha bedt AI-laboratorier om ikke å publisere resultater før 7 dager etter avslutningsseremonien – av respekt for menneskelige deltakere (se innlegget mitt i går) og sannsynligvis for å gi tid til riktig verifisering av AI-innsendinger og formater. Ifølge Joseph samarbeidet ikke OpenAI med IMO for å teste modellen deres, og ingen av de 91 offisielle IMO-koordinatorene var involvert i å gradere løsningene. I mellomtiden ser det ut til at DeepMind følger reglene og tålmodig venter på sin tur. For kontekst: IMO har 6 problemer, hver verdt 7 poeng. Årets gullgrense er 35 poeng. Selv et lite fradrag kan slå OpenAI ned til sølv. Og fra min lesning av deres skriverier, kan noen deler reise spørsmål - og muligens koste poeng. Terence Tao påpekte også at selv om problemene forblir de samme, er testformater viktige. En student som ikke ville fått en bronse under standardforhold, kan finne gull med et modifisert oppsett – noe som reiser reelle spørsmål om hva «å løse IMO» betyr for AI. Neste uke kan bli krydret. Følg med.

DeepMind fikk en gullmedalje på IMO fredag ettermiddag. Men de måtte vente på at markedsføringen skulle godkjenne tweeten – til mandag. @OpenAI delte sin første klokken 1 på lørdag og stjal rampelyset. I dette spillet > fart byråkrati. Gå glipp av øyeblikket, mist fortellingen.

For bare 20 minutter siden var resultatet av 2025 IMO ute. Kina rangert som nr.1 og @GoogleDeepMind vant en gullmedalje 🥇 Fremtidige matematikkkonkurranser vil være Kina-lag vs USAs kinesiske lag vs AI

Etter hvert som AI-modeller vokser, blir optimalisering for FLOPS/$ (datakraft per dollar) avgjørende. Se hvordan Hyperbolic kan optimalisere GPU-kostnadene dine nedenfor 🧵

Hva synes du om denne reklametavleideen for Hyperbolic?

Vi har nettopp lansert vårt øyeblikkelige tilbud på reserverte GPU-er: perfekt for AI-team som trenger dedikert databehandling i lengre perioder. Få øyeblikkelig pris for dine eksakte infrastrukturbehov rett i appen vår!

Har nettopp fått fri fra jobb og prøvd Grok-4 på et topologiproblem. Det tok 9 minutter å tenke og ga deretter selvsikkert et rent, plausibelt, men helt feil svar 😅 Ikke tro at denne kvalifiserer som «dyktig fiendtlig». AI-modeller knuser benchmarks – men fortsatt en lang vei frem for ekte matematikk-AGI.

Grok fikk full poengsum på AIME 🤯 Vi trenger definitivt en bedre matematisk benchmark for AI nå

Den beste resonneringsmodellen med åpen kildekode vil bli droppet neste torsdag hvis alt går bra. OpenAI har ikke åpen kildekode en LLM siden GPT-2 i 2019, så jeg er spent. Vi er vert for det på Hyperbolic. Spenn deg fast.

Fremtiden for AI er samarbeid