Теренс Тао

Теренс Тао - профессор UCLA, лауреат Филдсовской премии (2006) - один из самых читаемых действующих математиков, во многом благодаря своему давнему блогу на WordPress. За последний год этот блог стал одним из наиболее авторитетных источников информации из первых рук о том, что LLM могут и чего не могут в математике. Тао описывает конкретику, а не впечатления: где именно модель справилась, какие баги внесла и где он счёл риски допустимыми.

Его публичная позиция сфокусирована и лишена неоправданного энтузиазма. Он писал о применении LLM для формальной верификации доказательств и генерации идей в исследовательских задачах, а отдельно - о менее критичных сценариях вроде учебных пособий и интерактивных дополнений к статьям. В каждом случае он чётко очерчивает границы доверия к результатам модели. Это делает его позицию полезным противовесом как хайпу в духе "ИИ теперь решает математику", так и полному обесцениванию через ярлык "стохастического попугая" - его отчёты выдерживают проверку деталями, поскольку он сам эти детали приводит.

Наряду с gowers-blog (Тим Гауэрс), Тао - один из двух филдсовских лауреатов, чьи заметки об LLM лежат в основе обсуждения на странице llm-mathematical-research. Они дополняют друг друга: Гауэрс описывает случай, когда модель предложила оригинальную исследовательскую идею, а Тао документирует более приземлённые, но более широкие сценарии, когда coding agent'ы создают сопутствующие инструменты и наглядные материалы к математическим работам.

Изученные статьи

• tao-apps-coding-agents - июль 2026 года: перенос математических Java applet'ов 1999 года на JavaScript и vibe-coding новых визуализаций с подробным разбором того, какие баги допустимы