ШІ від DeepMind перевершує золотих медалістів Міжнародної математичної олімпіади
AlphaGeometry2 демонструє видатні результати у розв’язанні геометричних задач
Компанія Google DeepMind представила оновлену версію свого штучного інтелекту — AlphaGeometry2, яка показала вражаючі результати у розв’язанні геометричних задач. За даними DeepMind, ця система успішно вирішила 84% геометричних задач, запропонованих на Міжнародній математичній олімпіаді (IMO) за останні 25 років. Це перевищує середній показник золотих медалістів, які зазвичай розв’язують близько 81,8% задач, пише TechCrunch.
DeepMind вважає, що розв’язання складних геометричних задач, зокрема евклідової геометрії, може стати ключем до створення більш потужних систем штучного інтелекту. Доведення математичних теорем вимагає як логічного мислення, так і здатності обирати серед різних можливих кроків до вирішення. Ці навички можуть стати корисними компонентами майбутніх універсальних моделей ШІ.
AlphaGeometry2 поєднує в собі мовну модель з родини Gemini від Google та “символьний рушій”. Модель Gemini прогнозує, які конструкції (наприклад, точки, лінії або кола) слід додати до діаграми для її розв’язання, а символьний рушій використовує математичні правила для виведення рішень. Цей гібридний підхід дозволяє системі досягати високих результатів у розв’язанні геометричних задач.
Попри успіхи, AlphaGeometry2 має певні обмеження. Вона не може розв’язувати задачі зі змінною кількістю точок, нелінійними рівняннями та нерівностями. Крім того, система показала гірші результати на складніших задачах IMO, розв’язавши лише 20 з 29 запропонованих. Ці результати підкреслюють необхідність подальших досліджень у поєднанні символьних методів та нейронних мереж для створення універсальних ШІ-систем.
