AI dan Masalah-Masalah Sulit Dunia · Ilmu komputer teoretis · Anthropic · 2026-10-22
LLM membuat verifikasi perangkat lunak formal layak dilakukan pada skala yang jauh lebih besar
Judul asli: LLMs are making formal software verification feasible at a much larger scale
Claude secara formal membuktikan properti keamanan pada kode terkompilasi dari 123 pustaka sumber terbuka, dengan bekerja di tingkat assembly RISC-V. Saat menulis bukti-bukti tersebut, Claude juga menemukan bug yang selama bertahun-tahun tidak terdeteksi meskipun telah diuji secara ekstensif.