Искусственный интеллект вышел на новый уровень: ему удалось завоевать серебро на Международной математической олимпиаде

Искусственному интеллекту еще далеко до человека. Однако с каждым днем видимый разрыв становится все меньше, а модели все эффективнее. Не так давно стало известно, что ИИ удалось пройти тест Тьюринга, а несколько месяцев назад так и вовсе стало понятно, что современные языковые модели обладают лучшим эмоциональным интеллектом, чем профессиональные психотерапевты.

Кажется, прогноз о развитии ИИ, написанный бывшим сотрудником OpenAI реален: в течение десятилетия интеллектуальные модели станут умнейшими существами на планете, излечат людей от всех болезней и начнут покорять космос. Еще одним подтверждением этому стал успех Google. Интеллектуальные модели этой компании продемонстрировали блестящие способности на Международной математической олимпиаде.

Так искусственным интеллект-системам AlphaProof и AlphaGeometry 2 от Google удалось решить 4 из 6 задач на Международной математической олимпиаде, что эквивалентно серебряной медали. Это первый подобный успех для ИИ в истории этого престижного соревнования.

Вице-президент Google DeepMind Пушмит Коли подчеркнул, что ранее не существовало систем искусственного интеллекта, способных решать задачи с такой высокой точностью и универсальностью. Он также отметил, что решение задач на уровне математической олимпиады требует исключительного абстрактного мышления и сложного планирования, что долгое время оставалось практически невозможным для ИИ. Тем не менее, AlphaProof и AlphaGeometry 2 смогли преодолеть эти вызовы благодаря интенсивному обучению и использованию формальных языков программирования.

AlphaProof и AlphaGeometry 2 имеют разные специализации. Первая построена на основе языковой модели Gemini (коммерческий ИИ от Google). В задачи этой системы входит преобразование абстрактного текста, написанного на человеческом языке, в математические формулы, с которыми любой компьютер способен работать эффективнее человека. А вот AlphaGeometry 2 занимается решением геометрических задач, которые связаны с движением объектов.

Для оценки возможностей этих систем им были предложены задачи текущей Международной математической олимпиады. AlphaProof успешно решила две задачи по алгебре и одну по теории чисел, включая одну из самых сложных. AlphaGeometry 2 справилась с одной задачей по геометрии. А вот две задачи по комбинаторике остались нерешенными. Видимо, для них нужно разрабатывать отдельную интеллектуальную систему.

Результаты ИИ впечатляют. А учитывая темпы развития индустрии, можно предположить, что уже через пару месяцев появится интеллектуальная система, которая сможет побить рекорд Google. И сложно представить, что может случиться через несколько лет, когда все рабочие задачи сможет взять на себя искусственный интеллект. Думаете, что можно будет уйти на завод? Не выйдет, Илон Маск уже анонсировал массовое производство роботов для этих целей.

Источник