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