
Международная мотоспортивная конференция 2025 года (IMO 2025) проходила с 10 по 20 июля на Солнечном побережье, Квинсленд, Австралия, и в ней приняли участие 630 человек. Из них 67 (примерно 11%) завоевали золотые медали. Тот факт, что AI также добилась подобного успеха, является исторической вехой.
В этом году конкурс IMO впервые официально сотрудничает с несколькими разработчиками ИИ. Судьи IMO подтвердили результаты, полученные от компаний-партнеров, включая Google, и потребовали опубликовать результаты к 28 июля.
Однако окончательные результаты показали, что даже самые передовые и современные машины были побеждены самыми талантливыми подростками мира .
Последняя стена человечества?
Известный своей сложностью экзамен IMO проводится в течение двух дней. Каждый день студенты должны решить три задачи, сложность которых постепенно возрастает, за чуть более чем четыре часа. Задания охватывают алгебру, геометрию, теорию чисел и комбинаторику.
Из-за своей сложности и нетрадиционности ежегодный тест по математике стал полезным инструментом для измерения прогресса в области искусственного интеллекта из года в год. В эту эпоху стремительного развития ведущие исследовательские лаборатории мечтают о том дне, когда их системы станут достаточно мощными, чтобы претендовать на золотую медаль Международной математической олимпиады.
Хотя эта цель была достигнута, когда Google и OpenAI завоевали золотые медали в области искусственного интеллекта, примечательно, что 26 студентов показали более высокие результаты.
Среди них четыре звезды из американской команды, включая двукратного золотого медалиста Цяо Чжана и Александра Вана, который принес Нью-Джерси третью подряд золотую медаль. Благодаря этому достижению Ван стал одним из самых выдающихся молодых математиков всех времен и может завоевать еще одну золотую медаль на Международной математической олимпиаде в следующем году.
![]() |
Команда США на Международной математической олимпиаде 2025 года. Фото: WSJ. |
В интервью WSJ Чжан рассказал, что больше всего времени на экзамене он потратил на задачу номер 6. Это заведомо сложная комбинаторная задача, относящаяся к разделу математики, включающему подсчет, сортировку и объединение отдельных объектов.
Для решения этой проблемы необходимы изобретательность, креативность и интуиция, которыми могут обладать люди, но не машины, или, по крайней мере, пока не могут. «Я бы, честно говоря, немного испугался, если бы модели ИИ смогли решить проблему № 6», — сказал Чжан.
Задача номер 6 поставила в тупик модели DeepMind и OpenAI, но трудности испытывал не только ИИ. Из 630 участников 569 также получили 0 баллов. Только 6 получили идеальный результат в 7 баллов. Чжан, гордящийся своим частичным решением, заработал 4 балла, больше, чем большинство других участников.
В связи с непрерывным развитием искусственного интеллекта многие предполагают, что он может «уничтожать» человечество в математике. Однако Джунхёк Чонг с этим не согласен.
Бывший золотой медалист Международной математической олимпиады (IMO), Юнг в настоящее время является доцентом Брауновского университета и приглашенным научным сотрудником DeepMind. Однако он не считает, что это последняя битва человечества. По мнению Юнга, такие проблемы, как «Проблема 6», будут продолжать беспокоить ИИ как минимум еще десятилетие.
«Есть вещи, которые ИИ будет делать очень хорошо. Однако останутся и такие вещи, которые люди смогут делать лучше», — заметил Юнг.
Гонка за золотыми медалями в математике
В 2021 году студент Александр Вэй участвовал в исследовательском проекте, в рамках которого ему было поручено спрогнозировать математические возможности ИИ к июлю 2025 года. Рассмотрев другие прогнозы, Вэй посчитал этот слишком оптимистичным.
Однако этот бывший студент теперь является живым доказательством того, насколько он ошибался. Вэй — научный сотрудник , возглавлявший проект IMO в OpenAI. Еще более впечатляет то, как им это удалось.
Результаты IMO 2025 были названы крупным прорывом не только компанией OpenAI, но и Google. В 2024 году для математического доказательства моделей ИИ требовалось переводить задачи на языки программирования.
Всего за один год эти системы работали исключительно на «естественном языке» без какого-либо вмешательства человека. DeepMind также завершила экзамен в рамках установленного IMO лимита времени в 4,5 часа. Для сравнения, в 2024 году этой системе потребовалось несколько дней для вычисления решения.
Многие могут воспринимать ИИ как конкурента. Однако те, кто разрабатывает модели, рассматривают их как взаимодополняющие инструменты.
![]() |
Итоговые результаты Международной математической олимпиады 2025 года. Фото: WSJ. |
«Это потенциально может стать новым компьютером, который даст толчок развитию следующего поколения математиков», — сказал доктор Луонг Минь Тханг, старший научный сотрудник Google (США).
Три недели назад команда доктора Минь Тханга успешно разработала AlphaGeometry 2. Наиболее примечательной особенностью этой версии является ее способность решать геометрические задачи, превосходящие задачи золотых медалистов Международной математической олимпиады (ИМО).
«Если студенты, обладающие навыками, достойными золотых медалей Международной Олимпиады по геометрии, могут решить 40 из 50 задач, то AlphaGeometry 2 сможет решить 42 из 50 задач» , — с радостью поделился доктор Тханг.
В прошлом году эта модель завоевала лишь серебряную медаль. В этом году Google использует многоцелевую модель Gemini Deep Think (версия, которая ранее была представлена на конференции разработчиков в мае).
Примечательно, что, по данным WSJ , до начала соревнований команда доктора Танга все еще вносила корректировки. Изначально доктор Тханг ожидал, что модель DeepMind решит все три задачи только в первый день.
Простота, элегантность и удивительная читаемость этих решений поразили математиков. На следующий день, как только Тханг и его коллеги обнаружили, что система искусственного интеллекта решила еще две задачи, они поняли, что вполне могут завоевать золотую медаль.
В результате ИИ DeepMind успешно решил 5 из 6 задач. Примечательно, что во всех случаях использовались модели эмпирического рассуждения, обрабатывающие математические понятия с помощью естественного языка, что резко контрастирует со сложными подходами, ранее применявшимися компаниями, занимающимися ИИ.
Источник: https://znews.vn/nhung-nguoi-thong-minh-hon-ai-post1572367.html










Комментарий (0)