Google винайшла ШІ, що вирішує геометричні задачки на рівні золотих медалістів

Google досягла нового прориву в галузі штучного інтелекту, створивши систему, здатну вирішувати завдання з евклідової геометрії на рівні золотих медалістів математичних олімпіад.

Новий ШІ, названий AlphaGeometry, був навчений на мільйонах синтезованих теорем і доказів, перевершивши попередні методи і досягнувши рівня середнього золотого медаліста Міжнародної математичної олімпіади (IMO).

AlphaGeometry використовує нейро-символічний підхід до доведення теорем, поєднуючи в собі генерацію синтетичних даних і спеціалізовані символічні движки.

Цей метод дає змогу ШІ генерувати майже 10 млн синтетичних кроків доказу, включно з конструкцією допоміжних точок, що виходить за рамки суто символічного висновку.

ШІ був попередньо навчений на всіх згенерованих синтетичних даних, а потім донавчений з акцентом на конструкцію допоміжних точок під час пошуку доказів.