Der Justin-Sun-Preis macht aus Mathematik ein Onchain-Bounty-Board.
66 Probleme. Zwei Rollen:
Prover — löse es
Formalizer — mache es maschinenprüfbar
Sobald der Beweis die maschinelle Verifikation besteht, kann die Belohnung ausgezahlt werden.
Krypto + KI + Mathe = ein neuer Markt für verifizierbares Wissen.

hejustinsun.com/prize

@TRON DAO @Justin Sun孙宇晨 #Tron