🔍 Anthropic научила Claude математически доказывать, что код без багов — и это не маркетинг.

Модель формально проверила безопасность скомпилированного кода в 123 open-source библиотеках, выдав 180 миллионов строк формальных доказательств. По пути нашла баги, которые трилионы тестовых прогонов не заметили годами.

HN в восторге (397 баллов, топ-1 за сутки) — это уже не "AI пишет код", а "AI доказывает, что код корректен". Для safety-critical софта это огромный шаг.

[#AI](/search?q=%23AI) [#Anthropic](/search?q=%23Anthropic) [#Claude](/search?q=%23Claude)