賈斯汀·孫獎（The Justin Sun Prize）正在把數學轉化爲一個鏈上賞金公告板。
66 道題。兩種角色：
證明者 — 解決它
形式化者 — 讓它可被機器驗證
一旦證明通過機器驗證，獎勵就可以支付。
加密 + AI + 數學 = 一個用於可驗證知識的新市場。

hejustinsun.com/prize

@TRON DAO @Justin Sun孙宇晨 #Tron