Теренс Тао провел в Калтехе большую лекцию про математику в эру ИИ и выложил слайды
Теренс Тао провел в Калтехе большую лекцию про математику в эру ИИ и выложил слайды Лекция получила название «Math 2.0», хотя ещё в мае Тао собирался выступать с «Machine Assisted Proof» — о доказательствах с помощью машин. По его словам, содержание заметно изменилось «из-за недавних событий». Тезис Тао: математика долго жила с установкой, что решить открытую, то есть пока нерешённую, задачу очень трудно и удаётся это редко. Под неё сложились институты, карьерные стимулы и традиции. Но количество решённых задач — лишь прокси-метрика: косвенный показатель прогресса, а не сама цель науки. Цель шире — исследовать, находить новые задачи и понимать, как применять решения в реальном мире. Раньше этот показатель работал: по дороге к доказательству математики накапливали опыт и понимание. Теперь слепую оптимизацию одного лишь решения задач Тао называет «активно вредной для долгосрочного здоровья математики». Если ИИ выдаёт готовый ответ в обход людей, поле вокруг задачи словно стерилизуется. Неисследованные пути остаются неисследованными, понимание не накапливается, а цикл работы перестаёт воспроизводить условия для дальнейшего исследования. По мысли Тао, так растёт доля решений, которые работают на бумаге, но расходятся с тем, что действительно нужно миру. Его мысленный эксперимент: ИИ придумал коктейль, убивающий все раковые клетки, и результат даже подтверждён клиническими испытаниями третьей фазы. Стали бы вы его вводить, если ни один человек-эксперт не понимает механизм действия? «Math 2.0» — предложенный Тао сдвиг от уничтожения открытых задач к укреплению человеческого понимания с помощью ИИ. Искать объяснения и новые принципы, исследовать окрестности гипотез — связанные с ними вопросы и подходы, — а не только генерировать доказательства. Именно так, считает он, ИИ может ускорить прогресс. Поле огромное и почти непаханое; главным ограничением Тао называет уже не технологии, а воображение. Материалы: — https://terrytao.wordpress.com/2026/10/10/math-2-0/ Источник: https://t.me/data_secrets/10138 #RealVibe #AI #AI_Новости