justinsunprize

Ich freue mich darauf, dass #JustinSunPrize mit MathDB und dem CalTech-Professor Tony Tanuki zusammenarbeitet.

#JustinSunPrize wurde ins Leben gerufen, um zum „Nobelpreis des KI-Zeitalters“ zu werden, und ich freue mich auf die bevorstehenden Durchbrüche.

https://x.com/JustinSunPrize/status/2114754513324400967

🏆 Justin Sun Prize hat einen neuen Gewinner bekannt gegeben! Diesmal hat Neel Somani gleich zwei mathematische Probleme gelöst.

Eine weitere spannende Entwicklung bei #JustinSunPrize : Nachdem zuvor bereits die erste Gruppe von Gewinnern bekannt gegeben wurde, ist nun Neel Somani als neuer Gewinner bestätigt worden, nachdem er gleich zwei mathematische Probleme gelöst hat.

Natürlich bedeutet die Lösung von zwei Problemen noch nicht, dass sich alle mathematischen Probleme von Weltrang nun leichter lösen lassen. Doch jede überprüfte Antwort ist ein weiterer Schritt auf dem Weg zu neuen Erkenntnissen.

Herzlichen Glückwunsch an Neel Somani! 👏
QUOD PROBATUR, SOLVITUR.

Was bewiesen werden kann, wird belohnt.
@JustinSunPrize @justinsuntron @TRON DAO @TronDao_THA
#TRONGlobalFriends #TGF #TRON #JustinSunPrize

Vollständige mathematische Lösungen. Vollständige formale Verifizierung in Lean. Beides verdient Anerkennung mit #JustinSunPrize

Mehr erfahren:
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2109561198169747710

Die Technologien, auf die wir morgen setzen, beginnen oft mit Fragen, die heute keinen unmittelbaren kommerziellen Wert haben.

Im Briefing von TRON am 10. Oktober ging es um Justin Suns Gespräch auf der TOKEN2049 über den Einsatz des Justin Sun Prize, um Fortschritte in den Grundlagenwissenschaften und der KI zu fördern.

Das ist wichtig, weil Forschung und Produktentwicklung unterschiedlichen Zeitplänen folgen. Ein mathematischer Durchbruch oder eine neue wissenschaftliche Idee kann Jahre brauchen, bis sie praktisch genutzt werden kann. Doch grundlegende Entdeckungen können letztlich beeinflussen, wie Technologien entwickelt, getestet und verifiziert werden.

Die Unterstützung von Forschenden, die sich schwierigen Problemen widmen, kann Möglichkeiten für Entdeckungen schaffen, deren Erforschung sonst länger dauern könnte. Die tatsächliche Wirkung jeder Forschungsinitiative hängt jedoch von der Qualität der geförderten Arbeit und davon ab, ob daraus bedeutsame Fortschritte hervorgehen.

Für ein Ökosystem, das auf Infrastruktur und Anwendungen ausgerichtet ist, bedeutet die Investition in Grundlagenwissen eine andere Art des Beitrags. Dabei geht es nicht nur darum, was heute entwickelt werden kann, sondern auch darum, was künftige Entdeckungen ermöglichen könnten.

Der nachhaltige Wert der Forschungsförderung wird sich daran messen, welche Entdeckungen sie voranbringt – nicht nur an der Ankündigung selbst.

@Justin Sun孙宇晨 @TRON DAO #JustinSunPrize #TRONEcoStar

Die erste Gruppe der Gewinner des Justin Sun Prize wurde offiziell bestätigt👏

Herzlichen Glückwunsch an Wouter van Doorn, Yanyang Li und Quanyu Tang, denen es gelungen ist, Probleme aus dem Erdős-Katalog zu lösen. Dies ist ein weiterer wichtiger Meilenstein für ein Projekt mit einem klaren Konzept: Mathematikarbeiten auszuzeichnen, die tatsächlich bewiesen, überprüft und bestätigt werden können.

Das Besondere am Justin Sun Prize ist, dass das Projekt weder den Ruf noch die Universität oder den Status der Teilnehmenden in den Mittelpunkt stellt. Stattdessen nutzt es eine offene Problemliste und legt den Fokus auf überprüfbare Ergebnisse. Dazu gehören sowohl Menschen, die mathematische Probleme lösen, als auch diejenigen, die dabei helfen, diese Lösungen in Lean-Beweise zu überführen, die maschinell überprüft werden können.

Derzeit umfasst die Problemdatenbank des Projekts mehr als 1.000 Aufgaben und enthält öffentlich zugängliche Informationen zu Kandidaten, Verifizierungsnachweisen und bestätigten Auszeichnungen.

#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification

🏆 Wie nimmst du am Justin Sun Prize teil?

Beginne mit dem offiziellen Fragenkatalog, der derzeit 1.022 mathematische Aufgaben enthält.

Doch die Auswahl einer Aufgabe ist erst der Anfang.

Das Programm erkennt zwei wichtige Beiträge an:

🧠 Der Prover liefert das mathematische Ergebnis.

💻 Der Formalizer überführt einen akzeptierten Beweis in eine maschinenprüfbare Form, wenn formale Verifikation erforderlich ist.

Dieselbe Person kann beide Rollen übernehmen, oder verschiedene Mitwirkende können sie erfüllen.

📚 Der grundlegende Ablauf:

1️⃣ Wähle eine berechtigte Aufgabe aus dem offiziellen Katalog
2️⃣ Prüfe ihren Status und die veröffentlichten Anforderungen
3️⃣ Entwickle einen vollständigen mathematischen Beweis
4️⃣ Formalisiere das Ergebnis, wenn erforderlich
5️⃣ Nutze den offiziellen Einreichungsweg für diese Aufgabe
6️⃣ Schließe die zuständige Überprüfungs- und Verifikationsphase ab

⚠️ Eine wichtige Unterscheidung:

Eine GitHub-Einreichung oder ein erfolgreicher Software-Build allein bedeutet nicht, dass der Preis gewonnen wurde. Anforderungen, Tools und Einreichungsmethoden können sich zwischen den Aufgaben unterscheiden, und die Anerkennung erfolgt nach den veröffentlichten Regeln.

💡 Was mich am meisten interessiert, ist der Standard, der für das Zeitalter der KI geschaffen wird.

KI kann Antworten schnell generieren. Mathematik stellt die härtere Frage:

Kann jeder Schritt der Antwort bewiesen und unabhängig verifiziert werden?

Diese Kombination aus menschlichem Denken, KI-Unterstützung und formaler Verifikation könnte zunehmend wichtig werden, wenn KI versucht, schwierigere mathematische Probleme zu lösen.

Wähle. Beweise. Formalisiere. Verifiziere. 🧠⚡

Offizielle Website:
https://hejustinsun.com/prize

Offizielles GitHub:
https://github.com/TheJustinSunPrize/awards

@justinsuntron @TRON DAO @TronDao_THA
#JustinSunPrize #TRONGlobalFriends #TGF

Einführung des #JustinSunPrize , eines neuen akademischen Förderprogramms, das Durchbrüche in der Mathematik belohnt.

Mitwirkende können berechtigte Aufgaben lösen, ihre Ergebnisse in Lean formalisieren und maschinenprüfbare Beweise über das Open-Source-GitHub-Repository des Preises einreichen.

Mit fünf Preiskategorien und einem Hauptpreis von 1 Million US-Dollar ist das Programm für berechtigte Mitwirkende weltweit geöffnet.

Löse. Überprüfe. Beanspruche.

Mehr erfahren:
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2100319343670354387

☀️ Guten Morgen, zusammen.
Gestern habe ich über den Justin Sun Prize geschrieben und darüber, warum das Spannende daran nicht nur das Preisgeld ist, sondern die Idee, geleistete Arbeit zu belohnen, die auch tatsächlich verifiziert werden kann.
Heute Morgen gibt es ein weiteres Update, das man im Blick behalten sollte 👀
Justin Sun hat die erste Runde an anerkannten Gewinnern angekündigt – zusammen mit 66 Preisproblemen, die auf einer einfachen Idee basieren:
Belohne die Lösung, nicht die Person.
Das ist der Teil, der mich am meisten interessiert.
Im Mittelpunkt stehen die Antwort und der Beweis selbst – unabhängig davon, ob sie von einem Menschen stammen, von einer KI oder von einer Zusammenarbeit zwischen beidem.
Und das wirft eine größere Frage auf.
Im Zeitalter der KI: Sollten wir mehr darauf achten, wer die Lösung hervorgebracht hat – oder darauf, ob das Ergebnis tatsächlich überprüft, reproduziert und verifiziert werden kann?
Diese beiden Dinge sind nicht immer identisch.
Ein Beweis, der die maschinelle Verifikation besteht, und ein Ergebnis, das von der breiteren akademischen Gemeinschaft formal akzeptiert wird, können in unterschiedlichen Phasen liegen.
Für mich ist genau das der Punkt, der viel interessanter ist als nur „wer den Preis gewonnen hat“.
Wenn KI anfängt, ernster in Mathematik und Forschung beizutragen, dann könnte die Verifikation genauso wichtig werden wie die Entdeckung.
Erst Kaffee, dann zurück, um dieser Geschichte zu folgen ☕️
Ich glaube, dass in dieser noch sehr viel mehr steckt.

@TRON DAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON #JustinSunPrize

Ich lese Justins Suns Beitrag über den Justin Sun Prize und sehe das nicht einfach als einen weiteren Mathematikpreis.

Ich sehe darin eine Möglichkeit, wie jemand aus der Blockchain-Branche der Stiftung etwas zurückgeben kann, die Krypto erst möglich gemacht hat: Mathematik, Kryptografie, Hash-Funktionen und elliptische Kurven.

Ohne Mathematik wäre die Blockchain vielleicht immer noch nicht mehr als eine Idee auf einer Tafel, die auf ihren ersten Block wartet, während die Gasgebühren weiter steigen.

Was den Justin Sun Prize interessant macht, ist der Fokus auf Ergebnisse statt auf Alter, Reputation oder klassische Nominierungen.

Ein Durchbruch kann von einem Menschen kommen, von einer KI oder von einer Kombination aus beidem. Aber um die Prämie zu erhalten, muss der Beweis formalisert und von einer Maschine von der ersten bis zur letzten Zeile verifiziert werden, ohne Fehler.

Ganz einfach:

→ Der Prover erzeugt den Durchbruch.
→ Der Formalizer macht daraus etwas, das eine Maschine verifizieren kann.
→ Die Blockchain protokolliert den Prozess öffentlich und transparent.

Ich mag besonders den „Waiting“-Mechanismus. Sobald die mathematische Gemeinschaft einen Beweis akzeptiert, wird der Name des Provers zuerst erfasst. Der Preis bleibt gesperrt, bis der Beweis formal verifiziert wurde.

Diese Wartezeit ist keine verschwendete Zeit. Sie wird zu einer öffentlichen Liste wichtiger Aufgaben für Mathematiker, Entwickler und KI-Forscher, die es zu erledigen gilt.

Justin Sun mag zwar weiterhin eine kontroverse Person sein, aber Reputation entsteht nicht allein durch Worte. Sie entsteht durch das, was nach vielen Jahren übrig bleibt.

Wenn dieses System wie vorgesehen funktioniert, könnte es eine langfristige Investition in Wissen werden – transparent wie eine Blockchain und beständig wie Mathematik.

LFG!!!

#Tron #JustinSunPrize

📢 Die Mathematik bekommt neuen Platz… und der Justin Sun-Preis rückt den Beweis ins Herz des Wettbewerbs 🏆📐

Der Justin Sun Prize bietet Belohnungen von bis zu 1 Mio. $ für wichtige Leistungen in der Grundlagenmathematik – mit Fokus auf formale Beweise, die Maschinen verifizieren können.

🧠 Das Programm umfasst 66 Aufgaben, die mit Lösungen und formalen Beweisen verknüpft sind, und öffnet den Raum für unterschiedliche grundlegende mathematische Fragestellungen.

💻 Die Idee ist nicht nur, zu einer richtigen Antwort zu gelangen, sondern das Ergebnis in einen formal überprüfbaren Proof zu überführen, der mit Softwaretools verifiziert werden kann. Das schafft eine klare Schnittstelle zwischen Mathematik und KI.

🤖 Laut Ankündigung gehörte ein Forschungsteam von OpenAI zu den ersten Preisträgern – für eine Arbeit, die mit der Navier-Stokes-Aufgabe zusammenhängt.

🌍 Die Teilnahme hängt außerdem nicht von Nominierungen oder akademischen Abschlüssen ab, sondern von dem Beitrag selbst: Wurde die Aufgabe gelöst und in der geforderten Form bewiesen?

🎯 Fazit: Der Preis bietet ein anderes Modell zur Belohnung mathematischer Errungenschaften – eine Verbindung aus Grundlagenmathematik, verifizierbaren Beweisen und KI, mit Prämien von bis zu 1 Mio. $. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO

🏆 THE JUSTIN SUN PRIZE（孙宇晨-Preis）

✦ Warum wurde der Justin Sun-Preis ins Leben gerufen?

Der TRON-Gründer Justin Sun ( @justinsuntron ) hat diesen Preis ins Leben gerufen, um sein persönliches Vermögen in die mathematische Forschung zurückzuführen!

Hinter der Gründung steht auch der Gedanke, den er in einem offenen Brief so formuliert hat.

💬 „Reichtum entsteht aus der Mathematik. Daher sollte man ihn wieder der Mathematik zuführen.“

Was an diesem Preis besonders spannend ist: Es werden nicht einfach nur diejenigen bewertet, die schwierige Matheaufgaben lösen 👀

Im Fokus stehen vor allem zwei Aspekte:

✅ Die Lösung von mathematischen Problemen bzw. Fortschritte in der grundlegenden Forschung ✅ Die Umwandlung der Ergebnisse in eine Form, die auch von Maschinen wie KI überprüft werden kann (formale Verifikation)

Das bedeutet: Nicht nur neue mathematische Entdeckungen werden gewürdigt, sondern auch, dass ihre Korrektheit maschinell bestätigt werden kann.

Darüber hinaus möchte man auch die von Menschen und KI gemeinsam erarbeiteten Ergebnisse angemessen bewerten 🤝

Nicht nur die Weiterentwicklung der mathematischen Forschung, sondern auch die Zukunft der Mathematik gemeinsam von KI und Menschen weiter zu gestalten.

Genau dabei unterstützt der Justin Sun Prize kontinuierlich 🔥

#JustinSunPrize
#TRONGlobalFriends #TGF
@TRON DAO
@TronDao_JPN
@justinsuntron

https://x.com/justinsunprize/status/2102664015692562920?s=46&t=4eHd0fxsg3qDAkvAzm2QAQ

🎯 Warum wurde der „Justin Sun Prize“ ins Leben gerufen?@Justin Sun孙宇晨

In diesem Bild wird erklärt, warum der Justin Sun Prize (der Preis von Sun Yuchen) gegründet wurde.

Mathematik ist ein wichtiges Fachgebiet, das die Karriere von Justin Sun unterstützt hat.
Daher hat er selbst Geld bereitgestellt und einen Preis ins Leben gerufen, der mathematische Forschung und die formale Verifikation von Beweisen unterstützt.

Der Punkt ist hier👇

🧮 Das, was man aus der Mathematik gewinnt, in die Mathematik zurückfließen lassen

Auf dieser Idee aufbauend will man

🔹 Forschungsarbeiten fördern, die mathematische schwierige Probleme lösen
🔹 Die Ergebnisse in „formalisierten Beweisen“ so aufbereiten, dass sie mit Maschinen überprüfbar sind
🔹 Forschung ermöglichen, bei der Menschen und KI zusammenarbeiten

Man strebt ein System an, in dem solche Resultate jeweils erfasst und bewertet werden, um sie mit Preisgeldern zu verknüpfen.

Mit anderen Worten: Es ist nicht einfach nur ein „Wettbewerb mit Preisgeld“, sondern ein großes Merkmal ist, dass man Unterstützung nicht nur beim Lösen von Matheproblemen bietet, sondern auch dabei, die Beweise in eine Form zu bringen, die von KI oder Computern überprüft werden kann.

„Warum ist ein neuer Preis entstanden?“

Die Antwort lautet:
Um die Mathematik, die die eigene Karriere getragen hat, diesmal in Form von finanziellen Mitteln und Chancen zurückzugeben.

Und dadurch, dass auch gemeinsame Forschungsprojekte mit KI neben denen mit Menschen berücksichtigt werden, richtet man den Blick außerdem auf die Möglichkeiten der künftigen mathematischen Forschung—das finde ich besonders interessant.🧠🤖
@TRON DAO
#JustinSunPrize #TGF #TRONGlobalFriends

Quod probatur, solvitur.

Was bewiesen wird, wird gelöst.

Die #JustinSunPrize beginnt.

https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271

WAS BEWIESEN WIRD, IST GELÖST.

Wer nimmt sich eines Erdős-Problems an? #JustinSunPrize

https://x.com/JustinSunPrize/status/2113679297621922180

Auf der Suche nach deiner nächsten mathematischen Herausforderung?

Schau dir die #JustinSunPrize 👇 an
https://x.com/JustinSunPrize/status/2114901966216437835

Kluge Köpfe nehmen sich der #JustinSunPrize Herausforderungen an! Gute Arbeit, Neel!

Wer wird als Nächstes welche lösen?

https://x.com/JustinSunPrize/status/2115415204112769405

Auf der Suche nach deiner nächsten Mathe-Herausforderung? Schau dir #JustinSunPrize an 👇

Neugierig auf die Erdős-Probleme? Hier ist ein guter Ausgangspunkt. #JustinSunPrize

https://x.com/JustinSunPrize/status/2108266913822654813