Математик Теренс Тао за пару дней перенес свои старые Java-апплеты на современный стек. В 1999 году он писал визуализации для курсов по комплексному анализу и линейной алгебре на Java 1.0 — такие штуки как соты или множества Безиковича. Со временем браузеры перестали поддерживать старую версию Java, апплеты сломались. Теперь Тао мигрирует данные в более поддерживаемое хранилище с помощью AI-агента. В качестве эксперимента он попросил агента портировать свои старые апплеты на современный язык (выбрали Javascript). Тот справился за несколько часов — все апплеты снова работают, и даже с графическими улучшениями. Например, множество Безиковича теперь цветное, а не монохромное как в оригинале. Особенно Тао рад возвращению апплета с сотами, который он писал с Алленом Кнутсоном в 1999 — ту штуку было особенно сложно закодировать вручную.
Известно, что LLM-агенты могут плодить баги. Но при портировании двух десятков апплетов Тао нашел всего одну мелкую ошибку — неправильное поведение drag-события при перетаскивании за пределы поля в одном из апплетов комплексного анализа. Зато агент нашел два бага в оригинальном коде, о которых Тао даже не знал. Качество кода в итоге не пострадало. А учитывая, что это вспомогательные визуализации, а не критические компоненты математических доказательств, рисковать можно.
Процесс оказался настолько простым, что Тао решил сварганить и новые приложения. В 1999 у него была амбициозная идея инструмента для визуализации специальной теории относительности — по сути «Inkscape в пространстве Минковского». Он даже начал писать код на Java, но забросил из-за сложности. После пары часов «vibe coding» с AI-агентом он наконец получил апплет, который соответствовал его задумке 25-летней давности. Сейчас это альфа-версия, там ещё есть баги и шероховатости, Тао ждет фидбек.
После того как он написал статью про гипотезу Гилбрейта, Тао попросил агента за пару часов сделать визуализацию для этой гипотезы. Теперь он планирует добавлять такие интерактивные штуки к будущим работам. Риск багов он считает приемлемым — визуализации не влияют на суть математических результатов.