Всего 20 минут назад был опубликован результат IMO 2025. Китай занял 1-е место, а @GoogleDeepMind выиграл золотую медаль 🥇 Будущие математические соревнования будут между командой Китая и командой США, состоящей из китайцев, против ИИ.

Мы, возможно, движемся к неожиданному повороту в саге OpenAI против DeepMind на IMO. Только что увидел пост от Джозефа Майерса (участвует в Олимпиаде по математике с 1992 года): комитет IMO, по сообщениям, попросил лаборатории ИИ не публиковать результаты до 7 дней после закрытия церемонии — из уважения к участникам-людям (см. мой пост вчера) и, вероятно, чтобы дать время на надлежащую проверку поданных ИИ решений и форматов. По словам Джозефа, OpenAI не сотрудничала с IMO для тестирования своей модели, и ни один из 91 официальных координаторов IMO не участвовал в оценке ее решений. Тем временем, похоже, что DeepMind соблюдает правила и терпеливо ждет своей очереди. Для контекста: В IMO 6 задач, каждая стоит 7 баллов. В этом году золотой порог составляет 35 баллов. Даже небольшое снижение может сбросить OpenAI до серебра. И, судя по их отчетам, некоторые части могут вызвать вопросы — и, возможно, стоить баллов. Теренс Тао также отметил, что хотя задачи остаются прежними, форматы тестирования имеют значение. Студент, который не получил бы бронзу в стандартных условиях, может получить золото с измененной настройкой — что поднимает реальные вопросы о том, что значит "решить IMO" для ИИ. На следующей неделе может быть интересно. Оставайтесь с нами.