Genf, Schweiz — 5. Oktober 2026 — Das Office of Justin Sun gab heute die neuesten Gewinner des Justin Sun Prize bekannt: den unabhängigen Forscher Wouter van Doorn, den Mathematik-Doktoranden Quanyu Tang und den Mathematikforscher Yanyang Li von der Southeast University in Nanjing. Sie wurden für Beiträge zu sechs Erdős-Problemen ausgezeichnet.
Wouter van Doorn ist ein unabhängiger Zahlentheoretiker, der 2010 als Student mit der mathematischen Forschung begann und nach dem Verlassen der akademischen Welt mit einem Master-Abschluss weiter zusammenarbeitete und publizierte. Quanyu Tang (汤泉宇) ist ein Mathematik-Doktorand an der University of Science and Technology of China, dessen Forschung Zahlentheorie, Kombinatorik und KI-gestützte mathematische Entdeckung umfasst.
Erdős-Probleme sind mathematische Fragen, die vom ungarischen Mathematiker Paul Erdős zu Zahlen, Mustern und anderen mathematischen Strukturen gestellt oder populär gemacht wurden. Sie sind oft einfach zu formulieren, aber schwer zu lösen, und sie haben die Forschung in Zahlentheorie und Kombinatorik mitgeprägt, wobei einige seit Jahrzehnten offen bleiben. Der Erdős-Katalog, zusammengestellt und gepflegt von Thomas Bloom, einem Mathematiker und Royal Society University Research Fellow an der University of Manchester, enthält mehr als 1.200 Probleme.
Van Doorn und Tang arbeiteten mit Yanyang Li von der School of Mathematics der Southeast University in Nanjing zusammen, um Erdős-Problem #650 zu lösen und genau zu bestimmen, wie viele ganze Zahlen immer mit verschiedenen Vielfachen innerhalb eines bestimmten Intervalls abgeglichen werden können. Van Doorn erstellte außerdem computerüberprüfbare Beweise in Lean, Software zur Verifizierung mathematischer Argumentation, für #369, betreffend aufeinanderfolgende ganze Zahlen mit eingeschränkten Primfaktoren; #457, darüber, ob eine kurze Folge aufeinanderfolgender ganzer Zahlen gemeinsam jede Primzahl in einem gegebenen Bereich enthalten kann; und #469, darüber, ob die Kehrwerte einer speziellen Klasse von Zahlen, die als Summen ihrer Teiler ausdrückbar sind, sich zu einer endlichen Summe addieren. Tang löste separat #1044 und legte eine scharfe untere Grenze für Randlängen von durch Polynome definierten Bereichen fest, und trug zusammen mit Li zur Lösung von #1196 durch ein größeres Team bei, wodurch gewichtete Summen über Mengen ganzer Zahlen beschränkt werden, in denen kein Element ein anderes teilt.
Ihre Arbeit an #650 bietet ein konkretes Beispiel dafür, wie menschliches Urteilsvermögen und KI einander ergänzen können. ChatGPT half bei der Entwicklung der Beweisstrategie, während Aristotle, ein KI-System für mathematische Argumentation, eine Lücke während der Lean-Formalisierung reparierte. Die Forscher vereinfachten dann das Argument und schrieben die endgültigen Beweise und die Darstellung.
"Diese Erfahrung lehrte mich, wie öffentliches Feedback eine Forschungsfrage schärfen kann und wie KI-gestützte Entdeckung mathematisches Urteilsvermögen, Zusammenarbeit und rigorose Verifizierung kombinieren kann", sagte Tang.
Dies sind die ersten bestätigten Auszeichnungen des Programms, die sowohl mathematische Entdeckung als auch die Arbeit anerkennen, die erforderlich ist, um Beweise unabhängig überprüfbar zu machen. Informationen über den Justin Sun Prize, seinen Problemkatalog und die Beiträge der Empfänger sind über das öffentliche GitHub-Repository des Programms verfügbar. Preise werden entweder in USDT auf TRON (TRC-20) oder USDC auf Ethereum (ERC-20) ausgezahlt, basierend auf der Wahl des Empfängers. Für weitere Informationen besuchen Sie bitte www.hejustinsun.com/prize.
Über das Office of Justin Sun
Das Office of Justin Sun unterstützt Justin Suns globale geschäftliche, philanthropische und öffentliche Initiativen in den Bereichen Technologie, Blockchain, künstliche Intelligenz, wissenschaftliche Forschung, Investitionen, Kunst und Weltraumforschung.
Justin Sun ist Botschafter und ehemaliger Ständiger Vertreter Grenadas bei der Welthandelsorganisation und Gründer von TRON. TRON ist die führende Blockchain für die Stablecoin-Revolution und hat seit seiner Gründung ein Volumen von über 13 Billionen US-Dollar verarbeitet. In den Schwellenmärkten der Welt verlassen sich Menschen auf USDT auf TRON, um Zugang zum globalen Finanzsystem zu erhalten.
Als Schützling des Alibaba-Gründers Jack Ma wurde Sun international für seine Arbeit in der digitalen Vermögensbranche anerkannt, darunter ein Forbes-Titelprofil im April 2025 und mehrere Auftritte auf der Forbes 30 Under 30-Liste. Im August 2025 flog er auf der NS-34-Mission von Blue Origin und wurde damit die 712. Person in der Geschichte, die ins All reiste. Zu seinen weiteren Interessen gehören Technologie, Investitionen, Philanthropie, Kunst, Gaming und Weltraumforschung. Office of Justin Sun Kontakt: info@hejustinsun.com Über den Justin Sun Prize Der Justin Sun Prize ist eine akademische Initiative, die von Justin Sun gegründet wurde, um Fortschritte in Mathematik, formaler Verifizierung und KI-gestützter wissenschaftlicher Entdeckung zu unterstützen. Der Preis ist dezentralisiert und basiert auf dem Prinzip, dass mathematische Arbeit nach der Stärke, Rigorosität und Überprüfbarkeit des Beweises selbst beurteilt werden sollte, nicht nach dem Prestige oder Ruf derjenigen, die ihn einreichen. Justin Sun gründete den Preis unter seinem eigenen Namen als langfristige Verpflichtung, durch Mathematik und Technologie geschaffenen Wohlstand an die Mathematik selbst zurückzugeben. Sein Vermächtnis soll durch das Werk, das er anerkennt, und die Preisträger, deren Entdeckungen den Test der Zeit bestehen, definiert werden. Der Preis verbindet klar definierte mathematische Herausforderungen mit maschinenüberprüfbaren Beweisen. Seine Leitprinzipien sind Offenheit, öffentlicher Nutzen und Open-Source-Zugang. Besuchen Sie https://www.hejustinsun.com/prize für weitere Informationen. Kontakt: thejustinsunprize@hejustinsun.com
Häufig gestellte Fragen
FAQs Die neue Runde des Justin Sun Prize für Mensch-KI-Zusammenarbeit bei Erdős-Problemen
F1 Was ist der Justin Sun Prize
Es ist eine Auszeichnung, die vom Krypto-Unternehmer Justin Sun finanziert wird und Menschen für die Lösung von Mathematikproblemen bezahlt, insbesondere solchen, die mit den berühmten Erdős-Problemen verbunden sind
F2 Was sind Erdős-Probleme
Sie sind eine große Sammlung offener mathematischer Fragen, die vom legendären ungarischen Mathematiker Paul Erdős gestellt oder populär gemacht wurden. Viele sind einfach zu formulieren, aber sehr schwer zu lösen
F3 Was ist neu an dieser Runde des Preises
Diese Runde belohnt speziell Lösungen, bei denen ein Mensch und eine KI zusammengearbeitet haben – zum Beispiel eine Person, die ein KI-Modell wie ChatGPT oder einen Beweisassistenten verwendet, um ein Problem zu knacken
F4 Muss ich KI verwenden, um zu gewinnen
Für diese Runde ja. Der Preis zielt auf Mensch-KI-Zusammenarbeit ab, daher qualifiziert sich eine rein menschliche Lösung oder eine rein KI-generierte möglicherweise nicht
F5 Was zählt als Mensch-KI-Zusammenarbeit
Jede Konstellation, in der ein Mensch und ein KI-System jeweils bedeutend beitragen – sagen wir, die KI schlägt Beweisschritte vor und der Mensch überprüft, korrigiert und verfeinert sie
F6 Wer kann teilnehmen
Im Allgemeinen jeder – Studenten, Hobbyisten oder professionelle Mathematiker. Prüfen Sie die offiziellen Regeln für Alters-, Aufenthalts- oder Berechtigungsbeschränkungen
F7 Wie hoch ist der Preis
Die Preisbeträge haben je nach Runde und Problemschwierigkeit variiert. Prüfen Sie die offizielle Ankündigung für die genauen Zahlen
F8 Welche Probleme sind teilnahmeberechtigt
Normalerweise Probleme aus den Erdős-Problemdatenbanken oder einer spezifischen Liste, die mit dem Preis veröffentlicht wird. Nicht jedes offene Problem qualifiziert sich
F9 Wie reiche ich eine Lösung ein
Typischerweise über ein offizielles Einreichungsformular oder eine E-Mail, die in der Preisankündigung aufgeführt ist, mit Ihrem Beweis und einer Beschreibung, wie die KI verwendet wurde
F10 Muss die KI ein bestimmtes Werkzeug sein
Nein, die meisten Runden erlauben jedes KI-Werkzeug – große Sprachmodelle, Theorembeweiser oder maßgeschneiderte Systeme – solange Sie dokumentieren, was Sie verwendet haben
F11 Muss ich die Rolle der KI erklären
Ja. Die Organisatoren möchten normalerweise eine klare Darstellung dessen, was die KI getan hat im Vergleich zu dem, was Sie getan haben, damit die Zusammenarbeit transparent ist
F12 Was, wenn die Antwort der KI falsch ist
Das liegt bei Ihnen. Der Mensch ist dafür verantwortlich, jeden Schritt zu überprüfen. Un