Люди упускают главное - Клод сегодня нашел критические проблемы за считанные минуты. Каждый, кто завтра будет работать неделю, найдет еще больше. Ошибки бесконечны, и кодирование с помощью ИИ вводит еще больше. Единственный способ остановить эту погоню - это формальная верификация.