LLM membuat verifikasi perangkat lunak formal layak pada skala yang jauh lebih besar
Anthropic menggunakan Claude untuk membuktikan properti keamanan di lebih dari seratus pustaka open-source nyata dalam beberapa minggu, menghasilkan bukti bebas-crash yang diverifikasi mesin hingga level assembly, dan mengungkap bug yang bersembunyi bertahun-tahun. Verifikasi formal sebelumnya hanya layak untuk basis kode kecil. Ini penting karena menunjukkan AI dapat membawa jaminan kebenaran tingkat matematis ke rantai pasok open-source dalam skala yang tak terjangkau manusia.
SUMBER
- Anthropic Research2026-10-22 00:00
- Anthropic2026-10-22 22:01