DeepMind представила AlphaGeometry — систему, способную решить столько же задач по геометрии, сколько средний золотой медалист Международной математической олимпиады. AlphaGeometry с открытым исходным кодом решает 25 олимпиадных задач по геометрии за стандартное время, опередив предыдущую современную систему на 10.
«Решение геометрических задач олимпиадного уровня — это важная веха в развитии глубоких математических рассуждений на пути к более совершенным и общим системам искусственного интеллекта», — отмечают исследователи Триу Тринь и Тханг Луонг. «Мы надеемся, что AlphaGeometry поможет открыть новые возможности в области математики, науки и искусственного интеллекта».
DeepMind утверждает, что доказательство математических теорем или логическое объяснение того, почему теорема (например, теорема Пифагора) верна, требует как рассуждения, так и способности выбирать из ряда возможных шагов. Этот подход, по мнению исследователей, может оказаться полезным в разработке систем искусственного интеллекта общего назначения.
«Демонстрация того, что конкретная гипотеза верна или ложна, сегодня расширяет возможности даже самых передовых систем искусственного интеллекта», — заявили в DeepMind. «На пути к этой цели способность доказывать математические теоремы AlphaGeometry является важной вехой, поскольку она демонстрирует мастерство логического рассуждения и способность открывать новые знания».
Однако обучение системы ИИ решению задач по геометрии стало вызовом для учёных из-за сложности перевода доказательств в формат, понятный системам, и нехватки полезных данных по геометрии.
При разработке AlphaGeometry лаборатория объединила модель «нейронного языка», архитектурно подобную ChatGPT, с «механизмом символического вывода», который использует правила (например, математические) для вывода решений. Чтобы решить проблему отсутствия гибкости символьного механизма, особенно при работе с большими или сложными наборами данных, DeepMind заставила нейронную модель «направлять» механизм дедукции через возможные ответы на заданные геометрические задачи.
Вместо обучающих данных лаборатория создала собственные данные, сгенерировав 100 млн «синтетических теорем» и доказательств различной сложности. Затем на них обучили AlphaGeometry и оценили работу нейросети на олимпиадных задачах по геометрии.
Такие задачи основаны на диаграммах, в которые необходимо добавить «конструкции», прежде чем их можно будет решить, например, точки, линии или круги.
Результаты работы AlphaGeometry опубликовали в журнале Nature.
Будучи гибридной символьно-нейронной сетевой системой, похожей на AlphaFold 2 и AlphaGo от DeepMind, AlphaGeometry, возможно, демонстрирует, что объединение двух подходов — манипулирования символами и нейронных сетей — является лучшим подходом в разработке общего ИИ.
«Наша долгосрочная цель кроется в создании систем искусственного интеллекта, которые могут обобщать различные математические области, разрабатывая сложные решения проблем и рассуждения, от которых будут зависеть общие системы искусственного интеллекта, при этом расширяя границы человеческого знания», — пишут Трин и Луонг. «Этот подход может определить, как системы искусственного интеллекта будущего будут открывать новые знания в математике и за её пределами».
Ранее стало известно, что исследователи DeepMin сделали первое в мире научное открытие, используя большую языковую модель. Они использовали большую языковую модель для написания решений задач в виде компьютерных программ. LLM работала в паре с «оценщиком», который автоматически ранжировал программы по степени их эффективности.
