Когда студент обгоняет корифеев

Слушайте, вот эта история меня реально зацепила.

Десятилетиями математики были уверены: одна важная гипотеза о переворачивании математических функций скорее всего верна. Доказать не получалось. А потом кто-то взял и поискал контрпример с помощью ИИ — нашёл такой, который помещается в один твит.

Левент Альпёге из Anthropic недавно объявил, что использовал Claude Fable 5 для поиска контрпримера к гипотезе Якоби. И это не просто "ИИ сделал что-то прикольное". Тут есть поэтика.

А что вообще за гипотеза?

Попробую объяснить простым языком, потому что Википедия меня тоже пугает.

Представьте функцию — штуку, которая берёт числа на входе и выдаёт другие числа на выходе. Гипотеза Якоби касается вот чего: можно ли всегда найти обратную функцию, которая всё вернёт на место?

Типа если наша функция сдвигает точки в пространстве, то гипотеза утверждает: пока функция не "сминает" пространство определённым способом (есть такая штука — определитель Якоби), должен существовать разворот.

Звучит логично, да?

Проблема в том, что никто так и не смог это доказать для всех случаев. А теперь выяснилось: для некоторых измерений это вообще неверно.

Сюрприз: всё оказалось проще

Вот что 数学 (математики — прим. автора, шучу) обсуждают с горящими глазами: контрпример Альпёге — крошечный. Ну, просто смешно.

Хитрость в том, что нужен очень специальный тип функции — которая не "сворачивает" пространство, но при этом необратима. Звучит противоречиво? Как-то умудряются сосуществовать.

И вот загвоздка: эксперты думали, что таких примеров либо нет вообще, либо они безумно сложные. Вместо этого Клод нашёл формулу настолько короткую и элегантную, что один пользователь Math Stack Exchange ещё годы назад написал: "Какой-нибудь умный студент мог бы просто записать формулу" и развалить всю гипотезу.

Оказалось, он был прав. Другие математики проверили almost сразу.

Почему это важно?

Знаю, о чём вы думаете: "Мне-то что с этого?"

Понятно. Вот моё мнение: история не про математику. Она про то, что ИИ становится настоящим партнёром в творчестве и открытиях. Не просто инструментом для узких задач, а тем, что помогает думать по-новому. Факт, что модель, выпущенная пару недель назад, помогла разобраться с задачей почти 90 лет от роду? Это впечатляет.

Ещё это вписывается в паттерн: ИИ делает реальный вклад в области, которые казались неприкасаемыми для автоматизации. Математики, физики, программисты — кто бы мог подумать, да?

Кстати, изначальная двумерная версия гипотезы (ещё с 1884 года!) так и не решена. Так что работа ещё есть. Но для трёх измерений и выше? Закрыто.

Главная мысль

Самое интересное — это урок про интуицию в математике. Десятилетиями корифеи верили, что гипотеза верна. строили на этом карьеры. А быстрый поиск ИИ показал: интуиция подвела — по крайней мере для высоких измерений.

Есть над чем задуматься. Даже гениальные люди могут пропустить очевидное, когда смотрят не в ту сторону. Иногда просто нужен свежий взгляд — или свежая нейросеть.

Как бы вы ни относились к ИИ — согласитесь: странные и захватывающие времена.