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
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
