@anthropicai
Anthropic рассказала о применении Claude для масштабной формальной верификации ПО. Совместно с Theorem Labs модель использовали для доказательства свойств безопасности более чем в ста реальных open-source библиотеках за несколько недель.