Topik trending
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Bisakah LLM menjadi komputer yang DAPAT DIBUKTIKAN?
Percepta menunjukkan bahwa trafo bisa MENJADI komputer. Bobot yang dikompilasi, eksekusi deterministik, 30k token/detik.
Tetapi tidak ada yang menanyakan tindak lanjut yang jelas: bagaimana Anda tahu itu dihitung dengan benar?
Jadi saya membangun lapisan verifikasi. STARK yang membuktikannya 👇
12 Mar, 05.30
1/4 LLM memecahkan masalah matematika tingkat penelitian tetapi berjuang dengan perhitungan dasar. Kami menjembatani kesenjangan ini dengan mengubahnya menjadi komputer.
Kami membangun komputer DI DALAM transformator yang dapat menjalankan program selama jutaan langkah dalam hitungan detik untuk memecahkan Sudoku tersulit sekalipun dengan akurasi 100%
Masalah dengan komputasi yang dikompilasi adalah kepercayaan.
Anda mempercayai compiler. Anda mempercayai runtime. Anda mempercayai mekanisme perhatian. Jika salah satu dari ini salah, outputnya salah.
Ini adalah masalah tertua dalam komputasi. Anda mempercayai mesin atau memverifikasi output.
Kami membangun tiga tingkat verifikasi:
Level 1: Program berjalan di dalam transformator (sama dengan Percepta)
Level 2: Empat mesin independen menghasilkan hasil yang sama (transformator, asli, Burn, ONNX)
Level 3: Bukti STARK memverifikasi eksekusi tanpa menjalankannya kembali
66
Teratas
Peringkat
Favorit