@alexwei_ kan du fortelle verden hvor mange tokens per problem?

For å oppsummere denne uken: - Vi lanserte datamaskiner for generell bruk ved hjelp av agent - Ble slått av et enkelt menneske i ATCODER-heuristikkkonkurransen - løste 5/6 nye IMO-problemer med naturlig språkbevis Alle disse er basert på det samme ene forsterkende læringssystemet

17 millioner amerikanske tenåringer klasse 9-12, ~5 amerikanske IMO-gull i praksis, men ~20 barn på gullnivå. Så IMO-gull er ett av en million mattetalent (for 18-åringer; men jeg vedder på at neste Putnam også faller). 99,9999. persentil.

Hvorfor er jeg begeistret for IMO-resultatene vi nettopp publiserte: - vi gjorde veldig lite IMO-spesifikt arbeid, vi fortsetter bare å trene generelle modeller - alle bevis på naturlig språk - ingen evalueringssele Vi trengte et nytt forskningsgjennombrudd og @alexwei_ og teamet leverte

Hvis du hevder å ha sett dette komme, bør du ha mangfoldig P&L for å sikkerhetskopiere det

LLM-er er fortsatt undervurdert

Jeg føler at dette kan være nyttig for noen av dere i dag:

Vi ser mye raskere AI-fremgang enn **Paul Christiano** og **Yudkowsky** spådde, som hadde gull i 2025 på henholdsvis 8 % og 16 %, ved metoder som er mer generelle enn forventet

nb dette ble tvitret 7 timer før OAI annonserte gullresultatet sitt

Det er sprøtt hvordan vi har gått fra 12 % på AIME (GPT 4o) → IMO-gull på ~ 15 måneder. Vi har kommet veldig langt, veldig raskt. Jeg ville ikke bli overrasket om modeller innen neste år vil utlede nye teoremer og bidra til original matematikkforskning!