Оксфордский профессор и популяризатор науки Маркус дю Сотой исследует тонкую грань между человеческой интуицией и алгоритмическим вычислением. В своей дискуссии он раскрывает, почему математика — это прежде всего творческое искусство, как ИИ находит неожиданные паттерны в абстрактных данных и почему лень является главным двигателем прогресса.
🎨 Математика как мост между наукой и искусством 1:20
Маркус дю Сотой считает математику идеальным инструментом, объединяющим логику и креативность . Хотя в школе он увлекался театром и игрой на трубе, именно в числах он нашел язык, способный не только описывать Вселенную, но и создавать собственные миры, такие как геометрии, не соответствующие физической реальности .
Фундаментальное влияние на его мировоззрение оказала книга Г. Х. Харди «Апология математика» (A Mathematician's Apology) . Харди, работавший с индийским гением Рамануджаном, утверждал:
- Математика — это творческое искусство, а не «полезная» наука.
- Настоящая математика не имеет ничего общего с инженерным делом.
- Работа математика заключается в доказательстве теорем, а не в разговорах о них.
Несмотря на меланхоличное утверждение Харди о том, что математики не должны быть коммуникаторами, Маркус дю Сотой убежден: сегодня ученые обязаны делиться своими историями с обществом . Это необходимо для восстановления доверия, пошатнувшегося в периоды споров о ГМО и стволовых клетках .
🤖 Код творчества: может ли ИИ быть креативным? 9:01
Переход от жесткого программирования («сверху вниз») к машинному обучению («снизу вверх») открыл новые горизонты для ИИ . Маркус дю Сотой, участвуя в комитете Королевского общества вместе с Демисом Хассабисом, пришел к выводу, что алгоритмы начинают проникать в сферы, которые считались исключительно человеческими .
Поворотным моментом стал 37-й ход программы AlphaGo во второй партии против Ли Седоля . Этот ход считается первым по-настоящему творческим актом кода. По мнению Маргарет Боуден, когнитивиста и эксперта по ИИ, креативность должна соответствовать трем критериям:
- Новизна: ход был абсолютно новым для экспертов .
- Неожиданность: комментаторы были в шоке, посчитав ход ошибкой .
- Ценность: ход привел к победе в долгосрочной перспективе .
Маркус дю Сотой утверждает, что этот ход не был прописан человеком, а возник в процессе самообучения системы, что дает право называть это «творчеством кода» . Однако он подчеркивает разницу между простой верификацией данных и творческим поиском доказательств. Доказательство в математике он сравнивает с повествованием в романе (нарративом) .
🤝 Симбиоз человека и машины в науке 19:28
В декабре 2021 года в журнале Nature была опубликована работа DeepMind в сотрудничестве с учеными из Оксфорда, показавшая новый уровень взаимодействия . ИИ использовался не просто для проверки вычислений, а в качестве «телескопа» для поиска скрытых связей в огромных массивах данных .
Основные результаты этого сотрудничества по словам Маркуса дю Сотой:
- Теория узлов: ИИ обнаружил новые связи, которые люди не замечали десятилетиями .
- Теория представлений: алгоритм помог сформулировать новые гипотезы (conjectures) .
- Разделение ролей: ИИ отвечает за распознавание паттернов («что»), а человек — за аналитическое понимание («почему») .
Спикер полагает, что в будущем ИИ сможет уловить «стиль» математического мышления, анализируя все существующие доказательства, подобно тому как GPT-3 обучается на литературе . Однако математика остается более «чистой» средой для ИИ, чем литература, так как она самодостаточна и не требует понимания сложного культурно-исторического контекста .
⚡️ Психология сокращений: лень как суперсила 26:49
В своей книге «Thinking Better» Маркус дю Сотой реабилитирует лень. Он считает, что нежелание выполнять тяжелую, монотонную работу заставляет человеческий разум искать обходные пути — «шорткаты» .
Классическим примером является история юного Карла Фридриха Гаусса . Пока весь класс складывал числа от 1 до 100 последовательно, Гаусс заметил закономерность: пары (1+100, 2+99 и т.д.) всегда дают 101. Умножив 101 на 50 пар, он получил ответ мгновенно . Для Маркуса дю Сотой математика — это и есть искусство сокращения пути .
Он выделяет два типа труда по Аристотелю :
- Poiesis (Поэзис): работа ради цели. Здесь шорткаты необходимы, так как важен только результат (например, создание стула на станке) .
- Praxis (Праксис): деятельность ради самой деятельности. Это работа, которую мы любим (например, резьба по дереву или решение математической задачи ради удовольствия) .
🎲 Игры и структура Вселенной 33:50
Новая работа автора «Вокруг света за 80 игр» исследует природу ограничений. Игры кажутся странным занятием, так как мы добровольно создаем себе барьеры (правила), чтобы потом искать способы их преодоления .
Маркус дю Сотой видит глубокую связь между теорией групп, симметрией и играми:
- Игры и математика строятся на простых правилах, порождающих бесконечную сложность .
- Математика — это фундамент, позволяющий игроку получить преимущество («edge») .
- Вселенная, по мнению спикера, может быть «физическим воплощением математики» (в духе идей Макса Тегмарка) .
Спикер полагает, что математика существует вне времени и структуры, а физический мир лишь реализует определенные её части . Это объясняет, почему мы находим математические закономерности в музыке, архитектуре и природе.
🧐 Проблема доверия и «Техническая цензура» 55:09
В завершение дискуссии была затронута тема доверия к экспертизе на примере Эрика Вайнштейна и его теории «Геометрического единства» . Ведущий отметил, что Вайнштейн продвигал свои идеи через популярные подкасты (Джо Роган, Брайан Китинг), минуя академическое рецензирование, что вызвало скепсис в научной среде .
Маркус дю Сотой, который в 2013 году предоставил Вайнштейну площадку в Оксфорде, считает:
- Открытость идеям: наука должна быть открыта для внешних концепций, как это сделал Харди для Рамануджана .
- Критический анализ: открытость должна сочетаться с жесткой критикой, чтобы не допустить увлечения ложными идеями .
- Отсутствие шорткатов в истине: нет быстрого способа проверить сложную теорию (как гипотезу ABC Мотидзуки), кроме как кропотливо разбирать детали .
По мнению спикера, в эпоху социальных сетей, поощряющих конфронтацию, ученым важно сохранять способность к конструктивному диалогу и офлайн-обсуждениям .
