Startup &Truth Galang $70 Juta untuk Verifikasi Kode
Judul asli: The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself
Mengapa Ini Penting
Verifikasi formal bisa jadi lapisan keamanan kritis di era vibe coding yang rawan bug
&Truth, startup verifikasi formal berbasis AI, resmi meluncur dengan dana $70 juta. Teknologi ini klaim mampu memangkas proyek 5 bulan jadi kurang dari setengah hari dengan biaya di bawah $500.
Verifikasi formal — proses pembuktian matematis bahwa perangkat lunak bebas bug — selama ini dianggap terlalu mahal dan lambat untuk diterapkan secara luas. Kini, sejumlah startup berpacu mengotomatisasinya dengan AI generatif.
Researcher Stanford Chuyue Sun, yang bergabung dengan &Truth pada Agustus lalu, mempublikasikan hasil awal yang mencolok: AI mereka menyelesaikan proyek engineering dalam kurang dari setengah hari seharga di bawah $500, pekerjaan yang sebelumnya membutuhkan tiga pakar selama lima bulan. Salah satu demonstrasinya mencakup verifikasi kode enkripsi aplikasi pesan Signal.
"Jembatan dan gedung tidak runtuh karena orang melakukan matematika sebelum membangunnya. Mengapa kita tidak melakukan hal yang sama untuk kode?" kata Ilya Sergey, Chief Science Officer &Truth.
Pesaing utamanya, Harmonic — yang didirikan bersama CEO Robinhood Vlad Tenev dan telah menerima pendanaan $295 juta — mengumumkan agen AI bernama Aristotle yang kini mendukung verifikasi kode C dan desain hardware Verilog. Nvidia dan Tensordyne termasuk dalam pengguna yang sedang dievaluasi. Pekan lalu, Anthropic bersama startup Theorem mengumumkan telah menemukan bug di perangkat lunak open source yang lolos dari triliunan pengujian konvensional.
Namun teknologi ini masih dalam tahap prototipe. Belum jelas berapa banyak pelanggan bersedia membayar, dan para ahli mempertanyakan kemampuannya menangkap bug yang berasal dari kesalahan pengguna atau kegagalan hardware.