# Грант Сандерсон: «ИИ изменит роль математика на куратора смыслов»

Источник: https://www.youtube.com/watch?v=TfyPshgMbug
Канал: Dwarkesh Patel
Опубликовано: 30.06.2026

---

## Будущее математики в эпоху ИИ: между доказательствами и смыслом
[[JUMP:0:00]]

Математика стала первой областью, где ИИ демонстрирует взрывной прогресс, обходя достижения в других сферах. Этот прорыв, обсуждаемый ведущим подкаста Дваркешем Пателем и создателем канала 3Blue1Brown Грантом Сандерсоном, служит «лакмусовой бумажкой» для того, как ИИ будет трансформировать мир в целом. Главный сюжет дискуссии — вопрос о том, останется ли математика полем для человеческого творчества и понимания или превратится в автоматизированную фабрику теорем.

### 🧩 ИИ и «пятнистая» природа математического прогресса
[[JUMP:1:43]]

Математический прогресс не является равномерным — он имеет «пятнистую» структуру (jagged landscape), где одни задачи решаются легко, а другие остаются неприступными.

*   **Международная математическая олимпиада (IMO):** ИИ уже достиг уровня, близкого к золотой медали. Например, геометрию он «решает» почти мгновенно, применяя методы «грубой силы».
*   **Слабые места:** Combinatorics (комбинаторика) остается более сложной областью, требующей качественного скачка в «творчестве», что пока остается последним бастионом человеческого превосходства.
*   **Проблема эталонов (Benchmark):** Сандерсон отмечает, что успех на IMO — это не «момент истины», а просто очередной пройденный этап. Поиск «следующего уровня» упирается в невозможность количественной оценки качественных вещей, таких как способность генерировать глубокие гипотезы или создавать новые определения, которые объединяют разные области знаний.

### ⛰️ Строительство гор vs. поиск молний
[[JUMP:3:12]]

Участники обсуждают три сценария развития математических прорывов под воздействием ИИ:

1.  **Поиск «молний»:** ИИ находит связи между уже существующими областями (как взаимодействие случайных матриц и статистики нулей дзета-функции Римана). Это требует глубокой экспертизы, но не всегда — нового фундамента.
2.  **Строительство «гор»:** создание новых теорий, требующих десятилетий усилий (как работа Эвариста Галуа над теорией групп или создание общей теории относительности Эйнштейном). Это глубокое концептуальное переосмысление, которое кардинально отличается от текущих задач ИИ.
3.  **Raw hustle:** решение задач через перебор и огромные вычислительные затраты, что не дает новых понятий для людей.

Сандерсон подчеркивает, что проверка продуктивности новой концепции может занимать столетие (как в случае с теорией групп Галуа). ИИ должен научиться не просто решать уравнения, а создавать «сжатые» (compressed), элегантные представления, понятные людям.

### 🧪 Роль «шлифовки» и grindability
[[JUMP:54:11]]

Почему ИИ так успешен в коде и математике, но «буксует» в использовании компьютера для реальных задач?

*   **Grindability (возможность «наработки»):** Математику и код можно «контейнеризировать», запуская тысячи параллельных экспериментов. В реальном мире (онлайн-шопинг, бизнес) это невозможно из-за защиты сайтов и непредсказуемости среды.
*   **Проверка и Lean:** Хотя язык формализации Lean часто называют важным для математики, текущий прогресс (как в случае с контрпримером для гипотезы о единичном расстоянии) достигается и на естественном языке, что делает Lean важным, но не единственным инструментом будущего.
*   **Увеличение энтропии:** Сандерсон полагает, что ключевое преимущество ИИ — в возможности систематически пробовать разные «биасы» (например, одна группа агентов пытается доказать утверждение, другая — опровергнуть), что предотвращает «коллапс энтропии», свойственный человеческому мышлению.

### 🎓 Будущее профессии математика
[[JUMP:35:42]]

Оба собеседника сошлись во мнении, что роль математика неизбежно сместится:

*   **Курирование:** Математики станут своего рода кураторами в «музее идей», помогая обществу ориентироваться в бесконечном пространстве того, что открыл ИИ.
*   **Обучение:** Отношения «учитель–ученик» останутся глубоко социальными и реляционными, что делает преподавание одной из самых стабильных профессий.
*   **Понимание:** ИИ может оказаться лучше людей в доказательстве, но люди останутся критически важными в качестве тех, кто объясняет и дистиллирует смыслы для остального мира.