🧠✨ Hadiah Justin Sun lebih dari sekadar penghargaan matematika.
Gagasan yang lebih dalam adalah memberi penghargaan pada pengetahuan yang dapat diverifikasi secara formal dan dipelihara.
Model ini memisahkan dua peran:
① Prover menyelesaikan masalah.
② Formalizer mengubah bukti menjadi Lean untuk verifikasi oleh mesin.
Pembagian hadiah yang dinyatakan adalah 70% / 30%.
Di era AI, ini menjadi penting. AI dapat menghasilkan ide, tetapi ide tidak otomatis menjadi teorema yang terverifikasi.
Formalisasi menciptakan jembatan menuju pengetahuan yang tahan lama dan bisa diperiksa oleh mesin. 🔬🤖
@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON
Gagasan yang lebih dalam adalah memberi penghargaan pada pengetahuan yang dapat diverifikasi secara formal dan dipelihara.
Model ini memisahkan dua peran:
① Prover menyelesaikan masalah.
② Formalizer mengubah bukti menjadi Lean untuk verifikasi oleh mesin.
Pembagian hadiah yang dinyatakan adalah 70% / 30%.
Di era AI, ini menjadi penting. AI dapat menghasilkan ide, tetapi ide tidak otomatis menjadi teorema yang terverifikasi.
Formalisasi menciptakan jembatan menuju pengetahuan yang tahan lama dan bisa diperiksa oleh mesin. 🔬🤖
@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON
