Claude Membuktikan 239 Jalur Kode Tak Crash—Tapi Bukan Seluruh Library
Anthropic melaporkan Claude membuat bukti formal untuk 239 titik masuk di 123 pustaka open-source. Hasilnya menarik karena bukan sekadar tes berulang: bukti diperiksa mesin. Tapi cakupannya juga spesifik—hanya binary dan kondisi tertentu, bukan seluruh kode di setiap library.