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

В деревушке Лассер на юге Франции, у подножия Пиренеев, живёт всего 247 человек. Ни казино, ни высоток, ни шума: только тишина и горы. С виду здесь ничего интересного не происходило больше века. Почти ничего. С 1991 по 2014 год там в полной изоляции жил человек, которого многие считают величайшим математиком XX века. Александр Гротендик. Он сознательно стер себя из мира, чтобы его никогда не нашли. И почти получилось.

Почему это история не про математику ради математики, а напрямую про ИИ и про то, как мы вообще учимся работать со сложностью? Сейчас расскажу.

Гротендик родился в Берлине в 1928 году в еврейской семье. Отец погиб в Освенциме, мать с ним разлучили в 1942 году. После войны он поступает в Университет Монпелье, заново выводит для себя теории, которые уже были открыты десятилетия назад, например, интеграл Лебега. Его замечают, и он переезжает в Париж к Лорану Шварцу и Жану Дьёдонне. Когда наставники подсовывают ему четырнадцать нерешённых задач и просят взяться за две, он через пару недель приносит решения для семи.

В начале 1960-х Гротендик переходит в алгебраическую геометрию и переписывает её с нуля. Он вводит схемы, топосы, этальные когомологии, категории пучков. Он научился работать с пространствами как с абстрактными структурами, у которых есть универсальный язык, не привязанный к точкам и координатам.

Именно эта линия породила теорию категорий и теорию топосов, на которых сегодня держится огромный пласт computer science. Функциональное программирование, типы в Haskell и Scala, формальная верификация, Coq и Lean, базы данных как функторы, гомотопическая теория типов. Всё это прямые наследники гротендиковского взгляда: смотреть не на объекты, а на отношения между ними.

Связь с ИИ ещё интереснее. Современные нейросети это геометрические объекты в пространстве признаков. Эмбеддинги, латентные многообразия, attention, графовые сети, эквивариантные модели, Geometric Deep Learning Бронштейна. Когда инженеры пытаются объяснить, почему трансформер вообще работает, они приходят к языку, который Гротендик создал шестьдесят лет назад.

Сам он работал по 20 часов в сутки, спал на полу собственного кабинета, отказался от Филдсовской премии в Москве в 1966 году в знак протеста против СССР, позже отдал саму медаль на гуманитарную помощь Вьетнаму. В 1991 году исчез в деревне Лассер, прожил отшельником до 2014 года. После него остались 35 коробок архивов с десятками тысяч страниц записей, которые до сих пор расшифровывают.

Что забрать айтишнику и AI-инженеру? Сила правильной абстракции выше любого технического трюка. Идеи, которые сегодня кажутся чистой математикой, через 50 лет могут оказаться скелетом ваших продакшен-систем. Когда вы пишете dependent types или собираете graph neural network, вы стоите на плечах человека, который умер отшельником в деревне с населением 247 человек.

Телеграм: t.me/ainewsline

Источник: vk.com

Комментарии: