Google опубликовала результаты ИИ, показывающие, что AlphaGeometry 2 компании достигла уровня учеников, завоевавших золотые медали на Международной математической олимпиаде.
Международная математическая олимпиада — ежегодное соревнование для талантливых учеников. Фото: Nature.com
С января 2024 года команда Google DeepMind анонсировала в Nature — ведущем престижном научном журнале — инструмент ИИ для решения задач AlphaGeometry, который поразил мир. DeepMind продемонстрировал уровень студентов, завоевавших серебряные медали на Международной математической олимпиаде (IMO).
Вьетнамские ученые участвуют
5 февраля 2025 года команда ИИ Google DeepMind объявила о результатах своей новой системы AlphaGeometry 2, которая превзошла средний балл золотых медалистов IMO. Результаты были описаны в предварительной таблице и также были опубликованы в Nature.
Особенностью является то, что в состав группы исследователей Google DeepMind входят три вьетнамских ученых (THTrinh, Y.Wu, QVLe, H.He и T.Luong) в статье 2024 года и четыре вьетнамца (Yuri Chervonyi, Trieu H.Trinh, Miroslav Olšák, Xiaomeng Yang, Hoang Nguyen, Marcelo Menegali, Junehyuk Jung, Vikas Verma, Quoc V.Le и Thang Luong) в статье этого года (2025).
«Я думаю, пройдет совсем немного времени, прежде чем компьютеры получат высшие баллы по IMO», — говорит Кевин Баззард, математик из Имперского колледжа Лондона.
Решение задач по евклидовой геометрии — одна из четырех тем математических экзаменов IMO. Другие темы включают теорию чисел, алгебру и комбинаторику. Задачи по геометрии требуют специальных навыков, поскольку кандидаты должны предоставить строгие доказательства, включающие геометрические объекты на плоскости.
В июле прошлого года AlphaGeometry 2 была выпущена для широкой публики вместе с новой системой AlphaProof, разработанной DeepMind для решения задач, не входящих в геометрические задачи международной олимпиады.
Я думаю, что пройдет совсем немного времени, прежде чем компьютеры получат полную оценку по ИМХО.
Кевин Баззард (математик в Имперском колледже Лондона, Великобритания)
Язык математики
Команда Google AI обучила «языковую модель» DeepMind говорить на общепринятом математическом языке, что позволяет ей автоматически проверять логическую правильность выводимых данных и отсеивать неверные или бессвязные утверждения, которые часто делают чат-боты на основе искусственного интеллекта.
Для AlphaGeometry 2 команда внесла ряд усовершенствований, включая интеграцию передовой большой языковой модели Google Gemini. Команда также ввела возможность для ИИ рассуждать, перемещая геометрические объекты на плоскости — например, позволяя ему перемещать точку вдоль линии, чтобы изменить высоту треугольника — и решать линейные уравнения.
Система AlphaGeometry 2 может решить 84% всех геометрических задач, поставленных на математических соревнованиях IMO за последние 25 лет, что соответствует уровню олимпийской золотой медали, по сравнению с 54%, достигнутыми AlphaGeometry.
В прошлом году команды ИИ в Индии и Китае также использовали другие методы, чтобы добиться результатов уровня золотых медалей по геометрии, но на меньшем наборе геометрических задач IMO.
Авторы статьи DeepMind пишут, что будущие усовершенствования AlphaGeometry будут включать решение математических задач, включающих неравенства и нелинейные уравнения, что означает, что она сможет решать весь спектр геометрических задач.
Быстрый прогресс
Премия в размере 5 миллионов долларов, именуемая премией математической олимпиады по искусственному интеллекту, присуждается первой системе искусственного интеллекта, которая достигнет результатов уровня золотой медали на целой математической олимпиаде, при этом исходный код этих систем должен быть открытым, чего DeepMind еще не делала.
Кевин Баззард сказал, что его не удивил быстрый прогресс как Google DeepMind, так и индийской и китайской команд. Но, добавил он, хотя проблемы были сложными, они были концептуально простыми, и нужно было преодолеть много трудностей, прежде чем ИИ смог бы решать проблемы на уровне математических исследований.
С нетерпением ждем предстоящую Международную математическую олимпиаду
Исследователи ИИ с нетерпением ждут предстоящей Международной математической олимпиады (IMO) на австралийском Саншайн-Косте в июле. После того, как задачи конкурса будут переданы участникам, системам ИИ также может быть разрешено их решать. (Команды ИИ не допускаются к участию в конкурсе и, следовательно, не могут претендовать на медали.)
Такие новые проблемы считаются наиболее надежными тестами для систем ИИ, поскольку они либо совершенно новы, либо их решения еще не появились и поэтому избегаются в обучающих данных, в результате чего результаты решений ИИ теряют свою целостность.
Источник: https://tuoitre.vn/ai-da-dat-trinh-do-huy-chuong-vang-olympic-toan-quoc-te-20250216075505787.htm
Комментарий (0)