Все думали, что ИИ должен сначала помогать математикам доказывать теоремы, а Терри Тао поручил ему перенести старые веб-страницы 30-летней давности. За один день были перенесены 560 научных статей и препринтов, а также обнаружены два бага в коде, написанном им более двадцати лет назад, о которых он сам не знал.
Сайт был создан в 1997 году. Чтобы изменить даже одну строчку, приходилось открывать терминал и вручную вводить HTML. Так продолжалось почти тридцать лет.
Недавно Терри Тао передал свою личную домашнюю страницу ИИ-агенту.
Всего за один день 560 статей и препринтов, 374 записи о поездках, 68 курсов, 19 книг и 29 небольших математических программ были перемещены из старой архитектуры, созданной почти 30 лет назад, и обрели новый дом на GitHub Pages.
Но ещё интереснее то, что было обнаружено в процессе.
ИИ в старом сайте, которому почти тридцать лет, откопал кучу противоречивой информации, устаревших записей и неработающих ссылок. Эти ошибки были накоплены им самим за три десятилетия.
Он также попутно портировал те старые небольшие программы, написанные на Java 1.0, на JavaScript и нашёл в коде, написанном Терри Тао более двадцати лет назад, два бага, о которых сам математик не знал.
На этот раз ИИ не доказывал теоремы. Он взялся за «цифровую работу по дому», которой математики больше всего не хотят заниматься.
Архитектуре почти 30 лет, и он поддерживал её до 2026 года
Домашняя страница Терри Тао была создана в 1997 году. В то время он был ассистентом-профессором (Hedrick Assistant Professor) в UCLA, и на его странице висела длинная цепочка вручную собранных внешних ссылок — от группы новостей sci.math до его любимой серии книг «Колесо Времени».
Классический Web 1.0. Одна страница — одна тема, экран забит текстовыми ссылками, всё поддерживается вручную.
21 мая 1997 года. Терри Тао, ещё ассистент-профессор, и его только что созданная домашняя страница.
За почти тридцать лет эта архитектура больше не менялась.
Терри Тао постоянно добавлял на неё что-то новое: страницы с подробностями о трёх сотнях статей, записи о преподавании, расписание поездок, резюме, исправления к книгам. Метод всегда оставался одним и тем же — редактировать страницу за страницей, вручную загружать. Раньше он набирал HTML вручную в vi в своём Unix-аккаунте.
Единственную уступку XXI веку он сделал, перейдя на использование современного веб-редактора для генерации HTML, но ценой стал гораздо более раздутый код по сравнению с его ручным вариантом.
Содержание росло линейно, а стоимость поддержки — экспоненциально. По пути он перенёс страницы книг и карьерных советов в блог, что немного облегчило задачу, но всё равно было громоздко.
Когда контент копился всё больше, стоимость внесения изменений также росла, и в определённый момент ты просто смиряешься с тем, что ошибки остаются там, где есть.
Этим небольшим Java-программам пришлось ещё хуже. Браузеры отказались от поддержки Java 1.0, а у него одного не было сил портировать около двадцати программ на новый язык. Страницы так и висели, год за годом.
YAML — это источник истины, а веб-страница — просто «распечатка»
Терри Тао говорит, что недавно осознал: с ИИ-агентами миграция этой почти 30-летней старой системы должна была быть рутинной задачей.
И он попробовал. Процесс оказался «довольно безболезненным», как он выразился.
Ключевым моментом стало то, что он не стал заставлять ИИ переписывать кучу HTML, а поручил ему перестроить весь конвейер обработки данных.
Этот новый репозиторий называется tao-web, и его логика похожа на типографию.
Исходный материал — это YAML-файлы в каталоге data, по одной папке для каждого из восьми типов контента. Схемы (schema) управляют форматом, определяя, как должно выглядеть каждое поле.
Два Python-скрипта — один проверяет, другой «печатает». Если проверка не пройдена, код невозможно даже загрузить. Сгенерированные веб-страницы помещаются в каталог site и не попадают в систему контроля версий.
Последний пуш в ветку main, и GitHub Actions автоматически проверяет, «печатает» и публикует.
Репозиторий tao-web. В README чётко указано: YAML — единственный источник истины, веб-страницы генерируются. (Источник: GitHub teorth/tao-web)
Одна фраза в README репозитория лежит в основе всей архитектуры: YAML — единственный источник истины, веб-страницы генерируются.
За ней следует правило работы: изменяйте данные, но никогда не изменяйте сгенерированный HTML в каталоге site.
В старой системе каждая страница была независимым фактом. Одна и та же информация могла быть разбросана по пяти страницам, пропустишь одну при правке — и они начинают «спорить» друг с другом.
В новой системе факт существует только в одном экземпляре. Веб-страницы понижены до уровня представления, подобно листу бумаги, который можно в любой момент перепечатать.
Так личная база знаний одного человека превратилась из кучи документов в базу данных.
ИИ нашёл два бага в его старом коде
После переноса данных Терри Тао провёл второй эксперимент.
Начиная с 1999 года, для визуализации на курсах по комплексному анализу и линейной алгебре он написал на Java 1.0 несколько небольших программ. В своё время они хорошо зашли.
Позже браузеры перестали поддерживать эту версию Java, и все эти штуки разом устарели.
Теперь он поручил агенту портировать их на JavaScript. Около 20 небольших программ были восстановлены за несколько часов.
Большие языковые модели при написании кода создают различные, явные или скрытые, баги. В процессе портирования этих программ Терри Тао нашёл только один: поведение одной программы по комплексному анализу было некорректным при перетаскивании за пределы основного окна отображения.
С другой стороны, ИИ в его исходном коде нашёл два бага, о которых он сам никогда не подозревал.
Сравнив одно с другим, он пришёл к выводу: качество кода в целом осталось на том же уровне.
Лауреат Филдсовской премии, и ИИ нашёл две ошибки в коде, написанном им более двадцати лет назад.
Он тут же очертил границы этого вывода: эти небольшие программы являются вспомогательными визуальными инструментами, а не ключевыми частями математических доказательств, поэтому последствия багов изначально невысоки.
Перетащил за рамки — пользователь сам заметил. А ошибся в доказательстве — это уже профессиональный инцидент.
Эта граница и есть ключевой момент методологии Терри Тао.
Программы по комплексному анализу изначально были написаны Терри Тао на Java в период с 1998 по 2000 год. Теперь под каждой из них указано: портировано с помощью Claude Code. (Источник: teorth.github.io/tao-web)
Ошибки не страшны, страшно, когда их нельзя исправить
Терри Тао не стал обходить проблему галлюцинаций ИИ.
Он чётко заявил, что современные ИИ по-прежнему склонны к галлюцинациям, и в процессе миграции могли быть внесены новые ошибки.
Но, по его личной проверке, уровень ошибок «действительно кажется ниже, чем раньше». И что ещё важнее — крупномасштабное исправление ошибок стало гораздо проще.
Конечно, это его впечатление после ручной проверки, а не цифры, полученные в результате тестирования.
Терри Тао не сравнивал ИИ с «идеалом». Он сравнивал «ИИ плюс ручная проверка» с «чисто ручным сопровождением в течение тридцати лет».
Ручное сопровождение само по себе — машина, непрерывно производящая ошибки. Просто они копились тридцать лет, и ни у кого не было сил их все проверить.
Большинство споров об ИИ застревают на вопросе «а не допустит ли он ошибок?». Терри Тао в основном оценивал, у кого ниже уровень ошибок и у кого меньше стоимость их исправления.
Накопленные ошибки сами по себе не страшны. Страшно, когда их невозможно исправить. В старом сайте, чтобы изменить одну информацию, нужно было просмотреть пять страниц. В новом — изменить одну строку YAML, и весь сайт автоматически перестроится.
Идея, отложенная на 27 лет, реализована за два часа
После портирования старых программ он решил пойти ещё дальше.
В 1999 году у него была амбициозная идея: создать инструмент для визуализации специальной теории относительности.
Ему нужна была интерактивная доска для рисования в духе относительности: задай траекторию движения, смени точку зрения наблюдателя — и вся картинка преобразуется по правилам теории относительности. По его словам, «Inkscape в пространстве Минковского».
Он даже начал писать код на Java, но в итоге его отпугнула сложность кода, и проект был заброшен.
Он и ИИ-агент поработали в режиме совместного кодинга (vibe coding) два часа — и идея 1999 года была реализована.
11 июля этот симулятор диаграмм пространства-времени был опубликован и стал первым оригинальным приложением на новом сайте. Сам он пометил его как альфа-версию.
Симулятор диаграмм пространства-времени, задуманный в 1999 и реализованный 27 лет спустя. Одно и то же межзвёздное путешествие нарисовано в двух системах отсчёта (слева и справа). (Источник: teorth.github.io/tao-web)
То, что остановило его тогда, была не математика, а сложность кода. 27 лет спустя этот пробел был восполнен.
Терри Тао дал всему этому событию свою оценку.
Он сказал, что поддержка веб-сайта, вероятно, одна из самых непривлекательных и неувлекательных частей академического рабочего процесса. И именно такие скучные рутинные задачи особенно хорошо подходят для современных платформ, таких как GitHub, и для инструментов автоматизации, куда входят как современный ИИ, так и традиционные детерминированные скрипты.
Сколько лабораторий, журналов, исследовательских институтов до сих пор сидят на HTML, Excel и локальных каталогах, накопленных за десятилетия. Первой реальной работой ИИ-агентов может стать именно миграция этих «цифровых активов».
Конечно, всё это доказывает, что ИИ хорошо подходит для миграции данных, структурирования и автоматизированной поддержки, но не означает, что ИИ уже может надёжно обрабатывать все академические данные, и уж тем более не означает, что ручную проверку можно опустить.
Что действительно изменилось, так это отношения математика с накопленным за три десятилетия наследием: раньше он лично ухаживал за этим наследием, теперь он — человек, который ставит окончательную проверку.
Ссылки:
https://mathstodon.xyz/@tao/116893088594916122
https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/
https://github.com/teorth/tao-web
https://teorth.github.io/tao-web/https://news.ycombinator.com/item?id=48880170
Статья из официального аккаунта WeChat «新智元», автор: ASI启示录
