Terence Tao

Эссе Маджи утверждает, что ИИ может открыть золотой век математики или тёмный век, и считает, что «реальность, вероятно, объединит эти сценарии». Его опасения: доказательства верны, но нечитаемы, математики охраняют свои идеи, а несколько компаний контролируют инструменты.

Читатели спорили в основном о самом Тао: один назвал переход от апологета ИИ к тревоге «О нет, МаТеМаТиКа УмИрАеТ».

Гамбхир, теоретический физик-частичник, пишет как человек, который считает неэффективным объяснять или проверять результат, если те же ресурсы могут породить другой. Он называет результат хранилищем потенциально истинных фактов, которые никто не будет читать. Тао размещает текст у себя.

На HN самым острым был запуск симулятора Вавилонской библиотеки: случайные страницы — абракадабра, а ИИ-доказательства правдоподобны и часто верны. Ответ указал, что эссе говорит именно это, а шутка как раз в том, что это «выглядит правильно».

Теренс Тао опубликовал сырую переписку с ChatGPT о контрпримере к столетней гипотезе Якобиана — не пересказ математики, а настоящий диалог, сформулированный так, как говорит эксперт, идущий прямо к сути.

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

Кто-то попробовал трюк, который рано или поздно пробуют все: попросить ChatGPT угадать собеседника по той же переписке. Без подсказок модель предполагает «математик-исследователь или автор статьи».

Claude Fable 5 построила отображение седьмой степени с постоянным Якобианом -2, которое всё равно отправляет три разные точки в один результат — ломая обещание 87-летней гипотезы, что такие отображения обязаны быть обратимыми.

Пост Тао восстанавливает эту конструкцию по кускам, а не называет её чудом, и признаётся, что опирался на AI-чат-бота, чтобы проверить собственную математику.

Один из давних комментаторов написал, что разбор потерял его на алгебре, и отправил всех к самой переписке Тао с чат-ботом как к более понятному объяснению.