Einführung des #JustinSunPrize , eines neuen akademischen Förderprogramms, das Durchbrüche in der Mathematik belohnt.

Mitwirkende können berechtigte Aufgaben lösen, ihre Ergebnisse in Lean formalisieren und maschinenprüfbare Beweise über das Open-Source-GitHub-Repository des Preises einreichen.

Mit fünf Preiskategorien und einem Hauptpreis von 1 Million US-Dollar ist das Programm für berechtigte Mitwirkende weltweit geöffnet.

Löse. Überprüfe. Beanspruche.

Mehr erfahren:
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2100319343670354387