Слышали ли вы про

Слышали ли вы про Alex Gerko? Это британский (С) математик российского происхождения, выпускник МГУ.

В 2015м году он основал трейдинговую компанию XTX Markets, и сейчас его состояние оценивается в более чем $11B. В начале 2023го года было посчитано, что он является крупнейшим налогоплательщиком Великобритании

🤔 неплохо торгует, в общем.

И вот для того, чтобы заработать бабок (нахайрить лучших специалистов) подстегнуть прогресс AI в математике, он, совместно с организаторами Международной Олимпиадой по Математике (International Mathematical Olympiad, IMO), спонсирует конкурс AIMOPrize с бюджетом $10M.

Для участия в конкурсе надо сделать открытую и общедоступную модель (в OpenAI растерялись

😣), которая сможет выиграть золотую медаль на официальной олимпиаде. Решения на основе GPT-4 не подходят!

Список мероприятий, подходящих под критерии, будет опубликован позже — в первых месяцах 2024го года.

Модель, при этом, должна принимать задачи в том же виде, что и человек (полагаю, изображение + текст), и выдавать человекочитаемое решение. Про ограничения на время и ресурсы пока ни слова, но кажется логичным, что нужно какие-то вменяемые рамки задать.

А на 65й IMO (пройдет в июле 2024го) будет секция с обзором прогресса соревнования. Как думаете, к тому моменту сорвут главный куш, или пока рановато? Какая-нибудь упоротая команда из Google DepMind или Facebook AI Research может в такие сроки забустить качество текущих моделей до требуемой планки? Или нет?