ИИ в математике: гений или инструмент? Теренс Тао останавливает ночное поклонение

Когда ИИ решает открытую математическую задачу, которая оставалась нерешённой более 50 лет, заголовки взрываются. Но есть одна проблема: мы идолопоклонствуем то, что на самом деле — всего лишь улучшенная поисковая машина.

Недавно Терренс Тао — один из ведущих исследователей в области ИИ и математики — решил остановить коллективную эйфорию. Он сделал это не на конференции, а опубликовав ночью на GitHub, почти как будто хотел погасить огонь, прежде чем он охватит математическое сообщество. Его послание ясно: перестаньте вырывать из контекста.

Сказка, в которую никто не верил

Миф заманчив: «ИИ покоряет задачи, которые математики не могли решить десятилетиями!» Для тех, кто мечтает о AGI, это музыка. Для тех, кто защищает человеческий потенциал, звучит как экзистенциальная угроза.

Интересно, что Терренс Тао не говорит, что ИИ бесполезен. Он говорит нечто гораздо более неудобное: что мы сравниваем яблоки с апельсинами.

Когда смотришь на задачи Эрдёша, «решённые» ИИ, возникает вопрос: действительно ли они не были решены? Или просто не были хорошо задокументированы? Многие задачи на сайте, помеченные как «Open», — это просто «низко висящие плоды», мало проверенные. Некоторые уже имели решения в литературе, которые никто не обновлял. Другие имеют изначальные формулировки с двусмысленностями, которые ИИ «решил» буквально интерпретируя.

Истинная работа ИИ: инженерия, а не интуиция

Здесь интересно: Терренс Тао не отрицает достижения. Он переопределяет, что значит «достижение».

ИИ отлично справляется с:

• Систематическим поиском: сканированием огромных пространств задач
• Формальной проверкой: превращением доказательств в проверяемый код Lean
• Переписыванием: улучшением существующих аргументов
• Рутинными задачами: следованием известным шаблонам

Что ИИ (ещё) не делает — а именно это определяет настоящую математику: задавать правильные вопросы, создавать новые концепции, связывать результат с всей сетью существующих знаний.

Технически правильное доказательство, созданное ИИ, часто лишено контекста, мотивации, сравнения с существующей литературой. Это как карта без компаса: она работает, если ты знаешь, куда идти, но не помогает открыть новые территории.

Математик будущего: стратег, а не одинокий мыслитель

Здесь Тао находит баланс. Это не «ИИ против человечества». Это «Человечество + ИИ».

Будущее математика — не менее захватывающее, а просто иное. Мы перейдём от одиноких мыслителей к командирам тихих армий машин. Мы задаём видение, ИИ открывает пути. Мы определяем, какие вопросы важны, а ИИ помогает строить ответы.

То, что Терренс Тао пытается остановить своей ночной публикацией, — это простое: идолопоклонство отдельным случаям. Не потому, что ИИ слаб, а потому, что переоценка отвлекает нас от настоящей работы.

Призыв: перестать идолопоклонствовать, начать сотрудничество

Математика всегда была коллективной — между людьми, между поколениями, между дисциплинами. Чтобы ИИ стал частью этого диалога — логично. Но революционный инструмент всё равно остаётся инструментом.

Главное сейчас — быть честным: какие задачи действительно решил ИИ? Насколько сложными они были? Какую ценность они приносят дисциплине?

Потому что настоящая революция в математике не произойдёт, когда ИИ решит больше задач, чем люди. Она случится, когда люди и машины вместе откроют истины, которые никто из них не смог бы найти один.