Модель AlphaGeometry2 справляется с задачами по геометрии не хуже золотых медалистов

AlphaGeometry2 от Google DeepMind решает задачи по геометрии на уровне золотых медалистов.
Вторая версия модели превосходит первую в решении задач по геометрии.
AlphaGeometry использует специальные языковые модели и «нейро-символьную» систему для решения задач.
Языковая модель обучена формальному языку математики для проверки результатов на логическую строгость.
Вторая версия модели включает интеграцию языковой модели Gemini и возможность решать линейные уравнения.
AlphaGeometry 2 решает 84% геометрических задач из архива олимпиады за последние 25 лет.
Разработчики планируют улучшить модель для решения задач с неравенствами и нелинейными уравнениями.
Первая система ИИ, решающая задачи на уровне золотого медалиста во всех четырех категориях, получит приз в 5 млн долларов при наличии открытого исходного кода.