Компания DeepMind представила ИИ-модель AlphaGeometry2, которая, как утверждается, справляется с геометрическими задачами лучше, чем золотые медалисты Международной математической олимпиады (IMO).
AlphaGeometry2 является улучшенной версией системы AlphaGeometry, которую DeepMind выпустила в январе прошлого года. Разработчики утверждают, что их ИИ способен решить 84% всех задач по геометрии за последние 25 лет в рамках Международной математической олимпиады.
В лаборатории DeepMind считают, что ключ к созданию эффективного ИИ может лежать в открытии новых способов решения сложных задач по геометрии.
Доказательство математических теорем требует как рассуждений, так и умения выбирать из ряда возможных шагов. Если DeepMind не ошибется, эти навыки решения проблем могут стать полезным компонентом будущих моделей ИИ общего назначения.
Так, этим летом DeepMind продемонстрировала систему, которая в сочетании с AlphaGeometry2 и моделью ИИ для формальных математических рассуждений AlphaProof решила четыре из шести заданий из IMO 2024 года. Помимо задач по геометрии, подобные подходы могут быть распространены и на другие области математики и естественных наук – например в сложных инженерных расчетах. Конечно, есть и ограничения. Техническая особенность не позволяет AlphaGeometry2 решать задачи с переменным количеством точек, нелинейные уравнения и неравенства.
