ИИ от Google DeepMind решает задачи Международной математической олимпиады

Исследователи Google DeepMind заявили, что их ИИ, AlphaGeometry2, успешно справился с задачами Международной математической олимпиады, которые традиционно считаются сложными. В статье на arXiv они представили обзор достижений AlphaGeometry2.

Предыдущие исследования показали, что ИИ, решающий геометрические задачи, может быть использован для создания более сложных приложений. Команда DeepMind выпустила две версии AlphaGeometry: AlphaGeometry и AlphaGeometry2, последняя из которых была объединена с системой Alpha Proof для математических доказательств.

На летнем Международном математическом конкурсе AlphaGeometry2 успешно справилась с четырьмя из шести задач. В новом исследовании система продемонстрировала свою эффективность, решив задачи, которые использовались на IMO в течение последних 25 лет.