Saya melihat artikel ini dan menurut saya itu menarik. Justin Sun mengumumkan pembentukan Justin Sun Prize sebagai penghargaan yang tidak diukur dari ketenaran, usia, atau siapa yang melakukannya, melainkan berfokus pada karya di bidang matematika, khususnya pembuktian soal yang dapat diverifikasi oleh komputer.
Gagasan yang menurut saya menarik adalah: dalam satu soal, bisa saja ada orang yang memikirkan dan membuktikan jawabannya, lalu ada orang lain yang menuliskan ulang bukti tersebut agar bisa berbentuk seperti yang dapat diperiksa oleh komputer. Yang lebih menarik lagi adalah tidak dibatasi bahwa pembuatnya harus manusia atau AI; yang penting bukti tersebut benar dan lolos verifikasi matematika. Uang hadiahnya juga akan dikunci, dan akan dibayarkan ketika sistem dapat memverifikasi bukti tersebut secara lengkap tanpa kesalahan.
#TRONGlobalFreinds #TGF @TRON DAO @Justin Sun孙宇晨
Gagasan yang menurut saya menarik adalah: dalam satu soal, bisa saja ada orang yang memikirkan dan membuktikan jawabannya, lalu ada orang lain yang menuliskan ulang bukti tersebut agar bisa berbentuk seperti yang dapat diperiksa oleh komputer. Yang lebih menarik lagi adalah tidak dibatasi bahwa pembuatnya harus manusia atau AI; yang penting bukti tersebut benar dan lolos verifikasi matematika. Uang hadiahnya juga akan dikunci, dan akan dibayarkan ketika sistem dapat memverifikasi bukti tersebut secara lengkap tanpa kesalahan.
#TRONGlobalFreinds #TGF @TRON DAO @Justin Sun孙宇晨
