Justin Sun Prize stellt weltweit Aufgaben in Mathematik, die man auf überprüfbare Weise lösen kann – ohne dass man berühmt sein muss. Kein Alters- oder Institutslimit. Man kann das allein machen, mit einer KI oder auch als Team 🔻
Die erste Runde umfasst 66 Aufgaben. Wie man teilnimmt: Wähle eine Aufgabe aus dem offiziellen Aufgabenpool, schreibe einen Beweis in Form eines Arguments auf und mache daraus dann einen formalisierten Beweis mit Lean. Anschließend lasse alles maschinell prüfen und reiche eine Pull Request in das GitHub-Repository des Projekts ein. Wenn das System und die Gutachter die Lösung als bestanden bestätigen, hat man das Recht, am Auswahlverfahren für den Preis teilzunehmen.
Der wichtige Punkt ist, dass das System die Person, die den Beweisgedanken liefert, von der Person trennt, die die Formalisierung durchführt – sie können dieselbe Person sein oder auch nicht. Wenn der Beweis zwar anerkannt wurde, Lean ihn aber noch nicht vollständig überprüfen kann, lautet der Status „Proved, pending formalization“ und das Preisgeld bleibt gesperrt, bis die vollständige Überprüfung von Anfang bis Ende erfolgt ist.
Die Preise haben 5 Stufen. Auf der Stufe „Pinnacle“ sind $1 Million pro Aufgabe festgelegt, die als „verified“ abgeschlossen wurde. Die anderen Stufen werden anhand der Leistung bewertet. Wer es ausprobieren möchte: Fangen Sie am besten direkt im offiziellen Aufgabenpool an.
https://github.com/TheJustinSunPrize/awards
@justinsuntron @trondao @TronDao_THA #TRONGlobalFriends #TGF
Die erste Runde umfasst 66 Aufgaben. Wie man teilnimmt: Wähle eine Aufgabe aus dem offiziellen Aufgabenpool, schreibe einen Beweis in Form eines Arguments auf und mache daraus dann einen formalisierten Beweis mit Lean. Anschließend lasse alles maschinell prüfen und reiche eine Pull Request in das GitHub-Repository des Projekts ein. Wenn das System und die Gutachter die Lösung als bestanden bestätigen, hat man das Recht, am Auswahlverfahren für den Preis teilzunehmen.
Der wichtige Punkt ist, dass das System die Person, die den Beweisgedanken liefert, von der Person trennt, die die Formalisierung durchführt – sie können dieselbe Person sein oder auch nicht. Wenn der Beweis zwar anerkannt wurde, Lean ihn aber noch nicht vollständig überprüfen kann, lautet der Status „Proved, pending formalization“ und das Preisgeld bleibt gesperrt, bis die vollständige Überprüfung von Anfang bis Ende erfolgt ist.
Die Preise haben 5 Stufen. Auf der Stufe „Pinnacle“ sind $1 Million pro Aufgabe festgelegt, die als „verified“ abgeschlossen wurde. Die anderen Stufen werden anhand der Leistung bewertet. Wer es ausprobieren möchte: Fangen Sie am besten direkt im offiziellen Aufgabenpool an.
https://github.com/TheJustinSunPrize/awards
@justinsuntron @trondao @TronDao_THA #TRONGlobalFriends #TGF
