پژوهش
Anthropic می‌گوید Claude با اثبات‌های ریاضی نشان داده که ۱۲۳ کتابخانهٔ متن‌باز در آزمون‌های فازینگ خود از کار نمی‌افتند
Anthropic در همکاری با استارتاپ Theorem از Claude خواست برای ۲۳۹ نقطهٔ ورود فازینگ در ۱۲۳ کتابخانهٔ OSS-Fuzz، در سطح کد باینری RISC-V، اثبات‌های Rocq بنویسد؛ در این مسیر صدها باگ اصلاح شد و بخشی از اثبات‌ها برای بررسی بی…