Новости

Найдена нерешаемая для искусственного интеллекта задача

Международное исследование, проведённое группой математиков и исследователей в сфере искусственного интеллекта, позволило обнаружить уязвимость даже самых умных алгоритмов.

За все преимущества математики иногда приходится платить тем, что не всё возможно доказать. Исследователи под руководством Университета Уотерлу (Канада) пишут в своей работе, что математические ограничения часто связаны с именем известного австрийского математика Курта Гёделя. Гёдель создал две теоремы математической логики о принципиальных ограничениях формальной арифметики и всякой формальной системы, в которой можно определить основные арифметические понятия. Согласно первой теореме, если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула. Согласно второй теореме, если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.

Новое исследование доказывает, что машинное обучение ограничено той же неразрешимостью. Способность машины к обучению может быть ограничена математикой, которая недоказуема. Другими словами, создаётся неразрешимая для ИИ проблема, которую алгоритм не может решить, дав ответ «верно» или «неверно». В своем исследовании команда изучила проблему машинного обучения, которую они называют «оценкой максимума» (EMX). Когда веб-сайт стремится показывать таргетированную рекламу своим посетителям, алгоритму заранее неизвестно, какие именно пользователи будут посещать сайт. По словам учёных, машинное обучение переросло в математическую дисциплину и теперь объединяет многие области математики, связанные с бременем недоказуемости.

Читайте также
Гольфстрим слабеет: Западной Европе (и Мурманску) грозит замерзание?
Гольфстрим слабеет: Западной Европе (и Мурманску) грозит замерзание?
Гольфстрим не дает замерзнуть порту Мурманска и обогревает Европу. На что он способен в перспективе?
«Человек может и должен летать!»
«Человек может и должен летать!»
В честь 60-летия первого полета человека в космос читайте интервью с ученым-космонавтом.
Иван Семенов: «Любой вопрос науки нужно уметь объяснить так, чтобы понял шестиклассник»
Иван Семенов: «Любой вопрос науки нужно уметь объяснить так, чтобы понял шестиклассник»
Читайте интервью с научным редактором канала «Наука» Иваном Семеновым