Google DeepMind объявила о значительном прогрессе в области ИИ: ее модели AlphaProof и AlphaGeometry 2 решили четыре из шести задач Международной математической олимпиады этого года. Этот результат эквивалентен серебряной медали.
AlphaProof и AlphaGeometry 2 решали задачи по алгебре, теории чисел и геометрии. Модели набрали 28 из 42 баллов, всё же не дотянув до золотой медали. Несмотря на эти достижения, известный математик сэр Тимоти Гауэрс указал на некоторые ограничения.
Он отметил, что ИИ потребовалось значительно больше времени, чем людям, и что первоначальный перевод задач на формальный язык был выполнен вручную. Гауэрс считает, что ИИ может стать ценным исследовательским инструментом, хотя и полагает, что он еще не достиг того уровня, когда сможет заменить математиков-людей или решить «Задачи тысячелетия».
Источник: www.ferra.ru
Похожие новости:
Новый ИИ от DeepMind научился решать задачи по геометрии
ИИ от Google решает задачи на уровне серебряного медалиста Международной математической олимпиады
«Ростелеком» зафиксировал рост числа жалоб от абонентов на качество работы YouTube в РФ
Хинштейн: до конца текущей недели скорость загрузки YouTube на стационарных ПК в РФ может снизиться до 40%