Présentation du #JustinSunPrize , un nouveau programme de bourses universitaires récompensant les percées en mathématiques.

Les contributeurs peuvent résoudre les problèmes éligibles, formaliser leurs résultats dans Lean et soumettre des preuves vérifiables par machine via le dépôt GitHub open source du Prix.

Avec cinq niveaux de récompense et un prix principal d’1 million de dollars, le programme est ouvert aux contributeurs éligibles du monde entier.

Résoudre. Vérifier. Revendiquer.

En savoir plus :
https://hejustinsun.com/prize

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