Wenn man eine schwierige Matheaufgabe löst, erhält man die Belohnung sofort vor Ort.
So ein System ist wirklich zustande gekommen😳
Am 16. September gab Justin Sun die Einrichtung des „Justin Sun Prize (孙宇晨-Preis)“ bekannt.
Dies ist ein völlig neuer Preis, der für mathematische Beweisaufgaben eine Belohnung vergibt.
Das Motto lautet „Proved, then paid.“ („Beweisen, dann bezahlt werden.“)
---
Worin unterscheidet sich dieser Preis von bisherigen Mathematikpreisen?
Bisherige Mathematikpreise wie der Fields-Preis oder Millennium-Preisaufgaben laufen über einen Prozess aus Empfehlung durch die Fachwelt, Begutachtung und einer Preisverleihung.
Oft dauert es Jahre vom Beweis bis zur Preisverleihung, und in dieser Struktur ist es schwierig, dass Nachwuchs- oder unbekannte Forschende ins Rampenlicht rücken.
Der Justin Sun Prize ist dabei völlig anders.
Beweis einreichen → Issue auf GitHub erstellen → 14 Tage öffentliche Phase → maschinelle Verifikation → bei Korrektheit sofortige Zahlung.
Keine Altersgrenze, keine Empfehlung nötig, keine Einschränkungen bei der Staatsangehörigkeit. Du kannst teilnehmen — mit Menschen oder mit KI, oder auch mit gemeinsamer Arbeit von Mensch und KI.
Zwei Rollen: „Prover“ und „Formalizer“
Das ist der Teil, der für mich persönlich am spannendsten ist 😊
In der Welt der Mathematik sind da „die Menschen, die sich Gedanken über Beweise machen“ und
„Jemand, der den Beweis in eine Form umschreibt, die Computer lesen können (Lean)“
war eine andere Aufgabe, während die zweite eher langweilig war und kaum Anerkennung bekam.
Der Justin Sun Prize bewertet das ganz explizit mit einer Vergütungsaufteilung von 70:30.
Beweisende: 70 %, für die Formalisierung Zuständige: 30 %.
Zum ersten Mal wurde der bislang fast unbezahlten Formalisierungsarbeit ein wirtschaftlicher Wert zugeschrieben.
Verbindung zu TRON
Der Preisgeldpool wird über eine öffentliche Adresse auf der TRON-Blockchain verwaltet, sodass jeder sein Guthaben mithilfe eines Blockchain-Explorers einsehen kann.
Um das Konzept „Bewiesen, dann bezahlt“ umzusetzen, wird die manipulationssichere Transparenz on-chain genutzt.
Man kann auch sagen, dass Smart Contracts als „vertrauenswürdige Prüfer“ fungieren.
Aktuell sind auf GitHub etwa 1.022 Aufgaben veröffentlicht, und als erste Runde wurden 66 Aufgaben freigegeben.
Wer gut in Mathematik ist, Lean schreiben kann oder KI zu nutzen versteht — die Einstiegshürde ist vielleicht niedriger, als man denkt.
Mathematik × Blockchain × KI — das scheint eine richtig passende Kombination zu sein, oder? 🔥
Wenn du daran interessiert bist, probier es doch unbedingt aus 😉
@JustinSunPrize @justinsuntron @sunyuchentron @TronDao_JPN #TRX