ИИ побеждает людей на математических олимпиадах: учёные обещают дальнейшее развитие

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

Эти программы, обученные для решения сложных математических задач, использовали продвинутые методы логического мышления. Вице-президент компании Пушмит Коли сообщил, что до этого никакие другие программные системы не могли решить поставленные перед ними задачи с такой же чёткостью. Его системы успешно сдали тест благодаря применению усовершенствованного обучения и языков программирования, понятных человеку.

Известно, что системы смогли правильно решить две задачи по алгебре и две по геометрии, однако задачи по комбинаторике оказались для него непреодолимыми. Ответы на задачи проверили известные математики Тим Гауэрс и Джозеф Майерс, которые поставили системам 28 баллов из 42 возможных.

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