🔍 Anthropic научила Claude математически доказывать, что код без багов — и это не маркетинг.
Модель формально проверила безопасность скомпилированного кода в 123 open-source библиотеках, выдав 180 миллионов строк формальных доказательств. По пути нашла баги, которые трилионы тестовых прогонов не заметили годами.
HN в восторге (397 баллов, топ-1 за сутки) — это уже не "AI пишет код", а "AI доказывает, что код корректен". Для safety-critical софта это огромный шаг.
#AI #Anthropic #Claude
🔍 Anthropic научила Claude математически доказывать, что код без багов — и это не маркетинг.
AI | Новости | Volodymyr Saakian
@ai_it_education🤖 AI новости для разработчиков, фрилансеров и бизнеса · нейросети, ChatGPT, Claude, автоматизация Tech Lead @ TUI · 9 лет в IT 90% моего кода пишет AI — рассказываю как и зачем Кейсы · Инструменты · Автоматизация Вопросы → @llossless
456 subscribers
Open in Telegram 1 photo is attached to this post — visible in the Telegram app.