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