The Justin Sun Prize sedang mengubah matematika menjadi papan hadiah onchain.
66 masalah. Dua peran:
Pembukt i — menyelesaikannya
Formalisasi — membuatnya dapat diverifikasi mesin
Setelah bukti lolos verifikasi mesin, hadiah dapat dibayarkan.
Kripto + AI + Matematika = pasar baru untuk pengetahuan yang dapat diverifikasi.

hejustinsun.com/prize

@TRON DAO @Justin Sun孙宇晨 #Tron