AlphaGeometry / © DeepMind
Система AlphaGeometry, разработанная DeepMind (дочерняя компания Google), установила новый рекорд производительности ИИ при решении задач по геометрии. AlphaGeometry удалось решить 25 из 30 задач, взятых из базы Международной математической олимпиады в период с 2000 по 2022 год. По оценкам DeepMind, золотой медалист (старшеклассник) решил бы 26 из 30 задач.
«Решение геометрических задач олимпиадного уровня — важная веха в развитии глубоких математических рассуждений на пути к более совершенным и общим системам искусственного интеллекта. Мы надеемся, что AlphaGeometry поможет открыть новые возможности в области математики, науки и искусственного интеллекта», — отметили исследователи Триу Тринь и Тханг Луонг.
В DeepMind утверждают (Nature), что доказательство математических теорем или логическое объяснение того, почему та или иная теорема (например, Пифагора) верна, требует как рассуждения, так и способности выбирать из ряда возможных шагов. Этот подход, по мнению исследователей, может оказаться полезным в разработке систем искусственного интеллекта общего назначения. DeepMind объединил языковую модель с более традиционным механизмом символьной дедукции, который выполняет алгебраические и геометрические рассуждения.