РЕКЛАМА – ПРОДОЛЖЕНИЕ НИЖЕ

Математики создали проблему, которую не может решить машина

Группа математиков утверждала, что недоказуемая математика — это непреодолимая преграда для алгоритмов машинного обучения. Теперь они смогли доказать это на практике.
Математики создали проблему, которую не может решить машина

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

РЕКЛАМА – ПРОДОЛЖЕНИЕ НИЖЕ

«Преимущества математики иногда строятся на том, что... говоря простым языком, не все доказуемо», пишут исследователи во главе с ученым-программистом Шаем Бен-Дэвидом из Университета Ватерлоо. Они утверждают, что и машинное обучение разделяет эту судьбу.

Как же они пришли к подобному выводу? Математические ограничения часто связывают с известным австрийским математиком Куртом Гёделем, который в 1930-х годах разработал теоремы о неполноте — два предположения, которые показывают ограничения формальной арифметики (и, как следствие, любой формальной системы, в которой применяются понятия этой арифметики: 0 и 1, сложение и умножение, а также натуральные числа). Новое исследование лишь доказало, что и машинное обучение заперто в тех же рамках.

РЕКЛАМА – ПРОДОЛЖЕНИЕ НИЖЕ

Сейчас способности ИИ буквально ограничены недоказуемой математикой. Другими словами, искусственный интеллект не может решить проблему, алгоритм которой не предусматривает решения «верно» или «не верно». Математик Амир Йехудайов из Технион-Израильского технологического института в интервью журналу Nature признался, что для ученых это стало неожиданностью. Исследование строилось вокруг веб-сайта: алгоритм должен был показывать целевую рекламу посетителям, которые чаще всего заходят на страничку — при этом заранее было не известно, какие именно посетители будут ее посещать. Это проблема так называемой «оценки максимума» (estimating the maximum, сокр. EMX).

РЕКЛАМА – ПРОДОЛЖЕНИЕ НИЖЕ

По мнению исследователей, корни математической проблемы могут крыться в структуре алгоритма обучения, известного как «вероятностно приблизительно корректное обучение», или PAС. Она также очень похожа на математический парадокс, называемый гипотезой континуума. Как и теоремы о полноте, эта гипотеза связана с математикой, которая не может быть доказана в рамках системы «верно\не верно». Гипотетически, даже для самого совершенного алгоритма это тупик, из которого он не сможет выйти. Математики признают, что недоказуемость — это бремя, которое теперь придется нести и машинам. Лев Рейзин, не принимавший участия в исследовании, отмечает, что эти меры «возможно смогут научить ИИ смирению, даже если он и продолжить революционно изменять мир вокруг нас».



Astsergey
Astsergey 15 Апреля 2019, 20:25
Бред.. это типа неплохой человек..
SUPERMOZG
SUPERMOZG 09 Февраля 2019, 15:16
Какой укроп (бандерлог, майдаун) писал статью; мягкий знак у глагола в третьем лице: "даже если он и продолжить"...
Atomkom
Atomkom 23 Января 2019, 22:55
Таки это скорее доказывает ограниченность интеллекта разработчиков.  Придумали 2 числа = и заблокировали железяку.  : -)))
Владимир Султанов
Владимир Султанов 17 Января 2019, 14:18
Ватерлоо в Бельгии, а Уотерлу (провинция Онтарио) - в Канаде. :) В разных языках читается по-разному.
Андрей Попов
Андрей Попов 16 Января 2019, 19:49
Речь идет о том, что с применением алгоритма по принципу "верно" и не "верно" машина выстраивает логическую цепочку. Но применяя данный  алгоритм даже для конкретных (не абстрактных) математических задач этот принцип не всегда работает и вступает в противоречие сам с собой.
Джо Безногий
Джо Безногий 16 Января 2019, 14:45
Хм, я не математик и поэтому, возможно не понял суть. Что именно стало для учёных неожиданностью, тот факт, что машина не может мыслить абстрактно? Но это и так всем известно, хм...
Dmitry Bazhenovsky
Dmitry Bazhenovsky 16 Января 2019, 13:45
Статья не удивляет не на сколь)) Есть много задач которые не может решить ИИ) Я сейчас в данный момент времени работаю над задачей за которую могут заплатить 5 млн долларов США. Если есть вундеркинды могу поделиться задачкой pokgoip@gmail.com
Загрузка статьи...