Какой дикий уикенд с AI и IMO. Оглядываясь на последние 3 дня, я стал свидетелем: > Пятница, после обеда: утечка информации о том, что DeepMind выиграл золото > Суббота, 1:00: OpenAI опередил официальное объявление, перехватив внимание > Сначала думал, что Google просто медлит из-за маркетингового одобрения > Затем услышал от людей из Google, что IMO и они сами нуждались в дополнительном времени для проверки > Оказалось, что OpenAI даже не привлекал IMO официально > Понедельник: DeepMind подтвердил свое золото с более чистыми и эстетичными ответами, полностью проверенными IMO Было весело быть первым, кто поделился новостью в X в прошлую пятницу. Какой дикий уикенд! Шутки в сторону, вокруг математики AI в последнее время много шума, но нам нужно больше строгости и стандартизации. Как указал Терренс Тао, даже если результаты выглядят похоже, различия в формате тестирования могут иметь огромное значение. Мы все еще далеки от наличия четких, последовательных стандартов и сообщений в исследовании AI. Если мы хотим значительного прогресса, пришло время сообществу проявить инициативу. Давайте создадим эталоны, которым мы все можем доверять.