Теренс Тао выложил переписку с ChatGPT о математической гипотезе. Тред попытался вычислить в ней его самого

Переписка вместо статьи

Расшаренный диалог с ChatGPT, набравший 452 комментария на Hacker News, не пересказ и не пресс-релиз, а сырой диалог математика с моделью, в котором разбирается контрпример к гипотезе Якобиана — давно открытой проблеме алгебраической геометрии о том, обязан ли определённый класс полиномиальных отображений быть обратимым. Широко признанным автором считается лауреат Филдсовской медали Теренс Тао: судя и по тону переписки, и по её продолжению более раннего обсуждения того же контрпримера на Hacker News.

Читателей привлекла не сама математика: большинство комментаторов признавались, что не могут уследить за техническим содержанием, а регистр вопросов. Одну строку цитировали в треде снова и снова: «Я включил Pro. Продолжишь искать геометрическое объяснение чуда X_3 ~ A3, избегая координат и других немотивированных конструкций?» Так с чат-ботом не разговаривает любопытный любитель. Это лаконично, технически насыщенно и предполагает, что собеседник, человек или модель, уже владеет контекстом: так формулирует тот, кто десятилетиями работал в области, общаясь с коллегами, которым не нужно ничего разжёвывать.

«Это просто показывает, сколько можно выжать из этих моделей»

Главной реакцией треда было не сомнение в способности LLM к настоящему математическому рассуждению, а восхищение тем, что проявляется, когда диалог ведёт эксперт, а не новичок. Один комментатор сформулировал так: «Я понимаю, что это «просто» предсказание следующего токена, умножение матриц и просто софт, то есть никакого «интеллекта» тут нет, НО, глядя на этот диалог... чёрт! Удивительно, что LLM не просто следует за мыслью: она предлагает идеи, которые эксперту в предметной области реально приходится оценивать». Другой добавил, что ценность здесь вовсе не в математике: это редкое окно в то, как исследователь мирового уровня структурирует задачу в реальном времени: перенаправляет модель, отбрасывает тупиковые ветки, толкает к конкретному типу доказательства (геометрическому, без координат), а не принимает первое, что предложит модель.

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

Попросите модель угадать, с кем она говорит

Лучшая реплика треда прозвучала от комментатора, лично проверившего этот мета-эксперимент: попросить ChatGPT в той же или похожей переписке угадать личность собеседника. Без подсказок модель якобы самостоятельно предполагает «математик-исследователь или автор статьи» — а если подкинуть лёгкие контекстные намёки («это разошлось по интернету», «этот человек довольно известен»), сужает круг ещё дальше. В таких сессиях модель не просто отвечает на технические вопросы: она улавливает ровно те же признаки регистра: выбор слов, необъяснённый жаргон, уверенность перенаправлять собственные ответы — которые выдали автора аудитории Hacker News за считаные минуты после публикации переписки. Подтвердят ли Тао как автора за пределами собственных догадок треда или нет, переписка сама по себе доказывает: экспертиза не просто меняет, какие вопросы задаются модели, — она читается прямо в самой формулировке вопроса.