TRON-Gründer Justin Sun hat den Justin Sun Prize angekündigt, einen Mathematikpreis, der Autoren von Beweisen und Spezialisten für deren maschinelle Verifizierung mit Blockchain-basierten Belohnungen auszeichnen soll. Die Initiative soll Verifizierung und Auszahlungen öffentlich und automatisiert machen, wobei die Mittel gesperrt bleiben, bis ein Beweis vollständig formalisiert ist.
So soll der Preis funktionieren
Sun sagte, der Preis werde sich von traditionellen Mathematikauszeichnungen unterscheiden, da es keine Altersgrenzen, Kategorien oder jährlichen Zeremonien geben werde.
Für jedes Problem kann es zwei Empfänger geben: einen „Beweiser“, der den mathematischen Beweis verfasst, und einen „Formalisierer“, der ihn in ein maschinenverifizierbares Format überträgt. Eine Person kann beide Rollen übernehmen, oder getrennte Teilnehmer können sie erfüllen.
Sun sagte, es spiele keine Rolle, ob ein Ergebnis von einem Menschen, künstlicher Intelligenz oder einer Kombination aus beidem erstellt worden sei. Eine Belohnung werde erst ausgezahlt, nachdem eine Maschine den Beweis Zeile für Zeile von Anfang bis Ende fehlerfrei verifiziert habe.
Falls die mathematische Gemeinschaft einen Beweis akzeptiert habe, dieser aber nicht formalisiert worden sei, werde der Eintrag als „bewiesen, Formalisierung ausstehend“ gekennzeichnet. Die entsprechenden Mittel blieben gesperrt, bis die Formalisierung abgeschlossen sei.
Der Preis kündigte später seine ersten 66 Probleme der klassischen Mathematik unter dem Slogan „66 Probleme. Eine Grenze.“ an.
Öffentliches Register und Finanzierung
Sun sagte, seine Befugnis werde auf die Zusammenstellung der Problemliste und die Festsetzung der Belohnungen beschränkt sein. Sobald ein Problem in das Register aufgenommen worden sei, könne es nicht entfernt werden, und die hinterlegten Mittel könnten nicht abgehoben werden.
„Ich bin kein Mathematiker. Ich bin lediglich ein Beobachter und ein Wohltäter. Der Rest wird den Beweisen überlassen“, sagte Sun.
Laut Sun wurde der anfängliche Preispool bereits on-chain übertragen. Er sagte, dessen Adresse sei öffentlich und das Guthaben könne unabhängig überprüft werden.
Der X-Nutzer Chau Le bezeichnete die Initiative als Schnittstelle von Mathematik, Blockchain, KI und formaler Verifizierung. Le sagte, ihr Mechanismus spiegele das Blockchain-Prinzip wider, Ergebnisse unabhängig zu überprüfen, statt einem Vermittler zu vertrauen.
Ein weiterer X-Nutzer, Kaisen, sagte, der Preis belohne getrennt die Erstellung eines Beweises und dessen Übertragung in ein maschinenverifizierbares Format, statt Reputation oder Status zu belohnen. Kaisen sagte zudem, ein öffentliches Register von Problemen, Beweisen und On-Chain-Zahlungen könne eine langfristige Aufzeichnung mathematischer Ergebnisse liefern.
Sun sagte, er habe den Preis geschaffen, weil ein großer Teil seines Vermögens aus den mathematischen Prinzipien stamme, die Kryptografie und Blockchain zugrunde liegen. Er sagte außerdem, Fortschritte bei KI leiteten eine neue Ära für die Mathematik ein, indem sie die Entdeckung und Formalisierung von Beweisen beschleunigten.
Suns weitere Aktivitäten
Sun wurde zuvor Premierminister des selbsternannten Liberland, das nach eigenen Angaben Blockchain-Technologien unterstützt. Im Jahr 2025 nahm er an Blue Origins Weltraummission NS-34 teil, nachdem er 28 Millionen US-Dollar für den Flug gezahlt hatte.
Quelle: HODL Press
