Teorema Terakhir Fermat ditulis di tepi halaman buku pada 1637, lalu dibuktikan Wiles pada 1994—lebih dari 350 tahun kemudian. Wiles sendiri mengasingkan diri selama tujuh tahun. Dini hari tadi, Anthropic merilis Claude Fable 5.2 dan mengatakan bahwa 1.000 agen menyusun seluruh bukti dalam 30 jam menjadi kode Lean yang bisa diperiksa mesin baris demi baris, dengan hampir tidak ada campur tangan manusia. Ketika 1.000 agen yang sama menggunakan Opus 5.5, mereka mencapai 26% dalam 18 jam, lalu praktis tidak mengalami kemajuan lagi.

Para penambang paling paham soal menambah jumlah mesin. Namun, kelompok Opus menunjukkan bahwa satu mesin saja tidak cukup kuat; menumpuk seribu mesin pun masih bisa macet.
Hasil benchmark sudah banyak beredar: indeks kecerdasan Artificial Analysis, Fable 5.2 Max 64.6, Opus 5.5 59.1, GPT-6 Astra Max 56.9. Saya ingin menyampaikan beberapa hal dari sudut pandang dunia kripto.
Pertama, soal verifikasi. Buktinya tetap yang dibuat Wiles; yang ditambahkan adalah versi yang bisa dijalankan mesin. Benar atau tidaknya tinggal diuji sekali, tidak perlu lagi percaya pada penelaah. Inilah prinsip “Jangan percaya, verifikasi”. Verifikasi formal kontrak sudah lama dikerjakan, tetapi mahal dan lambat, sehingga hanya protokol papan atas yang mampu melakukannya. Pekerjaan sebesar Teorema Terakhir Fermat bisa diselesaikan dalam 30 jam. Saya menduga, ke depannya, verifikasi formal untuk protokol pinjam-meminjam pada dasarnya hanya soal tagihan komputasi.
Lalu soal audit. Kali ini satu model punya dua nama: Fable terbuka untuk semua orang, tetapi secara resmi disebutkan bahwa sebagian besar permintaan terkait keamanan akan diblokir; versi yang tidak diblokir bernama Mythos, dan hanya bisa digunakan oleh institusi yang lolos peninjauan. Pihak resmi mengutip pernyataan sebuah perusahaan keamanan: dari kerentanan yang dikonfirmasi oleh Mythos 5.2, satu dari setiap enam tidak ditemukan oleh model-model frontier lain. Catatan kakinya juga menyebutkan bahwa angka itu berasal dari satu penguji independen; hasil pengujian Anthropic sendiri menunjukkan kemampuan menemukan kerentanan kurang lebih setara dengan Opus 5.5. Bagi DeFi, yang perlu diperhatikan selanjutnya adalah perusahaan audit mana saja yang memiliki Mythos.
Berikutnya soal harga. API-nya mengenakan biaya 8 dolar per sejuta token untuk input dan 40 dolar untuk output; generasi sebelumnya harganya 10 dan 50 dolar. Jadi 20% lebih murah, sementara output bisa hingga 30% lebih cepat. Namun, menurut The Decoder, saat menjalankan rangkaian soal AA pada tingkat tertinggi, biaya per soalnya 26,5 dolar; Fable 5.1 biayanya 12,99 dolar, dan Opus 5.5 sebesar 10 dolar. Mirip seperti harga gas turun, tetapi gas yang dibakar satu transaksi malah berlipat ganda. Menurut Fortune, Anthropic sendiri juga menyarankan untuk menggunakan Opus 5.5 terlebih dahulu untuk kebutuhan sehari-hari.
Terakhir, ada satu hal kecil yang mungkin menarik perhatian teman-teman di dunia TapeOut. Dalam demo resmi, Fable 5.2 merancang tiga perangkat elektronik yang bisa digunakan berdasarkan satu prompt berupa kalimat: asisten suara, mikrofon konferensi USB, dan hewan peliharaan elektronik. Semuanya dilengkapi papan sirkuit empat lapis, casing, dan perangkat lunak. Setiap papan bisa dikirim ke produksi dalam waktu kurang dari sehari, dan hasilnya berfungsi tanpa perlu mengubah sirkuit. Ini baru papan sirkuit, masih jauh dari tapeout, tetapi “dari satu kalimat menjadi satu papan” kini sudah terwujud.
Fortune mengatakan ini mungkin menjadi peluncuran besar terakhir Anthropic sebelum IPO. Model apa yang paling sering kamu gunakan sekarang? Apakah kamu akan beralih karena peluncuran ini?
——
Artikel ini pertama kali diterbitkan di X @musinoot