Gratulerer til GDM-teamet med IMO-resultatet! Jeg tror deres parallelle suksess fremhever hvor rask AI-fremgang er. Deres tilnærming var litt annerledes enn vår, men jeg tror det viser at det er mange forskningsretninger for videre fremgang. Noen tanker om vår modell og resultater 🧵

For ~2 måneder siden sendte IMO oss en e-post om å delta i en formell (Lean) versjon av IMO. Vi har vært fokusert på generell resonnement i naturlig språk uten begrensningene til Lean, så vi avslo. Vi ble aldri kontaktet om et matematisk alternativ med naturlig språk.

I løpet av de siste månedene har vi gjort store fremskritt med generell resonnement. Dette innebar innsamling, kuratering og trening på matematiske data av høy kvalitet, som også vil gå inn i fremtidige modeller. I vår IMO-evaluering brukte vi ikke RAG eller noen verktøy.

Før vi delte resultatene våre, snakket vi med et IMO-styremedlem, som ba oss vente til etter prisutdelingen med å offentliggjøre den, en forespørsel vi med glede respekterte.

Vi kunngjorde klokken ~1 PT (6 AEST), etter at prisutdelingen var avsluttet. Ikke på noe tidspunkt ba noen om at vi kunngjorde senere enn det.

Mer enn noe annet er vi glade for å dele fremgangen og resultatene våre med verden. AI-resonneringsevner utvikler seg raskt, og disse IMO-resultatene viser det virkelig.