Anthropic: Claude доказал безопасность 123 библиотек на уровне ассемблера

Anthropic сообщила, что Claude сгенерировал формальные доказательства безопасности для 239 точек входа фазз-тестов в 123 open-source библиотеках на уровне ассемблера RISC-V. Проверено около 180 млн строк Rocq; по словам компании, это первый масштабный опыт применения ИИ для формальной верификации production-кода на уровне ассемблера.

• 239 точек входа фазз-тестов в 123 библиотеках, доказательства на RISC-V
• Около 180 млн строк Rocq прошли проверку из примерно 1 млрд сгенерированных
• Доказательства покрывают входы до 64 МБ и все моделируемые раскладки памяти
• Claude нашёл сотни багов, включая переполнение в libexpat (CVE-2026-56132)