Вітаємо команду GDM з результатом на IMO! Я думаю, що їхній паралельний успіх підкреслює, наскільки швидким є прогрес штучного інтелекту. Їхній підхід дещо відрізнявся від нашого, але я думаю, що це свідчить про те, що є багато напрямків досліджень для подальшого прогресу. Кілька думок про нашу модель та результати 🧵

~2 місяці тому IMO надіслала нам електронного листа про участь у формальній (Lean) версії IMO. Ми були зосереджені на загальних міркуваннях на природній мові без обмежень Lean, тому ми відмовилися. До нас ніколи не зверталися з приводу варіанту математики з природної мови.

За останні кілька місяців ми досягли значного прогресу в загальних міркуваннях. Це включало збір, кураторство та навчання на високоякісних математичних даних, які також увійдуть у майбутні моделі. У нашому IMO eval ми не використовували RAG або будь-які інструменти.

Перш ніж поділитися нашими результатами, ми поговорили з членом правління IMO, який попросив нас зачекати до закінчення церемонії нагородження, щоб оприлюднити це прохання, і ми з радістю виконали це прохання.

Ми оголосили про це о ~1 годині ночі за тихоокеанським часом (6 вечора за східним часом), після завершення церемонії нагородження. У жодному разі ніхто не просив, щоб ми оголосили про це пізніше.

Більш за все, ми раді поділитися своїми досягненнями та результатами зі світом. Можливості міркувань штучного інтелекту швидко прогресують, і ці результати IMO дійсно це показують.