🌍 Anthropic и Theorem использовали Claude для математической верификации 123 открытых ...
🌍 Anthropic и Theorem использовали Claude для математической верификации 123 открытых библиотек Исследователи применили модель для построения формальных математических доказательств надежности кода.Основой послужили готовые фаззинг-тесты из OSS-Fuzz, сервиса Google для непрерывной проверки открытого кода случайными данными, которые сами по себе не способны дать стопроцентной гарантии отсутствия сбоев.Claude превращал каждый такой тест в строгое утверждение и доказывал его.
8 просмотров