ИИ решил математическую задачу, которая ставила людей в тупик

DeepMind утверждает, что впервые ИИ решил знаменитую сложную математическую задачу с решением, которое ускользнуло от математиков-людей, и может оказаться грандиозным, если выдержит тщательную проверку.


Исследователи Google DeepMind рассказали о новом инструменте искусственного интеллекта, который, по их утверждениям, создал совершенно новое решение проблемы, известной как «проблема с набором ограничений», который включает в себя рисование все большего и большего количества точек, при этом ни одна из них не образует прямую линию.

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

Компания DeepMind создала рассматриваемый инструмент под названием «FunSearch» для работы с математическими функциями на базе искусственного интеллекта AlphaZero, который решает математические задачи. LLM, который он использует, называется Codey. Модель обучена и отлажена на компьютерном коде и запрограммирована на отклонение неправильных ответов и возврат верных в свою модель.


— вице-президент DeepMind по исследованиям Пушмит Кохли.

В том, что утверждают ученые DeepMind, есть что-то мистическое: LLM удалось — возможно — думать самостоятельно.


— Ученый-исследователь DeepMind Альхуссейн Фавзи.

Хотя, очевидно, потребуется еще много исследований, чтобы проверить утверждения и попытаться выяснить, как именно FunSearch разработала новое решение проблемы ограничения набора, его создатели явно воодушевлены.


— Пушмит Кохли.