Маркус дю Сотой: «Наша лень — это суперсила, которая спасет нас от ИИ»

Talks at Google 10,1 тыс. 1 ч 1 мин 6 мин 24.06.2022
Главное

Математика часто воспринимается как сухая дисциплина, состоящая из жестких правил и вычислений, однако для Маркуса дю Сотоя она является высшей формой творческого искусства. В рамках проекта Talks at Google британский математик и популяризатор науки обсуждает свои последние исследования в области искусственного интеллекта, философии «кратчайших путей» и того, как машины меняют наше представление о творчестве.

🎨 Математика как мост между искусством и логикой 1:20

Маркус дю Сотой с юности сочетал в себе страсть к исполнительскому искусству и науке. Начав играть на трубе в 12 лет и активно участвуя в театральных постановках, он одновременно был очарован способностью науки объяснять происхождение и будущее Вселенной . Математика стала для него идеальным связующим звеном: с одной стороны, это язык науки, с другой — пространство для чистого творчества, где можно создавать геометрии и числовые системы, не имеющие прямых аналогов в физическом мире .

Важной вехой в становлении дю Сотоя стала книга Г. Х. Харди «Апология математика» . В ней Харди утверждал, что математика — это творческое искусство, а не просто прикладная наука. По словам дю Сотоя, Харди даже пренебрежительно относился к математике, используемой в инженерии, не считая её «настоящей» . Несмотря на то, что Харди считал ролью математика доказательство теорем, а не разговоры о них, сам он был блестящим коммуникатором, что вдохновило дю Сотоя на публичную деятельность .

Сегодня роль учёного в обществе изменилась:

🤖 Код творчества: может ли ИИ созидать? 10:34

Многие считают творчество уникальной человеческой чертой, выражением сознания и эмоций. Однако Маркус дю Сотой полагает, что мы находимся в моменте «фазового перехода» в написании программного кода . Современный ИИ обучается не «сверху вниз» через жесткие инструкции, а «снизу вверх», что открывает путь к неожиданным результатам.

Поворотным моментом для математика стал «ход 37» в матче AlphaGo против Ли Седоля . Этот ход был признан экспертами творческим, так как он соответствовал трем критериям Маргарет Боуден:

  1. Новизна: Ход был оригинальным и не встречался в базе человеческих партий.
  2. Неожиданность: Комментаторы и мастера го вначале сочли его ошибочным .
  3. Ценность: В конечном итоге этот ход обеспечил победу в партии .

Дю Сотой утверждает, что это был творческий акт именно кода, а не людей, написавших его, поскольку ход возник в процессе самообучения программы . В своей книге «Код креативности» автор исследует, насколько ИИ близок к тому, чтобы оставить математиков без работы . Доказательство теорем он сравнивает с повествованием в литературе: математики выбирают те связи, которые вызывают у них эмоциональный отклик и эстетическое удовольствие .

🧩 Симбиоз человека и машины в науке 19:28

В декабре 2021 года в журнале Nature вышла статья о прорыве в математике, достигнутом при участии DeepMind, Оксфорда и Сиднейского университета . Дю Сотой называет это примером идеального симбиоза:

По мнению гостя, ИИ пока не обладает «вкусом» или чувством контекста, но математика — это настолько самодостаточный мир (подобно игре го), что именно в ней ИИ может достичь наибольших успехов . Тем не менее, дю Сотой полагает, что для настоящего понимания математики ИИ может потребоваться «воплощенный опыт» или даже знание музыки, так как творчество в одной области часто питает идеи в другой .

⚡️ Психология кратчайшего пути: лень как суперсила 28:22

Вторая книга дю Сотоя, «Thinking Better», посвящена концепции «shortcuts» (кратчайших путей). Идея возникла в ответ на пессимизм журналистов, считающих, что ИИ заменит человека во всём .

Математик выдвигает парадоксальный тезис: наша лень — это наше спасение. В отличие от нейросетей, которые тратят колоссальное количество энергии и вычислений на каждую задачу, человек всегда ищет способ сделать меньше работы .

Классическим примером дю Сотой называет Карла Фридриха Гаусса . Когда учитель поручил классу сложить числа от 1 до 100, Гаусс не стал суммировать их по порядку, а заметил закономерность: 1+100=101, 2+99=101 и так далее. Умножив 50 пар на 101, он мгновенно получил ответ 5050 .

Дю Сотой классифицирует «кратчайшие пути» следующим образом:

Автор проводит различие между двумя типами труда по Аристотелю:

  1. Poiesis (Поэзис): Работа ради цели. Здесь кратчайшие пути необходимы.
  2. Praxis (Праксис): Деятельность, ценная сама по себе (например, резьба по дереву или долгая горная прогулка). В таких вещах сокращение пути лишает процесс смысла .

🎲 Мир игр и математические истины 33:57

Новая книга Маркуса дю Сотоя называется «Вокруг света за 80 игр» . Игры кажутся противоположностью «кратчайших путей», потому что они создают искусственные барьеры. Однако именно в преодолении этих ограничений проявляется творчество.

По мнению дю Сотоя:

🔍 Проблема доверия и научная честность 55:09

В завершение беседы модератор поднял вопрос о том, как обществу отличать истинное знание от псевдонауки в эпоху избытка информации. В качестве примера упоминался Эрик Вайнштейн и его теория «геометрического единства» .

Дю Сотой считает, что доверие — это хрупкая вещь: профессора университетов всё ещё обладают высоким кредитом доверия, в то время как государственные учёные часто воспринимаются настороженно . Его позиция по поводу спорных теорий такова: нужно давать платформу для идей, если в них есть рациональное зерно (например, интересное использование теории групп), потому что наука — это диалог .

Главный совет математика для оценки информации:

💬 Цитаты

«Математика для меня — это мост между желанием иметь язык для понимания Вселенной и потребностью в творческом самовыражении.»

Маркус дю Сотой 02:13

«Наша лень — это наше спасение. Человек не любит тяжелую работу, и это заставляет его искать черные входы в сложные проблемы.»

Маркус дю Сотой 28:22

«ИИ помогает нам перестать вести себя как машины и подталкивает к новым формам креативности.»

Маркус дю Сотой 41:42
👥 Спикеры
📚 Упомянутые книги
🎬 Упомянутые фильмы и сериалы
🔗 Упомянутые сайты и проекты
📖 Термины
Poiesis (Поэзис)
Тип деятельности по Аристотелю, направленный на достижение конкретного результата.
Praxis (Праксис)
Деятельность, ценность которой заключается в самом процессе, а не в результате.
Ход 37
Знаменитый ход программы AlphaGo, который эксперты назвали первым проявлением машинного творчества.
Теорема Гёделя о неполноте
Логический принцип, утверждающий, что в любой сложной системе есть истинные утверждения, которые невозможно доказать средствами этой системы.
📊 Цифры
🗓 Хронология
  1. 2010 Маркус дю Сотой удостоен ордена Британской империи.
  2. 2013 Эрик Вайнштейн представил свою теорию геометрического единства в Оксфорде по приглашению дю Сотоя.
  3. 2016 Маркус дю Сотой избран членом Лондонского королевского общества.
  4. 2021 Публикация в Nature о прорывных математических доказательствах с помощью ИИ.
⚖️ Другая сторона
Математика и физика Маркус дю Сотой DeepMind AlphaGo Г. Х. Харди Макс Тегмарк