Justin Sun Prize(ジャスティン・サン賞)は、数学をオンチェーンの賞金掲示板へと変えています。
66問。2つの役割:
証明者(Prover)— 解く
形式化者(Formalizer)— 機械で検証可能にする
証明が機械による検証に合格すると、報酬を支払えます。
クリプト + AI + 数学 = 検証可能な知識の新しい市場。
hejustinsun.com/prize
@TRON DAO @Justin Sun孙宇晨 #Tron
66問。2つの役割:
証明者(Prover)— 解く
形式化者(Formalizer)— 機械で検証可能にする
証明が機械による検証に合格すると、報酬を支払えます。
クリプト + AI + 数学 = 検証可能な知識の新しい市場。
hejustinsun.com/prize
@TRON DAO @Justin Sun孙宇晨 #Tron
