Kecerdasan buatan (AI) dengan cepat mengubah cara pembuatan perangkat lunak, namun tantangan baru pun muncul: Kode yang dihasilkan AI sering kali mengandung kesalahan. Meskipun sistem ini mempercepat pengembangan, perangkat lunak yang dihasilkan dapat penuh dengan bug, yang pada akhirnya memperlambat proyek. Ini adalah masalah utama yang kini ditangani oleh semakin banyak perusahaan rintisan (start-up) di Silicon Valley.
Bangkitnya AI Coding dan Kelemahannya
Pada bulan Januari, penelitian Universitas Carnegie Mellon menyoroti kelemahan utama dalam alat pengkodean AI saat ini. Sistem ini dapat dengan cepat menghasilkan kode, namun kualitasnya tidak konsisten, dengan kecenderungan menimbulkan kesalahan yang nantinya harus diperbaiki oleh pengembang. Dampak jangka panjangnya dapat berupa peningkatan utang teknis dan siklus inovasi yang lebih lambat meskipun pada awalnya terjadi peningkatan kecepatan.
Masalah ini sangat penting karena pengkodean AI semakin meluas. Alat seperti Codex OpenAI dan Claude Code Anthropic sudah digunakan oleh banyak pengembang, dan penerapannya diperkirakan akan terus meningkat. Namun, jika kode yang mereka hasilkan tidak dapat diandalkan, hal ini dapat merusak keseluruhan proses pengembangan berbasis AI.
Silicon Valley Melangkah: Verifikasi sebagai Frontier Berikutnya
Beberapa perusahaan baru memposisikan diri untuk mengatasi masalah ini. Axiom Math, Harmonic (keduanya berbasis di Palo Alto), dan Logical Intelligence (San Francisco) semuanya berfokus pada membangun sistem AI yang dapat memverifikasi kode secara otomatis —pada dasarnya, membuktikan kebenarannya seperti ahli matematika membuktikan teorema.
“Verifikasi kode mungkin merupakan terobosan berikutnya,” kata Carina Hong, CEO dan pendiri Axiom. Perusahaan ini baru saja mendapatkan pendanaan sebesar $200 juta dari perusahaan modal ventura termasuk Menlo Ventures, Greycroft, dan Madrona, sehingga valuasinya mencapai $1,6 miliar meski baru berusia satu tahun dengan tim yang terdiri dari sekitar 20 orang.
Mengapa Verifikasi Penting: Masa Depan Pembangunan Berbasis AI
Lonjakan investasi modal ventura menandakan bahwa investor menyadari pentingnya kode andal yang dihasilkan oleh AI. Kemampuan untuk memverifikasi kode secara otomatis bukan hanya perbaikan teknis; hal ini merupakan prasyarat untuk penerapan AI secara luas dalam pengembangan perangkat lunak. Tanpa hal ini, janji akan pengkodean yang lebih cepat dan efisien tidak akan terpenuhi.
Jika kode yang dihasilkan AI tidak dapat dipercaya, pengembang akan kembali ke verifikasi manual, sehingga menghilangkan manfaat otomatisasi. Oleh karena itu, perlombaan untuk menciptakan alat verifikasi yang andal sangat penting bagi keberhasilan jangka panjang AI dalam rekayasa perangkat lunak.
