В июле 2026 года в Шанхае произошло то, о чем математики спорили уже два года: сообщалось, что системы искусственного интеллекта от Huawei и Xiaohongshu решили все шесть задач Международной математической олимпиады, что является идеальным достижением.
В июле 2026 года в Шанхае произошло то, о чем математики спорили уже два года: сообщалось, что системы искусственного интеллекта от Huawei и Xiaohongshu решили все шесть задач Международной математической олимпиады, то есть идеальные 42 из 42. Несколько других лабораторий сообщили о совпадающих результатах самостоятельно. Это последовало за прорывом 2025 года, когда Gemini Deep Think от Google DeepMind, официально оцененный координаторами IMO, и экспериментальная модель OpenAI достигли порога золотой медали 35/42.
В заголовках говорилось, что ИИ «победил» лучших в мире математиков-подростков. Я хочу рассказать вам, что на самом деле стоит за таким заголовком, не как журналист, а как человек, который провел последние несколько месяцев, создавая гораздо меньшую, гораздо менее гламурную версию именно такой системы.
Мой товарищ по команде Сэмюэл Кох и я приняли участие в AIMO3, третьей математической олимпиаде по искусственному интеллекту, проводимой на Kaggle. Мы набрали 42 балла из 50, заняв 495-е место из 4138 команд, входя в 12% лучших команд мира. Вот честная, непривлекательная история о том, как мы этого добились, что мы пробовали, но это не удалось, и как на самом деле выглядит готовая система под капотом.
Что такое AIMO на самом деле (и почему это не IMO)