Anthropic хвалится 123 proof’ами для RISC-V библиотек
Компания утверждает, что с помощью Claude и в сотрудничестве с Theorem смогла доказать security properties на уровне assembly для 123 open-source библиотек. По их словам, модель ещё и нашла баги, которые не всплывали даже после триллионов тестов, а условия были вполне приземлённые: single-threaded static binary, фиксированная память, RISC-V и Linux.