🧠✨ Der Justin Sun Prize ist mehr als ein Mathematikpreis.
Seine tiefere Idee besteht darin, Wissen auszuzeichnen, das formell überprüfbar und bewahrbar ist.

Das Modell trennt zwei Rollen:
① Der Prover löst die Aufgabe.
② Der Formalizer wandelt den Beweis in Lean um, damit er maschinell verifiziert werden kann.
Die angegebene Aufteilung der Prämie beträgt 70% / 30%.

Im Zeitalter der KI ist das wichtig. KI kann Ideen generieren, aber Ideen sind nicht automatisch verifizierte Theoreme.
Formalisation schafft eine Brücke zu dauerhaftem, maschinell prüfbarem Wissen. 🔬🤖

@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON