ИИ от Google DeepMind решает задачи Международной математической олимпиады
, Источник: techxplore.com , Источник фото: freepik.com
Исследователи Google DeepMind заявили, что их ИИ, AlphaGeometry2, успешно справился с задачами Международной математической олимпиады, которые традиционно считаются сложными. В статье на arXiv они представили обзор достижений AlphaGeometry2.
Предыдущие исследования показали, что ИИ, решающий геометрические задачи, может быть использован для создания более сложных приложений. Команда DeepMind выпустила две версии AlphaGeometry: AlphaGeometry и AlphaGeometry2, последняя из которых была объединена с системой Alpha Proof для математических доказательств.
На летнем Международном математическом конкурсе AlphaGeometry2 успешно справилась с четырьмя из шести задач. В новом исследовании система продемонстрировала свою эффективность, решив задачи, которые использовались на IMO в течение последних 25 лет.
