Джастин Сан hat sich seine eigene Nobelpreis-Auszeichnung eingerichtet.
Der Gründer von TRON hat beschlossen, dass der Welt noch ein weiterer Mathematikpreis fehlt — und hat ihn natürlich nach sich selbst benannt. Justin Sun Prize: der Hauptpreis — bis zu 1 Mio. $ für genau eine gelöste Aufgabe. Bescheidenheit war offenbar nicht in der Prioritätenliste enthalten.
Mitmachen kann buchstäblich jeder — ein verdienter Akademiker, ein namenloser Enthusiast, ein ganzes Team oder sogar ein neuronales Netz. Demokratisch! Aber den großen Gewinn für ein schönes Beweisstück auf Anhieb abzuräumen, wird nicht so einfach.
Der Weg zum Geld ist wie eine Quest in drei Levels aufgebaut:
Der Beweis muss zuerst die Zustimmung der mathematischen Community erhalten — schöne Worte reichen nicht.
Dann kommt der nächste Teilnehmer — der „Formaliserer“ — der die menschliche Logik in die Sprache des Codes überträgt.
Und erst danach prüft das Lean-System den gesamten Beweis zeilenweise erneut und vertraut dabei niemandem blind.
Der Preis wird übrigens zu gleichen Teilen aufgeteilt: die Hälfte an den Urheber der Idee, die andere Hälfte an denjenigen, der sie in Code umgesetzt hat, an dem man nichts aussetzen kann. So etwas wie ein mathematisches Tandem „Gehirn + Übersetzer“.
Das Geld liegt auf einer öffentlichen Blockchain-Adresse, die Auszahlung erfolgt in Krypto. Schön, dezentral, modern. Aber da gibt es einen Haken: Der Gewinner muss sowieso KYC/AML durchlaufen. Das heißt, selbst premium-mathematische Arbeit auf der Blockchain rettet nicht vor der alten, guten Compliance-Abteilung — sie findet euch überall, egal ob in Lean, auf der Blockchain oder im Paradies für Genies.
Ergebnis: Der Preis ist laut, das Mechanismuswerk — ehrlich und durchdacht, aber mit dem Namen Justin hat er sich eindeutig nicht zurückgehalten.
