У меня достаточные познания в нейронных сетях :) Я эту тему для себя исчерпал примерно в 1993-1995 году, когда учился в аспирантуре - и делал программку на эту тему - к счастью, до того, как оно попало в хайп. С тех пор в этой области ничего, кроме вычислительной мощности, не изменилось - а вся алгоритмика ИИ разработана вообще в шестидесятые годы. Ну да - вычислительные мощности выросли - ух, как лихо "оно само" может распознать буквы :)
Так-то, я даже понимаю, что такое теорема Райса, как её связать с теоремой Гёделя, и какие последствия эта связка будет иметь для перспектив сильного ИИ :)
Вообще, господин Кручинин (профессор и доктор этого дела) так и формулировал: детерминирующее свойство искусственного интеллекта - это что мы с ходу не можем реконструировать логику получения вывода в программе :)