Речь была о "задаче, которую сложно формализовать". Что это вообще значит, и в каком смысле cap set "сложно формализовать"?
В частном случае "сложно формализовать" означает, что неизвестен прямой алгоритм решения задачи (в общем - см. аргументы), который бы нас устраивал. Какой, к примеру, толк знать, что задача имеет прямой алгоритм решения, если он требует слишком большого времени, или прямой алгоритм возможен, но его долго писать? Во всех этих случаях суть проблемы в том, что прямого алгоритма решения у задачи по факту нет.
Например, в случае собак и кошек, если различать их только по длине морды, то прямой алгоритм написать не сложно, то есть можно сказать, что этот алгоритм есть. Но у него будут слишком узкие границы применимости. То есть по факту задачу различения собак и кошек этот алгоритм не решает. Если же использовать для различения большее количество параметров собак и кошек, то прямой алгоритм становится много сложнее написать. То есть по факту задача опять не решена, опять, получается, нет алгоритма. В вашем случае, как и в случае сравнения длин морд, алгоритм есть, но у него слишком узкие границы применимости, потому что на больших размерностях он требует слишком много времени. То есть по факту задача опять не решена, нет устраивающего нас прямого алгоритма её решения.
Таким образом, во всех трёх случаях одно и то же - нет устраивающего нас прямого алгоритма решения задачи. В этих случаях поможет ИНС. За счёт роста чего возникают её способности помогать, написано в
этом посте. Тем не менее и помощь ИНС тоже имеет границы применимости, тогда как ЕИ за эти границы выходит.
Зачем тогда вообще понадобилось привлекать такое понятие, как сложность, если о нём ничего не известно? Как можно строить утверждения на том, о чём мы ничего не знаем, возможно, ваши рассуждения ничего не потеряют, если из них эту сложность просто выкинуть?
Проблемы со "сложностью" надуманные, из аргументов это видно, поэтому менять ничего не нужно, всё доказано максимально возможным образом, проблема рассмотрена со всех возможных точек зрения. Выводы однозначные - СИИ принципиально невозможен.
Собственно, идея СИИ и без аргументов выглядит... странновато, мягко говоря. Линейность в прогнозах до хорошего не доводит. Разве что смешит.