Anthropic и Theorem использовали Claude для математической верификации 123 открытых библиотек. Исследователи применили модель для построения формальных доказательств надежности программного кода.
Формальная верификация позволяет математически проверять, соответствует ли код заданным требованиям. В сообщении не уточняются названия библиотек, версия Claude и подробности методики.
Работа демонстрирует применение ИИ в формальной проверке программного обеспечения. Результат может представлять интерес для разработчиков открытых библиотек и специалистов по надежности кода.