Der Gründer von TRON, Justin Sun, kündigte die Schaffung des Justin Sun Prize an: eines neuen Preises für die Lösung komplexer mathematischer Aufgaben und die Formalisierung von Beweisen zur maschinellen Überprüfung.
Die Idee unterscheidet sich deutlich von traditionellen wissenschaftlichen Auszeichnungen. Hier gibt es keine Altersgrenzen, keine jährliche Zeremonie und keine klassische Abstimmung durch eine Kommission. Die wichtigste Voraussetzung für die Auszahlung ist, dass der mathematische Beweis am Ende eine vollständige maschinelle Prüfung ohne Fehler bestehen muss.
Besonders interessant ist, dass die Preisregeln von Anfang an die neue Realität berücksichtigen: Menschen, künstliche Intelligenz oder Mensch und KI zusammen sollen Aufgaben lösen können.
Zwei Preise für eine mathematische Aufgabe
Für jede Aufgabe sind zwei getrennte Rollen vorgesehen.
Erste - Prover, also der Autor des mathematischen Beweises.
Zweite - Formalisierer: Mensch oder System, das diesen Beweis in eine strenge Form überführt, sodass ein Computer jeden Schritt überprüfen kann.
Beide Rollen kann ein einzelner Teilnehmer erfüllen, oder es können völlig verschiedene Menschen sein. Dabei erklärt Sun ganz ausdrücklich, dass es ihm nicht wichtig ist, wer das Ergebnis erhält: der Mensch, die KI oder eine Kombination aus beiden.
Wenn die mathematische Gemeinschaft anerkennt, dass ein neuer Beweis korrekt ist, wird der Name seines Autors sofort festgehalten. Das Geld bleibt jedoch gesperrt mit dem Status „Proved, pending formalization“, bis die Formalisierung und die maschinelle Prüfung abgeschlossen sind.
Das ergibt ein interessantes Modell. Es reicht nicht aus, einen Satz zu beweisen; man muss außerdem dafür sorgen, dass der Beweis für die Maschine vollständig verständlich und überprüfbar ist.
Warum Sun beschlossen hat, einen mathematischen Preis zu schaffen
Seine Motivation verbindet Justin Sun direkt mit der Herkunft der Kryptoindustrie. Er weist darauf hin, dass die Blockchain dank der Mathematik und der Kryptografie existiert: elliptische Kurven, Hash-Funktionen und andere mathematische Konstruktionen.
Seinen Angaben zufolge erhielt er einen erheblichen Teil seines Vermögens durch eine Industrie, die auf diesen Entdeckungen aufgebaut wurde. Deshalb soll die Schaffung eines Preises einen Teil des Erreichten zurück in die Grundlagen der Mathematik bringen.
Als historisches Beispiel erinnert Sun an den Mathematiker Pál Erdős, der eigene Geldpreise für die Lösung offener mathematischer Aufgaben von 25 bis 10.000 US-Dollar vergab. Der Justin Sun Prize überträgt diese Idee im Grunde in die Ära von KI und Blockchain.
Warum hier die künstliche Intelligenz so wichtig ist
Nach Ansicht von Sun steht die Mathematik vor einer völlig neuen Ära. KI eignet sich besonders gut für Aufgaben im Zusammenhang mit logischem Denken und dem Durchspielen einer großen Zahl möglicher Lösungswege. Daher könnte sich die Geschwindigkeit, mit der mathematische Beweise entstehen und geprüft werden, potenziell deutlich erhöhen.
Gerade deshalb wird der Preis nicht alle paar Jahre vergeben. Stattdessen wird ein ständig aktualisiertes Register mathematischer Aufgaben mit im Voraus festgelegten Prämien eingerichtet.
Sun behält sich das Recht vor festzulegen, welche Aufgaben in der Liste erscheinen und wie viel ihre Lösung kosten wird. Nach dem Hinzufügen einer Aufgabe kann sie jedoch nicht mehr entfernt werden, und die für sie vorgesehene Belohnung kann nicht an den Sponsor zurückgegeben werden.
Blockchain statt Vertrauen in die Organisatoren
Ein weiterer ungewöhnlicher Bestandteil des Justin Sun Prize ist die Verwendung der Blockchain für den Preisfonds. Laut Sun ist der ursprüngliche Fonds bereits on-chain hinterlegt, und seine Adresse sowie sein Kontostand sind öffentlich einsehbar. Sun selbst behält sich nur das Recht vor, neue Mittel hinzuzufügen.
Alle Auszahlungen an die Gewinner müssen ebenfalls in der Blockchain verbleiben, sodass die Verteilungshistorie der Preisgelder unabhängig überprüft werden kann. Die siegreichen mathematischen Beweise sollen offen veröffentlicht werden.
So will Sun den Bedarf minimieren, ihm selbst oder einer separaten Kommission vertrauen zu müssen: Die Richtigkeit des formalisierten Beweises soll durch Mathematik und maschinelle Prüfung bestimmt werden, und die Bewegung der Preisgelder soll on-chain festgehalten werden.
Der Preis ist nicht nur auf Menschen beschränkt
Vielleicht ist gerade hier die ungewöhnlichste Besonderheit des Justin Sun Prize. Traditionelle Wissenschaftspreise sind dafür gedacht, die Leistungen von Menschen anzuerkennen. In dem neuen System soll die Herkunft der Lösung keine entscheidende Rolle spielen.
Wenn KI selbstständig einen Beweis findet oder der Mensch ihn gemeinsam mit KI erhält, kann das Ergebnis unter denselben Bedingungen für Anerkennung in Frage kommen. Entscheidend sind die Korrektheit des Beweises und die Möglichkeit seiner formalen Überprüfung. Damit wird der Preis zugleich zu einem Experiment an der Schnittstelle von Mathematik, KI und Blockchain.
Warum der Preis den Namen Justin Sun trägt
Sun erklärt außerdem separat, dass er der Lösung auch den Namen einer eigenen Auszeichnung geben möchte. Er führt Beispiele wie den Nobelpreis, die Fields-Medaille, den Abel-Preis und den Turing-Preis an und ist der Ansicht, dass ein persönlicher Name es der Initiative ermöglicht, unabhängig von Unternehmen und Institutionen zu existieren.
Außerdem schreibt der 36-jährige Sun, dass das bereits angesammelte Vermögen seiner Ansicht nach ausreicht und er es selbst bestimmen möchte, wofür es künftig eingesetzt werden soll: Das durch Mathematik erzielte Kapital soll in die Mathematik zurückfließen.
Außerdem erklärt er, er wolle seine weiteren philanthropischen Bemühungen gerade auf den Justin Sun Prize konzentrieren, weil er diese Initiative für seinen potenziell bedeutendsten Beitrag hält. Solange der Preis ausschließlich der Mathematik gewidmet ist.
Fazit
Das Interessanteste am Justin Sun Prize ist sogar nicht der Preisfonds an sich, sondern der Versuch, ein neues Modell für wissenschaftliche Belohnungen für das Zeitalter der künstlichen Intelligenz zu schaffen. Hier treffen gleich drei Bereiche zusammen: Mathematik liefert die Aufgabe, KI kann an ihrer Lösung und Formalisierung mitwirken, und die Blockchain sorgt für Transparenz bei der Vergütung.
Besonders aussagekräftig ist das Fehlen einer grundlegenden Trennung zwischen Mensch und Maschine. Wenn die KI tatsächlich anfängt, ernsthafte mathematische Aufgaben eigenständig zu lösen, könnte der Justin Sun Prize potenziell zu einem der Experimente werden, in denen solche Ergebnisse nicht nur präsentiert, sondern formal überprüft, dokumentiert und mit einem wirtschaftlichen Wert versehen werden.
Jetzt ist die entscheidende Frage: Welche genau ungelösten mathematischen Aufgaben werden im offiziellen Register erscheinen, und welche Geldbeträge wird Sun für ihre Lösung festlegen?