💸 JUSTIN SUN: PRÄMIE FÜR NEUE ENTDECKUNGEN IN DER MATHEMATIK
🧠 Mein Vermögen wurde durch Mathematik geschaffen — dem Fundament der Kryptografie und der gesamten Blockchain-Industrie.
Jetzt möchte ich einen Teil dieses Beitrags zurückgeben.
Der Justin Sun Prize wird nicht einfach Menschen auszeichnen, sondern konkrete gelöste mathematische Aufgaben.
Die Mechanik ist so simpel wie möglich:
🔹 Prover — derjenige, der einen Satz bewiesen hat.
🔹 Formalizer — derjenige, der den Beweis in ein Format übersetzt hat, das von einer Maschine überprüft werden kann.
Das kann eine Einzelperson, ein Team, eine KI oder eine Kombination aus Mensch und KI sein.
Wichtigste Voraussetzung — der Computer muss den Beweis vollständig und ohne Fehler überprüfen. Danach wird der Preis ausgezahlt.
Wenn der Beweis bereits von Mathematikern anerkannt wurde, aber noch nicht formalisiert ist, bleibt die Auszeichnung gesperrt, bis die maschinelle Überprüfung erfolgt.
Dabei können Aufgaben nach der Aufnahme in das offizielle Register nicht gelöscht werden, und die Mittel können nicht an sich selbst zurückgeholt werden.
Warum Mathematik?
Weil KI die Geschwindigkeit der Arbeit mit Logik radikal verändert. Was früher Jahre dauerte, wird in manchen Fällen jetzt in Monaten oder sogar in Tagen gelöst.
⌛️ Justin Sun Prize - wird mit Blick auf Jahrzehnte geschaffen.
#TRONGlobalFriends #TGF
🧠 Mein Vermögen wurde durch Mathematik geschaffen — dem Fundament der Kryptografie und der gesamten Blockchain-Industrie.
Jetzt möchte ich einen Teil dieses Beitrags zurückgeben.
Der Justin Sun Prize wird nicht einfach Menschen auszeichnen, sondern konkrete gelöste mathematische Aufgaben.
Die Mechanik ist so simpel wie möglich:
🔹 Prover — derjenige, der einen Satz bewiesen hat.
🔹 Formalizer — derjenige, der den Beweis in ein Format übersetzt hat, das von einer Maschine überprüft werden kann.
Das kann eine Einzelperson, ein Team, eine KI oder eine Kombination aus Mensch und KI sein.
Wichtigste Voraussetzung — der Computer muss den Beweis vollständig und ohne Fehler überprüfen. Danach wird der Preis ausgezahlt.
Wenn der Beweis bereits von Mathematikern anerkannt wurde, aber noch nicht formalisiert ist, bleibt die Auszeichnung gesperrt, bis die maschinelle Überprüfung erfolgt.
Dabei können Aufgaben nach der Aufnahme in das offizielle Register nicht gelöscht werden, und die Mittel können nicht an sich selbst zurückgeholt werden.
Warum Mathematik?
Weil KI die Geschwindigkeit der Arbeit mit Logik radikal verändert. Was früher Jahre dauerte, wird in manchen Fällen jetzt in Monaten oder sogar in Tagen gelöst.
⌛️ Justin Sun Prize - wird mit Blick auf Jahrzehnte geschaffen.
#TRONGlobalFriends #TGF
