tgoop.com/ai_machinelearning_big_data/7798
Last Update:
🎥 Лекс Фридман беседует с Терренсом Тао — одним из гениев современной математики.
Теренс Тао — один из самых выдающихся современных математиков.
Вот чем он особенно известен:
• Вундеркинд из Австралии, уже в 10 лет участвовал в Международной математической олимпиаде, а в 21 год получил степень доктора наук.
• Филдсовская премия: В 2006 году получил Филдсовскую медаль — высшую награду в математике, за вклад в гармонический анализ, уравнения и эргодическую теорию.
• Работа над задачей Коллатца, комбинаторикой, теорией вероятностей, уравнениями Навье–Стокса и др.
Интересны мысли из подкаста 👇
▪️ Как Тао решает сложные задачи?
Он превращает любую "невозможную" задачу в серию маленьких игр:
Сначала убирает все помехи, решает максимально простую версию, а потом шаг за шагом добавляет сложности обратно. Такой подход — не зацикливаться на тупике, а всегда двигаться вперёд, даже если проблема кажется непреодолимой.
▪️ Как развивается математика?
Прогресс возникает, когда объединяют разные математические языки: геометрию с алгеброй, динамику с энергетикой, дискретные игры с комплексными уравнениями. Так появляются простые законы, объясняющие сложные явления. Но для примера в финансах такая магия не работает: там слишком много скрытых связей и неожиданностей.
▪️ Формализация доказательств и Lean
Тао считает революционным переход к формальным доказательствам с помощью Lean (Lean — это современная формальная система и язык программирования, разработанный для проверки математических доказательств с помощью компьютера) — теперь каждое доказательство как программа: “компилируется” и проверяется сотнями добровольцев. Даже сложные гипотезы можно разбить на тысячи маленьких задач, видеть, где остались пробелы, и быстро исправлять. AI-автодополнение уже ускоряет работу, а скоро писать в Lean станет проще, чем на бумаге.
▪️ AI и будущее математики
Сегодня AI может решать школьную геометрию, но с настоящими открытиями пока не справляется: ему не хватает “математического чутья”. Тао уверен, что в ближайшие годы прорывы будут происходить в тандеме “человек+AI”: человек задаёт стратегию, а AI перебирает и проверяет рутину.
▪️ Гибкость и устойчивость гипотез
Некоторые гипотезы (например, о длинных арифметических прогрессиях) остаются верными даже при жёстких изменениях, а другие (например, гипотеза о близнецах-простых) могут рухнуть, если убрать совсем малую долю чисел — поэтому они такие сложные.
Вывод:
Математика будущего — это синтез идей, формальные доказательства и тесное сотрудничество с искусственным интеллектом. Главные открытия всё равно будут за человеком, а AI поможет делать их быстрее.
- Подкаст
- Смотреть в тг
- YouTube
- Spotify
@ai_machinelearning_big_data
#ai #ml #podcast #lexfridman
BY Machinelearning
Share with your friend now:
tgoop.com/ai_machinelearning_big_data/7798