← Главная новостей | Торговый зал
2026-11-04 · Источник：SiliconANGLE p2
Согласно блог-посту, опубликованному 4 сентября 2026 года, Claude создал компьютерно проверяемую версию знаменитого сложнейшего доказательства Великой теоремы Ферма.
Компания Anthropic PBC нацелила модель Claude на одну из самых знаменитых и сложных математических задач. В блог-посте, опубликованном 4 сентября 2026 года, компания описала проект, в рамках которого Claude был использован для создания проверяемого машиной изложения доказательства Великой теоремы Ферма — результата, который сама Anthropic характеризует как одновременно знаменитый и чрезвычайно сложный.
В центре задания — формализация. Доказательство, как оно подано в публикации, представляет собой последовательность рассуждений, устанавливающую корректность математической гипотезы. Доказательства, написанные для человеческого читателя, сколь бы строгими они ни были, полагаются на проверку самими читателями; компьютерно проверяемая версия, напротив, излагает рассуждение в форме, которую машина способна верифицировать напрямую. Именно в дистанции между этими двумя регистрами и кроется трудность — и именно её предстояло преодолеть Claude в работе над доказательством, которое сама компания называет крайне сложным.
Выбор цели придаёт упражнению вес. Великая теорема Ферма, по описанию Anthropic, — знаменитая гипотеза, а доказательство, её подтверждающее, — именно тот тип запутанного рассуждения, ради фиксации которого и затеваются усилия по формализации. Для разработчика ИИ привлекательность такой задачи носит структурный характер: компьютерно проверяемое доказательство либо проходит проверку, либо нет, что практически не оставляет места двусмысленности, способной затуманить оценку моделей в менее формальных областях.
Для корпоративных заказчиков, следящих за способностями моделей, анонс вписывается в узнаваемый сценарий: передовая лаборатория публикует демонстрацию возможностей, а не выпуск продукта. Блог-пост Anthropic остаётся главным публичным документом проекта, а зафиксированная в нём работа — формализация Claude доказательства Великой теоремы Ферма — проверяема так, как проверяемы немногие заявления в сфере ИИ. Как бы ни оценивать этот рубеж, исходное послание предельно просто: результат модели существует в форме, которую может верифицировать машина, а не человек-рецензент, и окончательный вердикт выносит математика, а не маркетинговые тексты.
Теги: Anthropic · Claude · Formal Verification · AI Reasoning · Fermat's Last Theorem
萬安算交所 AIXX · AIXX · Верифицированная биржа · В торговый зал