Claude разгадал криптографическую загадку, остававшуюся нерешённой 25 лет, менее чем за полчаса.

Claude разгадал криптографическую загадку, остававшуюся нерешённой 25 лет, менее чем за полчаса. Никто не знал, откуда Агентство национальной безопасности США (АНБ) взяло числа, использованные для создания эллиптических кривых NIST, таких как P-256, опубликованных правительством США в 2000 году. Эти кривые применяются в ECDSA, одном из самых распространённых в мире стандартов цифровой подписи. Биткоин тоже использует ECDSA, но с другой кривой, secp256k1, которая не относится к кривым NIST. АНБ предоставило эти числа без каких-либо объяснений, поэтому на протяжении многих лет существовали подозрения, что их намеренно подобрали для создания бэкдора. Согласно распространённой версии, сотрудник АНБ Джерри Солинас сгенерировал эти числа на основе шуточной фразы вроде «Повысьте зарплату Бобу и Джерри». Он умер в 2023 году, так и не вспомнив подробностей, а сотрудники Anthropic уже пытались проверить эту версию, но безуспешно. Затем один из сотрудников попросил внутреннюю исследовательскую версию Claude выяснить, как были получены эти числа, не сообщив модели о предполагаемой фразе. Claude нашёл ответ: никакой фразы не существовало. Числа были получены с помощью распространённого генератора псевдослучайных чисел языка C, в котором в качестве начального значения использовалось время системных часов компьютера. Генерация происходила в период с мая 1997 года по апрель 1998 года. Теперь любой желающий может воспроизвести эти числа. Anthropic подчёркивает, что это открытие не нарушает безопасность существующих систем и не создаёт новых уязвимостей. Напротив, версия о преднамеренно встроенном бэкдоре становится значительно менее правдоподобной, поэтому никаких изменений вносить не требуется. Тем не менее некоторые вопросы остаются открытыми. Например, до сих пор неизвестно, почему были отброшены другие числа, которые также подходили для этой задачи. Лично меня больше всего впечатляет сам метод решения. Многие исследователи годами пытались найти предполагаемую фразу. Эта гипотеза стала отправной точкой, вокруг которой строились практически все поиски. Claude пошёл другим путём. Вместо поиска фразы модель предположила, каким образом программа, написанная в 1997 году, могла генерировать подобные числа, а затем проверила свою гипотезу. И таким образом решила задачу. 🤓