Gratulujeme týmu GDM k jejich výsledku IMO! Myslím, že jejich paralelní úspěch ukazuje, jak rychlý je pokrok v oblasti umělé inteligence. Jejich přístup byl trochu odlišný od našeho, ale myslím, že to ukazuje, že existuje mnoho směrů výzkumu pro další pokrok. Několik myšlenek o našem modelu a výsledcích 🧵

~Před 2 měsíci nám IMO poslala e-mail o účasti ve formální (Lean) verzi IMO. Zaměřovali jsme se na obecné uvažování v přirozeném jazyce bez omezení Leanu, takže jsme to odmítli. Nikdy jsme nebyli osloveni ohledně možnosti matematiky v přirozeném jazyce.

Během posledních několika měsíců jsme dosáhli velkého pokroku v obecném uvažování. To zahrnovalo shromažďování, kurátorství a školení na vysoce kvalitních matematických datech, která budou také použita v budoucích modelech. V našem IMO hodnocení jsme nepoužívali RAG ani žádné nástroje.

Než jsme se podělili o naše výsledky, mluvili jsme s členem představenstva IMO, který nás požádal, abychom s jejich zveřejněním počkali až po slavnostním ceremoniálu, což byl požadavek, kterému jsme s radostí vyhověli.

Oznámili jsme to v ~1 hodinu PT (18 hodin AEST), po skončení slavnostního ceremoniálu. V žádném okamžiku nikdo nepožadoval, abychom to oznámili později.

Více než cokoli jiného jsme nadšeni, že se můžeme se světem podělit o náš pokrok a výsledky. Schopnosti uvažování pomocí umělé inteligence se rychle rozvíjejí a tyto výsledky IMO to skutečně ukazují.