Justin Sun Preis startet Pilotprogramm mit 50 Problemen in Zusammenarbeit mit MathDB unter der Leitung von Caltechs Tony Yue Yu

Das Büro von Justin Sun hat ein neues Pilotprogramm für den Justin Sun Preis in Zusammenarbeit mit MathDB, einer mathematischen Forschungsplattform, die von Professor Tony Yue Yu von Caltech und seinem Team entwickelt wurde, angekündigt. Diese Initiative zielt darauf ab, einen dezentralen und formalisierten Ansatz für wissenschaftliche Forschung zu etablieren, der als eine Art 'Nobelpreis der KI-Ära' betrachtet wird.

Im Rahmen des Pilotprogramms können Teilnehmer Lösungen für 50 mathematische Probleme einreichen, wobei die möglichen Preise je nach Komplexität des Problems bis zu 1 Million Dollar betragen. Zu den bemerkenswerten Herausforderungen gehören das P-vs-NP-Problem, die Riemannsche Vermutung und die Hodge-Vermutung.

MathDB wird den Einreichungs- und Überprüfungsprozess erleichtern, indem es die Lean-Formalismen verifiziert und die Qualität der erläuternden Materialien bewertet. Der Justin Sun Preis wird die Kriterien für die Teilnahme und die Preisvergabe separat behandeln. Justin Sun betonte die Bedeutung der Kombination von menschlicher Einsicht mit maschineller Intelligenz, um rigorosen wissenschaftlichen Fortschritt zu fördern.

Um die Wirkung dieser Initiative zu verstärken, wird die Preisverteilung nicht nur die mathematischen Lösungen belohnen, sondern auch die Klarheit und Zugänglichkeit ihrer Kommunikation. Die Preisverteilung umfasst 50 % für die Lösung, 30 % für die Lean-Formalisation und 20 % für die Exposition.

Professor Tony Yue Yu äußerte, dass die Lösung grundlegender mathematischer Probleme oft unerwartete Verbindungen und Werkzeuge aufdeckt, die potenziell die Forschung über Generationen hinweg beeinflussen können. Die Zusammenarbeit zielt darauf ab, Entdeckungen durch rigorose und überprüfbare Methoden zu beschleunigen und so zur Erweiterung des menschlichen Wissens beizutragen.