GM! LLM hari ini dirancang untuk percaya diri. Mereka menghasilkan paragraf penuh jawaban yang halus tanpa cara bawaan untuk memverifikasi setiap bagiannya.
Ini seperti mempercayai seorang pria yang sangat meyakinkan yang tidak pernah menunjukkan bukti.
Alih-alih mencoba menyempurnakan model yang sempurna, mereka menganggap setiap model akan salah terkadang. Jadi mereka membuatnya dapat diverifikasi secara desain.
Pertama, mereka memecah output menjadi klaim atom.
Katakanlah sebuah #AI memberi Anda pernyataan ini: “Bitcoin adalah cryptocurrency yang paling banyak dimiliki, dibuat oleh Satoshi Nakamoto pada tahun 2008.”
Mira tidak hanya menganggap itu sebagai satu pernyataan. Dia memecahnya menjadi klaim terpisah yang dapat diverifikasi:
→ “Bitcoin adalah cryptocurrency yang paling banyak dimiliki”
→ "Bitcoin diciptakan oleh Satoshi Nakamoto"
→ “Bitcoin diciptakan pada tahun 2008”
Masing-masing dari itu dapat diperiksa fakta secara independen oleh jaringan. Salah satunya mungkin subjektif seperti bagaimana Anda mendefinisikan yang paling banyak dipegang, yang lainnya adalah fakta seperti siapa yang membuatnya, dan yang lainnya adalah tentang waktu seperti kapan itu dibuat.
Itu adalah kekuatan binarisasi, mengubah keluaran AI yang kabur menjadi klaim yang jelas dan dapat diverifikasi yang tidak bergantung pada suasana model.
Kemudian mereka mengirimkan klaim tersebut melalui jaringan terdesentralisasi dari validator, tetapi tidak ada satu node pun yang melihat semua input. Itu adalah verifikasi terdistribusi. Setiap node memeriksa sebuah fragmen, menjaga privasi dan memastikan kepercayaan tidak menjadi kendala.
Sekarang, bagaimana Anda menjaga agar validator ini jujur? → Buat mereka melakukan staking.
Setiap node memiliki kepentingan. Jika ia memvalidasi halusinasi, maka akan dikenakan penalti. Itu adalah bukti verifikasi, mengubah inferensi menjadi kerja ekonomi nyata, bukan sekadar spekulasi.
Dan akhirnya datang konsensus yang sebenarnya: setiap model harus hampir sepenuhnya setuju. Bukan 51%.
Mira menuntut kesepakatan hampir bulat di antara model-model yang dilatih secara independen.
Jadi alih-alih mempercayai satu model jenius dengan semua jawaban, Mira membangun protokol di mana beberapa agen yang tidak sempurna melakukan pemeriksaan ekonomi dan matematis satu sama lain sampai hanya kebenaran yang bertahan.
Ini adalah mesin konsensus untuk realitas agar dapat meningkatkan kepercayaan.
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
GM! LLM hari ini dirancang untuk percaya diri. Mereka menghasilkan paragraf penuh jawaban yang halus tanpa cara bawaan untuk memverifikasi setiap bagiannya.
Ini seperti mempercayai seorang pria yang sangat meyakinkan yang tidak pernah menunjukkan bukti.
Alih-alih mencoba menyempurnakan model yang sempurna, mereka menganggap setiap model akan salah terkadang. Jadi mereka membuatnya dapat diverifikasi secara desain.
Pertama, mereka memecah output menjadi klaim atom.
Katakanlah sebuah #AI memberi Anda pernyataan ini: “Bitcoin adalah cryptocurrency yang paling banyak dimiliki, dibuat oleh Satoshi Nakamoto pada tahun 2008.”
Mira tidak hanya menganggap itu sebagai satu pernyataan. Dia memecahnya menjadi klaim terpisah yang dapat diverifikasi:
→ “Bitcoin adalah cryptocurrency yang paling banyak dimiliki”
→ "Bitcoin diciptakan oleh Satoshi Nakamoto"
→ “Bitcoin diciptakan pada tahun 2008”
Masing-masing dari itu dapat diperiksa fakta secara independen oleh jaringan. Salah satunya mungkin subjektif seperti bagaimana Anda mendefinisikan yang paling banyak dipegang, yang lainnya adalah fakta seperti siapa yang membuatnya, dan yang lainnya adalah tentang waktu seperti kapan itu dibuat.
Itu adalah kekuatan binarisasi, mengubah keluaran AI yang kabur menjadi klaim yang jelas dan dapat diverifikasi yang tidak bergantung pada suasana model.
Kemudian mereka mengirimkan klaim tersebut melalui jaringan terdesentralisasi dari validator, tetapi tidak ada satu node pun yang melihat semua input.
Itu adalah verifikasi terdistribusi. Setiap node memeriksa sebuah fragmen, menjaga privasi dan memastikan kepercayaan tidak menjadi kendala.
Sekarang, bagaimana Anda menjaga agar validator ini jujur? → Buat mereka melakukan staking.
Setiap node memiliki kepentingan. Jika ia memvalidasi halusinasi, maka akan dikenakan penalti. Itu adalah bukti verifikasi, mengubah inferensi menjadi kerja ekonomi nyata, bukan sekadar spekulasi.
Dan akhirnya datang konsensus yang sebenarnya: setiap model harus hampir sepenuhnya setuju. Bukan 51%.
Mira menuntut kesepakatan hampir bulat di antara model-model yang dilatih secara independen.
Jadi alih-alih mempercayai satu model jenius dengan semua jawaban, Mira membangun protokol di mana beberapa agen yang tidak sempurna melakukan pemeriksaan ekonomi dan matematis satu sama lain sampai hanya kebenaran yang bertahan.
Ini adalah mesin konsensus untuk realitas agar dapat meningkatkan kepercayaan.