Исследователи из компании DeepMind и Нью-Йоркского университета разработали ИИ-систему AlphaGeometry, которая продемонстрировала способность решать сложные геометрические задачи на высоком уровне.
Доказательство математических теорем может быть сложным занятием, и люди, которые умеют это делать, считаются ценным активом для высших учебных заведений и компаний, таких как Google. Поэтому для выявления талантов была создана Международная математическая олимпиада. Ее называют чемпионатом мира по математике среди старшеклассников.
Из-за многих трудностей, связанных с использованием математики во многих современных приложениях, таких как проектирование компьютерных систем, ученые надеются на создание ИИ-моделей, которые смогут решать сложные математические задачи или доказывать теоремы.
До сих пор системы искусственного интеллекта работали не так хорошо, как хотелось бы. Однако в новом исследовании команда DeepMind создала ИИ-систему AlphaGeometry, которая конкурирует на уровне студентов, получивших золотые медали на Международной математической олимпиаде.
Для создания AlphaGeometry команда исследователей использовала новый подход. Вместо того чтобы пытаться научить систему доказывать теоремы на многочисленных примерах, они использовали нейролингвистическую модель, которая позволила системе обучаться самостоятельно. Для этого были синтезированы миллионы известных теорем и доказательств с различным уровнем сложности. Они также добавили механизм символического вывода, чтобы помочь системе обучаться и решать все более сложные задачи без помощи человека.
Затем исследователи протестировали свою новую систему, поставив перед ней 30 задач, с которыми сталкивались студенты на Международной математической олимпиаде в период с 2002 по 2020 год, и обнаружили, что она смогла решить 25 из них значительно лучше, чем предыдущие системы искусственного интеллекта. Они отметили, что ее производительность была на одном уровне со средними показателями золотых медалистов на соревнованиях.
Исследовательская группа отмечает, что в настоящее время система запрограммирована на работу с конкретными формами геометрии, но предполагает, что она может применить свои возможности на другие области.
