Математики усомнились во всемогуществе искусственного интеллекта


Израильские математики доказали, что искусственный интеллект далеко не всегда способен находить закономерности в наборах данных или давать однозначные ответы на любые вопросы. Их выводы были представлены в журнале Nature Machine Intelligence.

"Это открытие стало абсолютным сюрпризом для нас. Конечно, математики давно знают о существовании ряда принципиально нерешаемых проблем, но мы не ожидали, что нечто подобное появится в простом машинном обучении. Это говорит о том, что между "сжатием" информации и самим принципом обучения существует особая фундаментальная связь", — заявил Амир Йехудайофф (Amir Yehudayoff) из Института Технион в Хайфе (Израиль).

Современные системы машинного обучения и искусственного интеллекта работают на базе очень простого принципа. Они постепенно учатся "видеть" определенные закономерности и отличать правильные ответы от неправильных, используя обширные базы данных, подготовленные человеком.
Изначально подобный подход применялся в основном для создания систем распознавания изображений. Впоследствии выяснилось, что его можно применять практически для всего, начиная с "творческих" ИИ, способных самостоятельно рисовать и создавать музыку, и заканчивая машиной AlphaZero, способной учиться без помощи людей и играть в несколько настольных игр, зная лишь их правила.
Подобные успехи, как отмечает Йехудайофф, заставили программистов, философов и математиков задуматься о том, есть ли границы у подобного метода решения проблем и сможет ли предельно "общий" искусственный интеллект найти закономерность в любом произвольном наборе данных и дать ответ на все возможные вопросы.
Израильские математики попытались выяснить, так ли это на самом деле, анализируя самые общие версии различных математических проблем, которые сегодня активно решаются при помощи систем машинного обучения.
Их внимание привлекли те версии искусственного интеллекта, которые пытаются предсказать максимальные значения, используя неполные наборы данных. К примеру, подобные машины пытаются угадать предпочтения посетителей того или иного сайта и подбирают такую рекламу, которая бы была интересной для большинства из них.
Представив эту проблему в виде набора из нескольких больших и малых множеств, Йехудайофф и его коллеги обнаружили, что она похожа по своему описанию на знаменитую теорему Гёделя. Еще в 1940 году известный австрийский математик Курт Гёдель выяснил, что любая формальная система, в том числе сама математика, является неполной или противоречивой. Об этом сообщает Рамблер. Далее: https://news.rambler.ru/science/41534619/?utm_content=rnews&utm_medium=read_more&utm_source=copylink