Разбор AI-доказательства оказался понятнее самого AI-диалога с ним (terrytao.wordpress.com)
Claude Fable 5 построила отображение седьмой степени с постоянным Якобианом -2, которое всё равно отправляет три разные точки в один результат — ломая обещание 87-летней гипотезы, что такие отображения обязаны быть обратимыми.
Пост Тао восстанавливает эту конструкцию по кускам, а не называет её чудом, и признаётся, что опирался на AI-чат-бота, чтобы проверить собственную математику.
Один из давних комментаторов написал, что разбор потерял его на алгебре, и отправил всех к самой переписке Тао с чат-ботом как к более понятному объяснению.
Войдите, чтобы сохранить