Революционные модели AlphaProof и AlphaGeometry 2 продемонстрировали способность решать сложнейшие математические задачи. Общий искусственный интеллект (AGI) с продвинутыми математическими навыками может открыть новые горизонты в науке и технологиях. Это первый случай, когда искусственный интеллект достиг такого уровня на международной математической олимпиаде, сообщает агентство Kazinform.

По данным источника, разработчики представили новую систему формального математического мышления AlphaProof и усовершенствованную версию системы для решения геометрических задач AlphaGeometry 2. Эти системы совместно решили четыре из шести задач на Международной математической олимпиаде (IMO) в этом году, впервые достигнув уровня серебряного медалиста.

- Мы достигли значительного прогресса в создании систем искусственного интеллекта, которые помогают математикам находить новые идеи, алгоритмы и решения нерешённых задач. Однако текущие системы ИИ всё ещё сталкиваются с трудностями при решении общих математических задач из-за ограничений в навыках рассуждения и обучающих данных, - подчеркнули разработчики.

Отметим, что IMO - это старейший, крупнейший и наиболее престижный конкурс для молодых математиков, который проводится ежегодно с 1959 года. Каждый год элитные математики, готовящиеся к поступлению в колледж, тренируются в течение тысяч часов, чтобы решить шесть исключительно сложных задач по алгебре, комбинаторике, геометрии и теории чисел. Многие обладатели медали Филдса, одной из высших наград для математиков, участвовали в IMO, представляя свои страны.

В последнее время ежегодные соревнования IMO получили широкое признание как важный вызов в области машинного обучения и ценный ориентир для оценки передовых возможностей математического мышления систем искусственного интеллекта.

- В этом году мы использовали нашу комбинированную систему ИИ для решения задач, предоставленных организаторами IMO. Наши решения оценивались по правилам начисления баллов IMO выдающимися математиками, такими как профессор сэр Тимоти Гауэрс, золотой медалист IMO и обладатель медали Филдса, и доктор Джозеф Майерс, двукратный золотой медалист IMO и председатель Комитета по отбору задач IMO 2024, - пояснили разработчики.

Профессор сэр Тимоти Гауэрс, отметил, что тот факт, что программа способна создать такую неочевидную конструкцию, очень впечатляет и значительно превосходит то, что я считал возможным на сегодняшний день.

Вице-президент Google DeepMind Пушмит Коли подчеркнул, что решение задач уровня математической олимпиады требует исключительного абстрактного мышления и сложного планирования, что долгое время считалось невозможным для ИИ. Он отметил, что ранее не существовало систем ИИ, способных решать задачи с такой высокой точностью и универсальностью. Однако AlphaProof и AlphaGeometry 2 преодолели эти трудности благодаря интенсивному обучению и использованию формальных языков программирования.