AI и просто I

Читаю "Тени разума" Роджера Пенроуза (есть на либрусеке в djvu, нашёл где-то в doc).

Дядька пишет об интеллекте как таковом, немного об ИИ, и о физике, которая пока никак не может объяснить самосознание.
Рассматривает разные гипотезы:
- что разум может быть детерминирован чисто механически;
- что разум может быть детерминирован чисто механически, но принципиально невычислим на машине Тьюринга (кто хочет узнать, как такое может быть, приходите в Пан Пиццу в прошлый четверг :));
- что разум может быть недетерминирован как хаотическая система, но моделируем вычислительными средствами;
- что разум может быть недетерминирован и немоделируем, далее все вопросы к религиям.

Немного затянуто, слишком много длинных вступлений вроде "в этой главе я покажу, что со всей очевидностью то-то, а в следующей рассмотрю то-то".
Дочитал до доказательства того, что интеллект не является вычислимой процедурой (не моделируется на компе). Оно основано на теореме Гёделя о неполноте и показывает, что никакая формально вычислимая процедура (ИИ) не будет достаточной, чтобы доказать ("понять") некое свойство (сходимость/бесконечность) другой произвольной вычислимой процедуры. Непонятно, правда, с чего он взял, что наш "интеллект" это умеет.

И захотелось мне приблизить сингулярность. А никто не хочет нарыть библиотеку нейросетей и портировать на CUDA?( огласите весь список! )