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