Anthropic: Claude пишет код и сам доказывает его безопасность

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

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