Гений, который сломал математику и исчез: история Гротендика, чьи идеи через 60 лет всплыли в фундаменте ИИ⁠⁠

В деревушке Лассер на юге Франции, у подножия Пиренеев, живёт всего 247 человек. Ни казино, ни высоток, ни шума: только тишина и горы. С виду здесь ничего интересного не происходило больше века. Почти ничего. С 1991 по 2014 год там в полной изоляции жил человек, которого многие считают величайшим математиком XX века. Александр Гротендик. Он сознательно стер себя из мира, чтобы его никогда не нашли. И почти получилось.
Почему это история не про математику ради математики, а напрямую про ИИ и про то, как мы вообще учимся работать со сложностью? Сейчас расскажу. Чтобы понять масштаб, нужно вернуться в начало.
Гротендик родился в Берлине в 1928 году в еврейской семье. В пять лет родители посадили его на поезд в Париж: оставаться в Германии было опасно. Отец позже окажется в Освенциме и уже не вернётся. В 1942 году немецкие власти разлучили мальчика с матерью и спрятали в детском доме. Три травмы за десять лет жизни. Удивительно, но именно отсюда вырастет человек, который перестроит целые области математики с нуля.
После войны он поступает в Университет Монпелье. Студент странный: лекции почти не посещает, работает один, и заново выводит для себя теории, которые уже были открыты десятилетия назад, например, интеграл Лебега. Его замечает преподаватель Жак Сула и рекомендует Эли Картану. Гротендик уезжает в Париж, и там начинается его настоящий путь.
Под руководством Лорана Шварца и Жана Дьёдонне он берётся за функциональный анализ. Чтобы проверить наглого новичка, наставники подсовывают ему список из четырнадцати нерешённых задач и предлагают взяться хотя бы за две. Через пару недель он возвращается с решениями для семи. Его докторская диссертация про топологические тензорные произведения и ядерные пространства мгновенно выводит его в высшую лигу.
Дальше начинается главное. В начале 1960-х Гротендик переходит в алгебраическую геометрию и фактически переписывает её с чистого листа. Он вводит схемы, топосы, этальные когомологии, категории пучков. Если в двух словах: вместо того чтобы изучать конкретные кривые и поверхности, он научился работать с пространствами как с абстрактными структурами, у которых есть универсальный язык. Любую геометрическую штуку можно вытащить из её внутренней логики, не привязываясь к точкам и координатам.
Звучит как чистая абстракция, но именно эта линия породила теорию категорий и теорию топосов, которые сегодня лежат в основе целого пласта computer science. Функциональное программирование, типы в Haskell и Scala, формальная верификация, Coq и Lean, базы данных как функторы между категориями, гомотопическая теория типов. Всё это прямые наследники гротендиковского взгляда: смотреть не на объекты, а на отношения между ними.
Связь с ИИ ещё интереснее. Современные нейросети это в каком-то смысле геометрические объекты в пространстве признаков. Эмбеддинги, латентные многообразия, attention как способ переноса структуры между токенами, графовые сети, эквивариантные модели для физики и химии, категорный подход к описанию архитектур, как у Бронштейна с его Geometric Deep Learning. Когда инженеры пытаются объяснить, почему трансформер вообще работает, они приходят к языку, который Гротендик создал шестьдесят лет назад.
Сам он работал по 20 часов в сутки, спал на полу собственного кабинета, не интересовался ни деньгами, ни признанием. Его философия в одну строчку: упрощай всё до сути. В 1966 году ему дают Филдсовскую премию. Он отказывается ехать в Москву на церемонию, протестуя против подавления СССР венгерского восстания 1956 года. Позже отдаёт медаль и предлагает использовать золото на гуманитарную помощь Вьетнаму. Принципы для него важнее любых регалий.

Пишу как профессионально использовать Claude, чтобы он ничего вам не снес у себя в тг, подписывайтесь!
К началу 1970-х он окончательно ссорится с научным сообществом. Уходит из IHES, узнав, что часть его финансирования идёт от французского министерства обороны. Основывает движение Survivre et Vivre, занимается экологией и пацифизмом, его взгляды на антипотребление опередили время лет на сорок. В 1988 году отказывается и от премии Крафурда. Возвращается в Монпелье, пишет огромный тысячестраничный текст Récoltes et Semailles, размышление о математике, о себе и о том, как устроено познание.
В 1991 году он принимает финальное решение: исчезнуть. Передаёт ученику тысячи страниц неопубликованных работ и запрещает их распространять. Уезжает в Лассер и живёт там как отшельник до самой смерти в 2014 году. После него остаются 35 коробок архивов, десятки тысяч страниц записей, сделанных в одиночестве за 23 года. Сегодня они хранятся в Университете Монпелье, и расшифровать их полностью пока не получилось ни у кого.
Что из этого должен взять айтишник и AI-инженер? Во-первых, привычку переизобретать колесо иногда полезна: именно так Гротендик прокачал интуицию, выводя теории заново. Во-вторых, сила правильной абстракции выше любого технического трюка. В-третьих, идеи, которые сегодня кажутся оторванными от практики, через 50 лет могут оказаться скелетом ваших продакшен-систем. Когда вы пишете dependent types или собираете graph neural network, вы стоите на плечах человека, который умер отшельником в деревне с населением 247 человек.
Сам Гротендик однажды признался, что хотел бы освободиться от тирании мыслей. Но именно его мысли продолжают тихо двигать науку и технологии, в том числе ту самую революцию ИИ, которую мы наблюдаем прямо сейчас.