Разработчики представили новую систему формального математического мышления AlphaProof и улучшенную версию системы решения геометрии AlphaGeometry 2. Вместе эти системы решили четыре из шести задач Международной математической олимпиады (IMO) этого года, впервые достигнув уровня серебряного медалиста соревнований.
«Мы добились большого прогресса в создании систем искусственного интеллекта, которые помогают математикам открывать новые идеи, новые алгоритмы и ответы на открытые проблемы. Но нынешние системы искусственного интеллекта по-прежнему с трудом решают общие математические задачи из-за ограничений в навыках рассуждения и обучающих данных», — отметили разработчики.
IMO — старейший, крупнейший и престижнейший конкурс молодых математиков, проводимый ежегодно с 1959 года. Каждый год элитные математики, готовящиеся к поступлению в колледж, тренируются, иногда в течение тысяч часов, для решения шести исключительно сложных задач по алгебре, комбинаторике, геометрии и теории чисел. Многие из обладателей медали Филдса, одной из высших наград для математиков, представляли свою страну в IMO.
Совсем недавно ежегодные соревнования IMO также получили широкое признание как грандиозная задача в области машинного обучения и желательный ориентир для измерения передовых возможностей математического мышления системы искусственного интеллекта.
«В этом году мы применили нашу комбинированную систему искусственного интеллекта для решения задач соревнований, предоставленную организаторами IMO. Наши решения оценивались в соответствии с правилами начисления баллов IMO выдающимися математиками профессором сэром Тимоти Гауэрсом, золотым медалистом IMO и обладателем медали Филдса, и доктором Джозефом Майерсом, двукратным золотым медалистом IMO и председателем Комитета по отбору задач IMO 2024», — пояснили разработчики.
«Тот факт, что программа может создать подобную неочевидную конструкцию, очень впечатляет и выходит далеко за рамки того, что я считал современным», — поделился своим мнением профессор сэр Тимоти Гауэрс, золотой медалист IMO и обладатель медали Филдса.
Вице-президент Google DeepMind Пушмит Коли отметил, что решение задач на уровне математической олимпиады требует исключительного абстрактного мышления и сложного планирования, что долгое время оставалось практически невозможным для ИИ.
Он подчеркнул, что ранее не существовало систем искусственного интеллекта, способных решать задачи с такой высокой точностью и универсальностью. Тем не менее, AlphaProof и AlphaGeometry 2 смогли преодолеть эти вызовы благодаря интенсивному обучению и использованию формальных языков программирования.
По сообщению сайта EKaraganda.kz