Формальное доказательство: достижение ИИ человеческого уровня путём «обучения» по сути NP-трудно
Шесть когнитивистов опубликовали формальное доказательство — «теорему Ingenia»: даже при идеальных данных создание ИИ человеческого уровня путём обучения NP-трудно, так что тезис о неизбежности AGI через масштабирование не подкреплён теоремами.