Профессор Скотт Ааронсон: Вычислимость, сознание и пределы познания 0:00
Профессор Южного методистского университета в Остине (UT Austin) и директор Центра квантовой информации Скотт Ааронсон посетил подкаст Лекса Фридмана, чтобы обсудить фундаментальные вопросы теоретической информатики, физики и философии сознания. В ходе беседы, состоявшейся в необычных полевых условиях, учёные затронули дискуссионные темы — от возможности симуляции нашей Вселенной до природы человеческого сознания и этических проблем современной академической среды.
🌌 Живём ли мы в симуляции? 3:28
Обсуждение началось с философского вопроса о «симуляции реальности». Ааронсон отмечает, что сама постановка вопроса кажется метафизической, поскольку «совершенная» симуляция по определению неотличима от реальности.
- Вычислимость мира: По мнению Ааронсона, наша Вселенная, судя по имеющимся данным, удовлетворяет тезису Чёрча — Тьюринга, то есть является вычислимой. Однако из этого не следует, что мы находимся в «симуляции» в привычном понимании, так как для доказательства этого потребовалось бы найти способ взаимодействия с «внешней» вычислительной средой, что на данный момент невозможно.
- «Ошибки» реальности: Ведущий и гость обсудили гипотезу о возможности поиска «багов» в законах физики. Ааронсон упоминает шутку физика Питера Шора: возможно, несовместимость общей теории относительности и квантовой механики объясняется тем, что область их пересечения не была запрограммирована, и при попытке её исследовать возникнет ошибка переполнения. Тем не менее, Ааронсон придерживается принципа «бритвы Оккама»: раз Вселенная стабильно функционирует около 14 миллиардов лет, она вряд ли «сломается» от наших исследований.
🧠 «Довольно сложная» проблема сознания 14:10
Ааронсон вводит термин «довольно сложная проблема» (the pretty hard problem) сознания, отделяя её от классической «трудной проблемы» Дэвида Чалмерса. Его интересует не то, почему мы сознательны, а то, как принципиально оценить уровень сознания конкретной физической системы.
- Критика теории интегрированной информации (IIT): Ааронсон скептически относится к теории Джулио Тонони, постулирующей, что уровень сознания определяется величиной $\phi$ (фи), связанной с «графической связностью» системы.
- Контраргумент Ааронсона: Он утверждает, что по логике IIT систему, реализующую сложный код коррекции ошибок, можно считать «сверхсознательной», даже если она не проявляет признаков интеллекта. По словам гостя, Тонони прямо принял этот вывод, заявив, что наука должна бросать вызов интуиции. Ааронсон, напротив, считает, что если теория утверждает, что «пустая стена» может быть более сознательной, чем человек, то она попросту ошибочна.
🤖 Роджер Пенроуз и квантовое сознание 36:23
Собеседники обсудили гипотезу Роджера Пенроуза о роли квантовой гравитации в работе мозга. Ааронсон подчёркивает, что Пенроуз утверждает не просто влияние квантовых эффектов на биологию, а существование невычислимых (uncomputable) физических процессов, связанных с квантовой гравитацией, которые «вплетены» в работу сознания.
- Научная оценка: Большинство физиков, включая Шона Кэрролла, считают, что законы квантовой теории поля достаточно хорошо изучены для понимания биологических процессов, и квантово-гравитационные эффекты в мозгу «экранированы».
- Теорема Гёделя: Ааронсон критикует использование теоремы Гёделя о неполноте в качестве доказательства «сверхчеловеческой» природы человеческого разума, отмечая, что искусственный интеллект точно так же может динамически добавлять новые аксиомы, как и человек.
📈 GPT-3 и прогресс в ИИ 50:12
Ааронсон признаёт, что GPT-3 стала «огромным шагом вперёд» по сравнению с простыми чат-ботами прошлого, такими как Eliza. Он описывает процесс обучения модели как «перемалывание всего интернета в пульпу» для решения задачи предсказания следующего слова.
- Пределы модели: Несмотря на успехи, GPT-3 демонстрирует ироничные пробелы в базовой арифметике и логике, что, по мнению Ааронсона, указывает на необходимость интеграции различных «подпрограмм» мышления. Он допускает, что наше человеческое сознание также частично основано на предиктивной обработке (predictive processing), но дополнено другими механизмами.
🧩 Математическая красота сложности 58:53
Ааронсон назвал идею «универсальности» одной из самых красивых в теоретической информатике. Осознание того, что набор простейших логических вентилей (например, NAND) позволяет реализовать любую вычислимую функцию, было для него откровением, сравнимым с «пониманием того, откуда берутся дети».
- Класс SZK (Statistical Zero Knowledge): Среди сотен классов сложности из своего «зоопарка» (Complexity Zoo), Ааронсон выделяет класс SZK — задачи, для которых существуют доказательства с нулевым разглашением без использования криптографии. Это математическое понятие он считает глубоко фундаментальным.
- P vs NP: Гость подтверждает своё убеждение в том, что классы P и NP не равны. Хотя это остаётся открытой проблемой, он отмечает, что если бы $P=NP$ доказали и нашли эффективный алгоритм, это означало бы крах современной криптографии и радикальное ускорение прогресса в науке, так как компьютер смог бы находить короткие доказательства для любой гипотезы.
