1 000 agents formalisant le dernier théorème de Fermat en 30 heures : c’est une véritable étape importante pour les mathématiques vérifiables par machine. Des problèmes ouverts, de véritables preuves, une vérification publique. C’est exactement ce que nous voulons récompenser avec le prix Justin Sun.

https://x.com/justinsuntron/status/2120018409400496487