Wenn man die schwierigen mathematischen Aufgaben löst,...
Bekomme ich ein Preisgeld von JustinSun?🤨？
In diesem Monat hat Herr Justin Sun, der Gründer von TRON,
„den Justin Sun Prize“ angekündigt.
Das Losungswort lautet „Bewiesen, dann bezahlt.“
Beweisen und die Belohnung erhalten.
Aber warum ist man in der Welt der Krypto-Assets?
Hat Herr JustinSun einen Preis für Mathematik geschaffen?
Sehen wir uns das zusammen mit dem Mechanismus an👇
1. Warum ist es ein Preis für Mathematik?
Herr Justin Sun hat
„Meine Quelle meines Reichtums liegt in der Mathematik“
und erklärt das.
Die Kryptotechnologie, die die Sicherheit der Blockchain unterstützt, ist aus der jahrelangen Forschung der Mathematiker entstanden.
Die Absicht desjenigen ist es, das Vermögen, das er durch diesen Nutzen aufgebaut hat, in die Mathematik zurückzuführen.
Und inzwischen ist es so weit: Auch KI wird an mathematischen Beweisen beteiligt sein. Wie man Entdeckungen verifiziert und wie die Beiträge von Menschen und KI bewertet werden, sind ebenfalls große Themen dieses Preises.
2. Was ist der Unterschied zwischen den 1.022 Aufgaben und den „ersten 66 Aufgaben“?
Im offiziellen GitHub sind 1.022 mathematische Aufgaben veröffentlicht. Für die ersten 66 Aufgaben sind außerdem detaillierte Aufzeichnungen zu Beweisen und Beitragsleistenden verfügbar.
Worauf man hier achten sollte, ist: Nicht alle 1.022 Aufgaben sind „noch von niemandem gelöst“.
Auch wenn etwas mathematisch bereits bewiesen ist, gibt es Aufgaben, bei denen dieser Beweis noch nicht auf Lean formalisiert wurde. Das heißt: Man hat nicht nur die Möglichkeit, wenn man eine neue Lösung findet, sondern auch dann, wenn man bestehende Beweise so in eine Form bringt, dass sie von Maschinen überprüft werden können.
3. Wer erhält die Prämie?
Jede Aufgabe hat zwei Rollen.
✏️ Prover: Person, die den mathematischen Beweis abschließt
💻 Formalizer: Person, die den Beweis mit Lean formalisert
Grundsätzlich werden 70 % des Preisgelds an den Prover und 30 % an den Formalizer vergeben. Wenn dieselbe Person oder dasselbe Team beide Rollen übernimmt, ist vorgesehen, dass sie das gesamte Preisgeld erhalten.
Dass die Prämie nicht nur für die Entdeckung eines Beweises, sondern auch für die Arbeit daran vergeben wird, lange Beweise Schritt für Schritt in eine überprüfbare Form zu bringen, ist wirklich einzigartig 👀
4. So verläuft es bis zur Auszeichnung
Hier ist das „then“ in „Proved, then paid.“ entscheidend.
Belege wie etwa den Beweis über GitHub-PR einreichen
↓
Prüfung des mathematischen Inhalts und der Formalisierung mit Lean
↓
Erstellung des Issues für die Bewerbung um die Auszeichnung, und Prüfung von Person und Beitrag
↓
als Kandidat 14 Tage öffentlich gemacht und Einsprüche werden entgegengenommen
↓
Gewinner schriftlich bestätigen, offiziell bekannt geben und auszahlen
Neben dem, was man mit einem Computer prüfen kann, wird auch überprüft, ob der ursprüngliche Beweis wirklich stimmt und wem die Leistung zuzurechnen ist. An Lösungen, die mit KI erstellt wurden, kann man zwar teilnehmen, aber man kann die Preisgelder nicht einfach allein mit dem Namen der KI oder einer Wallet-Adresse einfordern.
5. Wie hängt das mit TRON zusammen?
Das Preisgeld wird entweder in Form von TRC-20 USDT auf TRON oder als ERC-20 USDC auf Ethereum ausgezahlt. Dass man die Blockchain zur Auszahlung der Preisgelder nutzt, ist ein typisch Sun-mäßiger Aspekt.
Allerdings: Dieser Preis wird von Sun als Privatperson finanziert. Ich denke, es wäre zu früh zu glauben, dass allein durch die Gründung des Preises die TRX-Nachfrage stark ansteigen würde.
Was mich interessiert, ist: Welche konkreten Beweise und Formalisierungen werden anerkannt und wie summieren sich die Zahlungen an die Preisträger?
Eine Rückzahlung an die Mathematik, ein neues Bewertungssystem im KI-Zeitalter und die Herausforderung, den Namen von Justin Sun selbst zu verewigen. Wir werden gespannt verfolgen, zu was der „Justin Sun Prize“ heranwächst 🔥
Offizielle Website: https://hejustinsun.com/prize
Problemliste: https://github.com/TheJustinSunPrize/awards
#TRONGlobalFriends #TGF #TRON
@Justin Sun孙宇晨 @TRON DAO
