justinsunprize

ผู้ชนะชุดแรกของ Justin Sun Prize ได้รับการยืนยันอย่างเป็นทางการแล้ว👏

ขอแสดงความยินดีกับ Wouter van Doorn, Yanyang Li และ Quanyu Tang ที่สามารถแก้โจทย์จาก Erdős catalogue ได้สำเร็จ นี่ถือเป็นอีก Milestone สำคัญของโครงการที่มีแนวคิดค่อนข้างชัดเจนมาก คือให้รางวัลกับผลงานคณิตศาสตร์ที่สามารถพิสูจน์ ตรวจสอบ และยืนยันได้จริง

สิ่งที่น่าสนใจของ Justin Sun Prize คือโครงการไม่ได้ให้ความสำคัญกับชื่อเสียง มหาวิทยาลัย หรือ Status ของผู้เข้าร่วมเป็นหลัก แต่ใช้ Problem List แบบเปิด และเน้นผลงานที่สามารถตรวจสอบได้ โดยมีทั้งคนที่แก้โจทย์คณิตศาสตร์ และผู้ที่ช่วยเปลี่ยนคำตอบเหล่านั้นให้กลายเป็น Lean Proof ที่เครื่องสามารถตรวจสอบได้

ปัจจุบัน Problem Bank ของโครงการมีโจทย์มากกว่า 1,000 ข้อ พร้อมข้อมูลสาธารณะเกี่ยวกับ Candidate, Verification Evidence และ Award ที่ได้รับการยืนยันแล้ว

#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification

🏆 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

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

🏆 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

📢 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

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

Sowohl das Lösen des Problems als auch das Formulieren des Beweises verdienen Anerkennung.

So ist das #JustinSunPrize aufgebaut.

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

Eine außergewöhnliche Analyse des neuen Paradigmas der formalen Verifikation, das von dem Herrn @JustinSun mit dem #JustinSunPrize eingeführt wurde.🔴

Im Gegensatz zur traditionellen Philanthropie belohnt dieses dezentrale Modell die reine Logik mit der Geschwindigkeit der KI-Ära und verwandelt menschliche Wahrheiten in unveränderlichen, von Maschinen verifizierten Code auf der Blockchain von $TRX .

Ich hinterlasse eine visuelle Aufschlüsselung des Flusses und seiner wichtigsten Zustände.

📚Mgtr. in TIC | David C🔽

🏆 Die Justin Sun Prize öffnet neue Horizonte für Softwareentwickler und Forscher!

Probleme Schritt für Schritt zu lösen ist ein wichtiger Anfang, doch die Korrektheit der Lösung nachzuweisen ist genauso entscheidend. In diesem Sinne beleuchtet das Programm The Justin Sun Prize zwei zentrale Rollen in der Welt der Programmierung und mathematischen Verifikation – mit einem Belohnungsmechanismus, der Innovation und Präzision verbindet.

🔍 Wie werden die Preise verteilt?

Das Programm basiert auf der Aufteilung des Preises in zwei Hauptaufgaben:

🔹 70 % für den Problem Solver:
Gewährt wird an diejenigen, die es schaffen, eine Lösung für die gestellte Aufgabe zu finden – sowohl für Einzelpersonen als auch für Teams. Dies ist eine Anerkennung für den Aufwand bei der Entwicklung der Lösung und für das Erreichen des gewünschten Ergebnisses.

🔹 30 % für den Lean Formalizer:
Zugewiesen wird an diejenigen, die die Lösung in eine formale mathematische Darstellung überführen. Dafür wird die Sprache Lean verwendet – ein spezialisiertes Werkzeug, das dabei hilft, die Korrektheit mathematischer Beweise präzise und überprüfbar zu verifizieren.

💡 Was ist daran am spannendsten?

Wenn dieselbe Person oder dasselbe Team beide Aufgaben erledigt, kann sie bzw. es 100 % des Preises erhalten – gemäß den Bedingungen und Regeln, die für das Programm gelten.

🔗 Für Details und Bedingungen:
hejustinsun.com/prize/rules

#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨

Wichtige Nachrichten im TRON-Ökosystem ♦️

1️⃣ Die Marktkapitalisierung der Stablecoins auf TRON ist in 90 Tagen um 4,8 Mrd. US-Dollar gestiegen und übertraf damit das kombinierte Wachstum der anderen 9 Ketten der Top-10.

2️⃣ @Justin Sun孙宇晨 startet den Justin Sun Prize, eine dezentrale Bounty mit bis zu 1 Mio. US-Dollar.
• Belohnt sowohl, wer einen Satz beweist, als auch, wer ihn in überprüfbarem Code für Maschinen formalisiert.
• Ohne Bürokratie, offen für Menschen und KI, mit Mitteln, die in der Blockchain gesperrt sind.

3️⃣ Der ETF des $TRX , der bei CanaryFunds eingesetzt wurde, ist bereits aktiv auf eTrade und schafft mehr Exposure für TRX in den traditionellen Märkten.

// #TGF // #TRONGlobalFriends // #ETF // #Stablecoins // #JustinSunPrize //

#JustinSunPrize bttc para wann?

Ein weiteres Projekt von Justin Sun, das ich diesmal unglaublich spannend finde, hat nichts mit dem Preis von $TRX oder DeFi zu tun. Stattdessen geht es um Mathematik + KI + Open Source.

Kürzlich startete @justinsuntron The Inaugural 66 Prize Problems von #JustinSunPrize. Die Idee unterscheidet sich ziemlich von traditionellen wissenschaftlichen Auszeichnungen, weil dieser Preis nicht darauf abzielt, „wer du bist, an welcher Universität du studiert hast oder wie berühmt du bist“.

Was wirklich zählt, ist:

Kannst du das Problem lösen – und kann dein Beweis von einer Maschine verifiziert werden?

Der Justin Sun Prize verwendet ein Problem-listen-Modell und eröffnet mathematische Fragestellungen für Teilnehmende aus der ganzen Welt – darunter Forschende, Entwickler, unabhängige Mitwirkende, Human-+KI-Teams und KI-gestützte Forschende.

Am besten gefällt mir, dass die qualifizierenden Beweise eine formale Verifikation bestehen müssen, z. B. mit Lean. Es reicht nicht, eine Antwort zu schreiben, die nur „richtig aussieht“. Der Beweis muss es einer Maschine ermöglichen, die Logik von Anfang bis Ende zu überprüfen.

Kurz gesagt:
Es geht nicht darum, „zu glauben, dass es korrekt ist“. Es geht darum, „es auf eine überprüfbare Weise zu beweisen“.

Die höchste Preisstufe, Pinnacle, bietet eine Belohnung von 1.000.000 $ für jedes Problem, das erfolgreich gelöst und abgeschlossen wird.

Für mich ist der spannendste Aspekt der ersten 66 Prize Problems nicht nur das Preisgeld. Es ist die Tatsache, dass diese Initiative mit einem neuen Forschungsmodell für das KI-Zeitalter experimentiert.

Traditionell sieht der Prozess so aus:
Eine Person formuliert das Problem → ein Mathematiker entwickelt den Beweis → Expertinnen und Experten lesen und überprüfen ihn.

Aber es könnte sich weiterentwickeln zu:
Menschen denken + KI unterstützt bei der Entdeckung + Maschinen verifizieren den Beweis + Open Source ermöglicht es allen, ihn danach zu überprüfen.

Wenn dieses Modell gelingt, könnte es Einzelpersonen, kleinen Teams und Menschen außerhalb renommierter Universitäten mehr Chancen geben, weltklasse Probleme zu lösen. Am Ende wird nicht der Ruf gemessen, sondern die Qualität des Beweises.

@JustinSunPrize @justinsuntron
#JustinSunPrize #TGF #TRONGlobalFriends #TRON