Felicitări echipei GDM pentru rezultatul IMO! Cred că succesul lor paralel evidențiază cât de rapid este progresul AI. Abordarea lor a fost puțin diferită de a noastră, dar cred că asta arată că există multe direcții de cercetare pentru progrese ulterioare. Câteva gânduri despre modelul și rezultatele 🧵 noastre

~ 2 luni în urmă, IMO ne-a trimis un e-mail despre participarea la o versiune formală (Lean) a IMO. Ne-am concentrat pe raționamentul general în limbaj natural fără constrângerile Lean, așa că am refuzat. Nu am fost niciodată abordați cu privire la o opțiune de matematică în limbaj natural.

În ultimele luni, am făcut multe progrese în raționamentul general. Aceasta a implicat colectarea, organizarea și instruirea pe date matematice de înaltă calitate, care vor intra și în modelele viitoare. În evaluarea noastră IMO nu am folosit RAG sau alte instrumente.

Înainte de a împărtăși rezultatele, am vorbit cu un membru al consiliului IMO, care ne-a cerut să așteptăm până după ceremonia de premiere pentru a o face publică, o cerere pe care am onorat-o cu bucurie.

Am anunțat la ~1 a.m. PT (6 p.m. AEST), după încheierea ceremoniei de premiere. În niciun moment nimeni nu ne-a cerut să anunțăm mai târziu.

Mai mult decât orice, suntem încântați să împărtășim progresul și rezultatele noastre cu lumea. Capacitățile de raționament AI progresează rapid, iar aceste rezultate IMO arată cu adevărat acest lucru.