Der Preisfonds des Justin Sun Prize ist nun on-chain verfügbar. Auf einer öffentlichen Adresse im TRON-Netz befinden sich $10 Mio., die für die mathematische Prämie von Justin Sun bestimmt sind. Kontostand und Mittelbewegungen sind zur Prüfung über den Blockchain-Explorer TRONSCAN verfügbar.
Die Initiative verbindet Grundlagenmathematik, künstliche Intelligenz und Blockchain. Die Vergütungen sind nicht nur für das Lösen schwieriger mathematischer Aufgaben vorgesehen, sondern auch für das Erstellen von Beweisen, deren Korrektheit ein Computer überprüfen kann.
$10 Mio. auf einer öffentlichen TRON-Adresse
Das wichtigste Update des Projekts ist der Übergang von der Ankündigung eines Preisfonds hin zu dessen Platzierung in der Blockchain.
Adresse des Fonds: TBgGFBnqZuDeGkf4nyiaEo7mj3NodxYJBL
Die öffentliche Bereitstellung der Mittel ermöglicht eine unabhängige Verfolgung von Saldo und Transaktionen unter dieser Adresse. Das ist ein wichtiger Unterschied zu einer üblichen Bekanntgabe einer Geldprämie, bei der die Teilnehmenden sich ausschließlich auf Aussagen der Organisatoren verlassen müssen.
Dabei sind die Transparenz des Fonds und das Verfahren der Preisvergabe unterschiedliche Themen. Dass Geld auf einer Adresse vorhanden ist, bedeutet an sich nicht automatisch, dass an jede Person ausgezahlt wird, die eine Lösung einreicht. Die Vergütungen werden vom Preisbetreiber gemäß seinen Regeln verteilt.
Wofür sind die Preise vorgesehen?
Der Justin Sun Prize ist auf die Lösung mathematischer Aufgaben und die formale Überprüfung von Beweisen ausgerichtet. Im Projekt sind zwei zentrale Rollen vorgesehen.
Beweisende Person. Die teilnehmende Person findet die Lösung einer mathematischen Aufgabe und legt eine Begründung für ihre Richtigkeit vor.
Formalizer – Spezialist für Formalisierung. Seine Aufgabe besteht darin, einen mathematischen Beweis in eine strenge Form zu übertragen, die für die Prüfung durch ein spezialisiertes Computersystem geeignet ist.
Das ist ein entscheidender Punkt: Mathematisches Schließen und seine maschinelle Überprüfung erfordern unterschiedliche Arten von Arbeit. Selbst wenn ein Beweis für Menschen überzeugend wirkt, kann seine Formalisierung eine eigenständige, komplexe Aufgabe sein.
Welche Rolle spielt die künstliche Intelligenz?
Die Regeln der Initiative erlauben die Teilnahme von Menschen, KI und gemischten Teams. Das eröffnet mehrere Szenarien: Ein Mathematiker kann KI nutzen, um einen Lösungsansatz für die Aufgabe zu finden; ein Entwickler, um einen Beweis zu formalisieren; und ein Forschungsteam kann menschliche Expertise und Rechenwerkzeuge kombinieren.
Dabei ist die Generierung einer Antwort durch KI nicht gleichbedeutend mit einem mathematischen Beweis. Deshalb wird im Konzept des Justin Sun Prize besonders der formalen Verifizierung besondere Aufmerksamkeit gewidmet. So lässt sich das Ergebnis nach strengen Regeln prüfen, statt sich ausschließlich auf das Vertrauen der Urheberperson oder des Sprachmodells zu verlassen.
Laut Beschreibung der Initiative sind die Anerkennung der Urheberschaft des mathematischen Ergebnisses und die Auszahlung einer Geldprämie separate Schritte. Für die Auszahlung ist ein abgeschlossener maschineller Nachweis des Beweises erforderlich.
Warum wurde für den Fonds eine Blockchain gewählt?
Die Blockchain macht den finanziellen Teil des Preises für alle Teilnehmenden nachvollziehbar. Wer möchte, kann TRONSCAN öffnen und den Status der veröffentlichten Adresse überprüfen, ohne einen Bericht bei den Organisatoren anfordern zu müssen.
Das ersetzt keine mathematische Expertise, schafft aber mehr Transparenz in der Frage der Finanzierung. Außerdem werden laut Projektankündigung die Auszahlungen vom Betreiber in zwei Stablecoins durchgeführt: USDT im TRON-Netz (TRC-20) und USDC im Ethereum-Netz (ERC-20).
Somit wird TRON nicht nur zur öffentlichen Platzierung des Fonds genutzt, sondern auch als eines der Zahlungsnetze für den Preis.
Was bedeutet das für TRON?
Üblicherweise wird TRON im Zusammenhang mit USDT-Transfers, Zahlungen, Börseninfrastruktur und DeFi diskutiert. Der Justin Sun Prize stellt ein anderes Szenario vor: die Nutzung der Blockchain für eine öffentliche Erfassung von Mitteln, die für wissenschaftliche Forschungen vorgesehen sind.
Hier ist es wichtig, zwei Funktionen zu trennen: Mathematische Beweise werden von spezialisierten Werkzeugen überprüft, und die Blockchain stellt die Transparenz des finanziellen Projektteils sicher.
Das bedeutet nicht, dass das TRON-Netzwerk selbst die Richtigkeit mathematischer Lösungen bestimmt oder automatisch Preise vergibt.
Fazit
Meiner Meinung nach ist der interessanteste Teil des Justin Sun Prize die Kombination zweier Ansätze zur Überprüfbarkeit.
Einerseits strebt das Projekt danach, dass mathematische Beweise maschinell überprüfbar sind. Andererseits sind $10 Mio. Fondsprämie auf einer öffentlichen Blockchain-Adresse hinterlegt, auf der man die Mittel verfolgen kann.
Die tatsächliche Wirksamkeit der Initiative zeigt sich dabei nicht nur in der Höhe des Fonds und seiner Transparenz, sondern auch in konkreten Ergebnissen: Welche Aufgaben lassen sich lösen, wie viele Beweise bestehen eine formale Überprüfung und welche Vergütungen werden tatsächlich ausgezahlt.
Für TRON ist das ein weiteres Beispiel dafür, wie das Netzwerk über gewöhnliche USDT-Überweisungen hinaus in der Infrastruktur einer internationalen wissenschaftlichen Initiative eingesetzt wird.