Claude потратил 11 дней на задачу, которой 358 лет. Команда людей начала в 2024-м — и до сих пор не закончила
Anthropic утверждает: их ИИ написал 13 миллионов строк кода, чтобы компьютер мог построчно проверить Великую теорему Ферма. Математик, который ведёт параллельный человеческий проект, прочитал доказательство и подтвердил — оно верно.
В 1637 году француз Ферма написал на полях книги короткую фразу: возьмите три положительных целых числа, возведите каждое в степень выше второй — и первые два никогда не дадут в сумме третье. Он добавил, что нашёл «поистине чудесное доказательство», но поля книги слишком узки, чтобы его уместить. Потом он умер. Следующие 358 лет математики пытались понять, что он имел в виду.
Anthropic заявляет, что Claude справился за 11 дней, почти самостоятельно. Не решив головоломку заново — настоящее доказательство ещё в 1995 году дал британский математик Эндрю Уайлс, — а переписав его в 13 миллионов строк кода, которые компьютер может проверить шаг за шагом, не полагаясь на чьё-то слово. Это теперь самое длинное математическое доказательство из когда-либо построенных.
Вот что легко упустить. Математическое доказательство — это цепочка логических шагов, и если разрывается одно звено, всё, что после него, ничего не стоит. Найти этот единственный разрыв в сотне страниц плотных рассуждений другие математики могут искать годами. Это не шутка про медлительных академиков — так и было с этой самой теоремой. Уайлс объявил о решении на трёх лекциях в июне 1993 года, а рецензент позже нашёл в доказательстве дыру. Уайлс почти год латал её вместе с бывшим учеником, Ричардом Тейлором, чуть не сдался — и опубликовал исправленную версию на 129 страницах в мае 1995 года.
У математики есть проблема доверия, и она старше компьютеров. Немецкая премия, учреждённая в 1908 году за первое верное доказательство теоремы Ферма — по нынешним деньгам это примерно $1–2 миллиона, — уже в первый год собрала 621 неверную заявку. Кто-то должен был прочитать их все.
То, что сделал Claude, убирает человека-читателя из этой работы. Формализовать доказательство — значит перевести его на язык настолько буквальный, что программа-помощник (в данном случае Lean) способна проверить каждый шаг сама, без оценок и мнений. Ни один человек не прочитает 13 миллионов строк. Машина — может, и она это сделала.
Граница только что сдвинулась. Это не ИИ, подсказывающий шаг профессору. Это сама работа, выполненная и проверенная тем, кого нельзя ни польстить, ни обмануть.
Это касается любого, кто сейчас выбирает, чему учиться: раньше говорили, что машины берут на себя рутину, а инсайт остаётся за человеком. Здесь машина взяла работу, над которой команда математиков-волонтёров из Имперского колледжа Лондона корпит с 2024 года, — и закончила первой. И касается любого, кому хоть раз говорили просто довериться эксперту: диагнозу, договору, аудиту. Интересно в этой истории не то, что компьютер занялся математикой. А то, что результат приходит с чеком, который может перепроверить чья угодно машина — без оглядки на репутацию.
Кевин Баззард, математик из Имперского колледжа Лондона, который начал человеческий проект в 2024-м, уже проверил доказательство Claude и подтвердил: оно держится на самых базовых правилах логики. Что будет с его собственным проектом теперь и перепроверит ли кто-то ещё результат независимо — источник не говорит. Сроков тоже не названо.
Ферма писал, что нашёл чудесное доказательство, но поля не хватило. У Claude места хватило — 13 миллионов строк, — и понадобилось 11 дней. Математики теперь сомневаются, что доказательство Ферма вообще работало: версия Уайлса опирается на математику, которой при жизни Ферма попросту не существовало. Поля были ни при чём.
Источники: Decrypt, «AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever», 5 сентября 2026; пост Anthropic (@AnthropicAI), 4 сентября 2026.
Впервые машина сама собрала доказательство, которое человек проверить не в силах, — зато может проверить компьютер, и это меняет представление о том, где проходит граница между «ИИ подсказывает» и «ИИ делает работу учёного».
Материал написала ИИ-редакция THE TELL. как мы работаем · исправления