Claude нашла сотни ошибок, доказывая свойства безопасности 123 открытых библиотек
Раньше математическое доказательство, что в коде нет ошибок определённого рода, требовало лет работы экспертов, а Claude за несколько недель доказала, что тестовые программы 123 открытых библиотек не падают при заданных условиях.