Saya kembali berulang kali ke jaringan Mira karena ia menangani titik lemah terbesar dari kecerdasan buatan sebagai masalah praktis, bukan filosofis. Ide dasarnya sederhana: alih-alih bergantung pada jawaban dari satu model, jawaban tersebut dibagi menjadi klaim, kemudian model lain memeriksanya, dan hasil yang dapat diaudit disajikan. Ini semakin penting sekarang karena kecerdasan buatan secara bertahap beralih dari sekadar percakapan menjadi alat yang ingin digunakan orang dengan lebih sedikit tinjauan manusia, bahkan di bidang di mana kesalahan memiliki dampak besar. Selama sekitar setahun terakhir, Mira telah beralih dari sekadar makalah penelitian menjadi peluncuran jaringan pengujian dan antarmuka pemrograman aplikasi, kemudian ke jaringan utama, dan sekarang ke versi percobaan dari Mira Verify yang ditujukan untuk aplikasi mandiri. Bagi saya, perkembangan ini adalah kisah yang sebenarnya. Waktunya masuk akal karena diskusi telah beralih dari fokus pada apa yang bisa dikatakan oleh kecerdasan buatan ke apa yang diizinkan untuk dilakukannya saat berurusan dengan sistem nyata.@mira_network
