Теренс Тао провел в Калтехе большую лекцию про математику в эру ИИ и выложил слайды https://terrytao.wordpress.com/2026/10/10/math-2-0/ Лекцию он назвал "Math 2.0", хотя еще в мае собирался читать ее под названием "Machine Assisted Proof". Сам он признается, что наполнение заметно изменилось "из-за недавних событий". Основная мысль Теренса такая: раньше математика строилась на допущении, что решить открытую задачу очень трудно и происходит это редко. Вокруг этого выросли институты, карьерные стимулы и традиции. Однако, на самом деле, решение задач – это лишь прокси метрика, а глобальная цель науки состоит в другом: в исследовании, поиске новых задач и понимании, как применить решения в реальном мире. Так вот, раньше эта прокси-метрика в виде решения открытых задач работала, потому чт…
Читать целиком