# Маркус дю Сотой: «Наша лень — это суперсила, позволяющая переиграть алгоритмы» Источник: https://www.youtube.com/watch?v=1wJ6LMqPm9I Канал: Talks at Google Опубликовано: 24.06.2022 --- Оксфордский профессор и популяризатор науки Маркус дю Сотой исследует тонкую грань между человеческой интуицией и алгоритмическим вычислением. В своей дискуссии он раскрывает, почему математика — это прежде всего творческое искусство, как ИИ находит неожиданные паттерны в абстрактных данных и почему лень является главным двигателем прогресса. ## 🎨 Математика как мост между наукой и искусством [[JUMP:01:20]] Маркус дю Сотой считает математику идеальным инструментом, объединяющим логику и креативность [01:45]. Хотя в школе он увлекался театром и игрой на трубе, именно в числах он нашел язык, способный не только описывать Вселенную, но и создавать собственные миры, такие как геометрии, не соответствующие физической реальности [02:13]. Фундаментальное влияние на его мировоззрение оказала книга Г. Х. Харди «Апология математика» (A Mathematician's Apology) [02:39]. Харди, работавший с индийским гением Рамануджаном, утверждал: * Математика — это творческое искусство, а не «полезная» наука. * Настоящая математика не имеет ничего общего с инженерным делом. * Работа математика заключается в доказательстве теорем, а не в разговорах о них. Несмотря на меланхоличное утверждение Харди о том, что математики не должны быть коммуникаторами, Маркус дю Сотой убежден: сегодня ученые обязаны делиться своими историями с обществом [05:46]. Это необходимо для восстановления доверия, пошатнувшегося в периоды споров о ГМО и стволовых клетках [05:06]. ## 🤖 Код творчества: может ли ИИ быть креативным? [[JUMP:09:01]] Переход от жесткого программирования («сверху вниз») к машинному обучению («снизу вверх») открыл новые горизонты для ИИ [09:27]. Маркус дю Сотой, участвуя в комитете Королевского общества вместе с Демисом Хассабисом, пришел к выводу, что алгоритмы начинают проникать в сферы, которые считались исключительно человеческими [10:08]. Поворотным моментом стал 37-й ход программы AlphaGo во второй партии против Ли Седоля [11:13]. Этот ход считается первым по-настоящему творческим актом кода. По мнению Маргарет Боуден, когнитивиста и эксперта по ИИ, креативность должна соответствовать трем критериям: 1. **Новизна**: ход был абсолютно новым для экспертов [12:11]. 2. **Неожиданность**: комментаторы были в шоке, посчитав ход ошибкой [12:23]. 3. **Ценность**: ход привел к победе в долгосрочной перспективе [12:37]. Маркус дю Сотой утверждает, что этот ход не был прописан человеком, а возник в процессе самообучения системы, что дает право называть это «творчеством кода» [13:03]. Однако он подчеркивает разницу между простой верификацией данных и творческим поиском доказательств. Доказательство в математике он сравнивает с повествованием в романе (нарративом) [15:58]. ## 🤝 Симбиоз человека и машины в науке [[JUMP:19:28]] В декабре 2021 года в журнале Nature была опубликована работа DeepMind в сотрудничестве с учеными из Оксфорда, показавшая новый уровень взаимодействия [19:42]. ИИ использовался не просто для проверки вычислений, а в качестве «телескопа» для поиска скрытых связей в огромных массивах данных [22:20]. Основные результаты этого сотрудничества по словам Маркуса дю Сотой: * **Теория узлов**: ИИ обнаружил новые связи, которые люди не замечали десятилетиями [21:01]. * **Теория представлений**: алгоритм помог сформулировать новые гипотезы (conjectures) [21:13]. * **Разделение ролей**: ИИ отвечает за распознавание паттернов («что»), а человек — за аналитическое понимание («почему») [23:02]. Спикер полагает, что в будущем ИИ сможет уловить «стиль» математического мышления, анализируя все существующие доказательства, подобно тому как GPT-3 обучается на литературе [24:22]. Однако математика остается более «чистой» средой для ИИ, чем литература, так как она самодостаточна и не требует понимания сложного культурно-исторического контекста [25:55]. ## ⚡️ Психология сокращений: лень как суперсила [[JUMP:26:49]] В своей книге «Thinking Better» Маркус дю Сотой реабилитирует лень. Он считает, что нежелание выполнять тяжелую, монотонную работу заставляет человеческий разум искать обходные пути — «шорткаты» [28:22]. Классическим примером является история юного Карла Фридриха Гаусса [28:51]. Пока весь класс складывал числа от 1 до 100 последовательно, Гаусс заметил закономерность: пары (1+100, 2+99 и т.д.) всегда дают 101. Умножив 101 на 50 пар, он получил ответ мгновенно [29:17]. Для Маркуса дю Сотой математика — это и есть искусство сокращения пути [29:32]. Он выделяет два типа труда по Аристотелю [31:42]: * **Poiesis (Поэзис)**: работа ради цели. Здесь шорткаты необходимы, так как важен только результат (например, создание стула на станке) [31:54]. * **Praxis (Праксис)**: деятельность ради самой деятельности. Это работа, которую мы любим (например, резьба по дереву или решение математической задачи ради удовольствия) [32:06]. ## 🎲 Игры и структура Вселенной [[JUMP:33:50]] Новая работа автора «Вокруг света за 80 игр» исследует природу ограничений. Игры кажутся странным занятием, так как мы добровольно создаем себе барьеры (правила), чтобы потом искать способы их преодоления [34:16]. Маркус дю Сотой видит глубокую связь между теорией групп, симметрией и играми: * Игры и математика строятся на простых правилах, порождающих бесконечную сложность [35:47]. * Математика — это фундамент, позволяющий игроку получить преимущество («edge») [36:40]. * Вселенная, по мнению спикера, может быть «физическим воплощением математики» (в духе идей Макса Тегмарка) [39:05]. Спикер полагает, что математика существует вне времени и структуры, а физический мир лишь реализует определенные её части [39:32]. Это объясняет, почему мы находим математические закономерности в музыке, архитектуре и природе. ## 🧐 Проблема доверия и «Техническая цензура» [[JUMP:55:09]] В завершение дискуссии была затронута тема доверия к экспертизе на примере Эрика Вайнштейна и его теории «Геометрического единства» [55:21]. Ведущий отметил, что Вайнштейн продвигал свои идеи через популярные подкасты (Джо Роган, Брайан Китинг), минуя академическое рецензирование, что вызвало скепсис в научной среде [55:47]. Маркус дю Сотой, который в 2013 году предоставил Вайнштейну площадку в Оксфорде, считает: 1. **Открытость идеям**: наука должна быть открыта для внешних концепций, как это сделал Харди для Рамануджана [1:00:15]. 2. **Критический анализ**: открытость должна сочетаться с жесткой критикой, чтобы не допустить увлечения ложными идеями [1:00:40]. 3. **Отсутствие шорткатов в истине**: нет быстрого способа проверить сложную теорию (как гипотезу ABC Мотидзуки), кроме как кропотливо разбирать детали [59:06]. По мнению спикера, в эпоху социальных сетей, поощряющих конфронтацию, ученым важно сохранять способность к конструктивному диалогу и офлайн-обсуждениям [59:48].