ИИ не хватило одного балла до золотой медали по математике

Искусственный интеллект (ИИ) от Google DeepMind принял участие в международном математическом конкурсе для одаренных учеников, пишет The Guardian. Он набрал 28 баллов из 42 – достаточно для серебряной медали, но на одно очко меньше золота.

Для этого были объединены две системы: AlphaProof и AlphaGeometry. Они решали задачи по международной математической олимпиаде, в которой принимают участие учащиеся средних школ с 1959 года. Каждый год олимпиада состоит из шести сложных вопросов, охватывающих такие области, как алгебра, геометрия и теория чисел. Победители попадают в число лучших молодых математиков в мире.

AlphaProof сочетает в себе большую языковую модель и специализированный подход «обучения с подкреплением» (такой же используют для прохождения игры Го). А AlphaGeometry 2 – языковую модель с более математически ориентированным подходом. Он смог решить геометрическую задачу за 16 секунд.

Система смогла пройти четыре задачи безупречно, однако два вопроса  не удалось начать решать. При этом у DeepMind не было ограничения по времени, как у людей. На одну задачу она тратила от нескольких секунд до трех дней.

«То, что мы пытаемся сделать, — это построить мост между этими двумя сферами. Чтобы мы могли воспользоваться результатами, которые приходят с формальной математикой, и данными, которые доступны в неформальной математике», — сказал руководитель AlphaProof Томас Хьюберт.

Ранее ученые из Института инженеров электротехники и электроники (IEEE) провели исследование, в рамках которого респондентам предлагалось пообщаться с четырьмя собеседниками, среди которых был только один реальный человек.

Цель исследования в том, чтобы определить, смогут ли участники отличить синтетического агента от живого человека. Эта работа представляет собой современную интерпретацию теста, который был предложен математиком Аланом Тьюрингов еще в 1950 году. Тест считается пройденным, если алгоритм на основе искусственного интеллекта в процессе общения с человеком может заставить его думать, что беседу с ним ведет другой человек.