DeepMind, британська лабораторія штучного інтелекту, що належить материнській компанії Google Alphabet, розробила систему штучного інтелекту під назвою AlphaGeometry, яка може вирішувати складні геометричні задачі, близькі до золотих медалістів Олімпіад.
У новій статті в Nature DeepMind виявив, що AlphaGeometry зміг розв’язати 25 із 30 контрольних геометричних задач із минулих змагань Міжнародної математичної олімпіади (IMO) у стандартні часові обмеження. Це майже відповідає середньому балу 26 задач, розв’язаних людьми-золотими медалістами в тих самих тестах.
Система штучного інтелекту поєднує модель нейронної мови з механізмом дедукції за правилами, забезпечуючи синергію, яка дозволяє системі знаходити рішення для складних геометричних теорем.
Компанія AlphaGeometry застосувала революційний підхід до генерації синтетичних даних, створивши один мільярд випадкових діаграм геометричних об’єктів і вивівши зв’язки між точками та лініями на кожній діаграмі. Цей процес, названий «символічним виведенням і відстеженням», призвів до остаточного навчального набору даних із 100 мільйонів унікальних прикладів, що є багатим джерелом для навчання системи ШІ.
За словами DeepMind, AlphaGeometry є проривом у математичному розумінні для ШІ, наближаючи його до рівня математиків-людей. Розвиток цих навичок вважається важливим для розвитку загального штучного інтелекту.
Еван Чен, тренер з математики та колишній золотий призер Олімпіади, оцінив зразок рішень AlphaGeometry. Він сказав, що його результати були не тільки правильними, але й чистими, зрозумілими людині доказами з використанням стандартних геометричних методів — на відміну від безладних чисельних рішень, які часто виникають під час грубої обробки математичних проблем систем штучного інтелекту.
Хоча AlphaGeometry поки обробляє лише геометричні частини олімпіадних тестів, одних тільки його навичок було б достатньо, щоб отримати бронзову медаль на деяких минулих іспитах. DeepMind сподівається продовжувати вдосконалювати свої здібності до математичних міркувань до такої міри, що зможе пройти всю багатопредметну олімпіаду.
Покращення розуміння ШІ математики та логіки є ключовою метою для DeepMind і Google. Дослідники вважають, що виконання олімпіадних завдань наблизить їх на крок до більш узагальненого штучного інтелекту, який може автоматично відкривати нові знання.
