Guten Tag an alle đ»
Wenn Sie auf der Suche nach einem zusÀtzlichen Einkommen sind, hier ist etwas Interessantes.
Der Justin Sun Prize hat gerade das erste Set aus 66 Mathematikaufgaben fĂŒr Menschen auf der ganzen Welt geöffnet, um sich selbst herauszufordern. Der höchste Preis betrĂ€gt 1.000.000 US-Dollar.
Wie kann man mitmachen?
Hauptschritte: WĂ€hle eine Aufgabe aus dem offiziellen GitHub-Repository â Forke das Repository â schreibe einen Formellen Beweis in Lean, um die Aufgabe korrekt zu beweisen.
đ Kurze Zusammenfassung
WĂ€hle eine Aufgabe â Schreibe den Beweis â Teste ihn â Sende einen PR â Warte auf die ĂberprĂŒfung
Jeder Interessierte kann die Aufgabenbank und die Bedingungen fĂŒr jede Aufgabe einsehen. Das Bestehen der ĂberprĂŒfung bedeutet nicht automatisch, dass Sie den Preis bekommen â Sie mĂŒssen sich weiterhin an die Projektregeln halten.
@Justin Sunććźæš
@TRON DAO
#TRONGlobalFriends #TGF
Wenn Sie auf der Suche nach einem zusÀtzlichen Einkommen sind, hier ist etwas Interessantes.
Der Justin Sun Prize hat gerade das erste Set aus 66 Mathematikaufgaben fĂŒr Menschen auf der ganzen Welt geöffnet, um sich selbst herauszufordern. Der höchste Preis betrĂ€gt 1.000.000 US-Dollar.
Wie kann man mitmachen?
Hauptschritte: WĂ€hle eine Aufgabe aus dem offiziellen GitHub-Repository â Forke das Repository â schreibe einen Formellen Beweis in Lean, um die Aufgabe korrekt zu beweisen.
đ Kurze Zusammenfassung
WĂ€hle eine Aufgabe â Schreibe den Beweis â Teste ihn â Sende einen PR â Warte auf die ĂberprĂŒfung
Jeder Interessierte kann die Aufgabenbank und die Bedingungen fĂŒr jede Aufgabe einsehen. Das Bestehen der ĂberprĂŒfung bedeutet nicht automatisch, dass Sie den Preis bekommen â Sie mĂŒssen sich weiterhin an die Projektregeln halten.
@Justin Sunććźæš
@TRON DAO
#TRONGlobalFriends #TGF
