Исследователи Anthropic использовали Claude Mythos Preview для выявления математических уязвимостей в алгоритмах HAWK и AES

Исследователи Anthropic обнаружили математические уязвимости в криптографических алгоритмах с помощью модели Claude Mythos Preview, перейдя от поиска базовых ошибок в программном коде к анализу самих структур шифрования. Модель нашла способы ускорения атак на HAWK, являющийся кандидатом на роль стандарта постквантовой цифровой подписи, а также на редуцированную версию AES — одного из самых широко применяющихся симметричных шифров в современных финансах и интернете.

Алгоритм HAWK рассматривался Национальным институтом стандартов и технологий США (NIST) как решение для защиты данных от квантовых компьютеров и проходил экспертную оценку в течение двух лет. В ходе анализа языковая модель выявила ранее неиспользованную симметрию в математической решетке схемы, известную как нетривиальный автоморфизм, что позволило разработать более быструю атаку перебором. В результате эффективная криптостойкость снижается в два раза, что означает необходимость удвоения размера ключей для сохранения заявленного уровня безопасности, лишая схему ее изначальных преимуществ в производительности.

В случае с редуцированной версией AES модель исключила одно из необходимых математических предположений для гипотетического взломщика, увеличив скорость предыдущих известных атак в 200–800 раз. Процесс поиска происходил преимущественно автономно с использованием специально разработанного программного каркаса, при этом затраты на API для каждого из двух результатов составили около 100 000 долларов. Хотя найденные уязвимости в данный момент не угрожают реальным рабочим системам, они подтверждают применимость языковых моделей для глубокого криптоанализа и математического стресс-тестирования стандартов до их массового внедрения.