Justin Sun s’est créé sa propre « Nobel » personnelle.
Le fondateur de TRON a décidé que le monde manquait encore d’un autre prix de mathématiques — et l’a bien sûr nommé en son honneur. Justin Sun Prize : le grand prix — jusqu’à 1 million de dollars pour un problème résolu. L’humilité ne figurait manifestement pas dans la liste des priorités.
Participer peut littéralement n’importe qui — un académicien chevronné, un enthousiaste inconnu, toute une équipe ou même un réseau de neurones. Démocratique ! Mais il n’est pas possible de décrocher le pactole en abordant une simple preuve de manière à l’improviste.
L’accès à l’argent ressemble à une quête en trois niveaux :
La preuve doit d’abord obtenir l’approbation de la communauté mathématique : de beaux mots ne suffisent pas.
Puis intervient un autre participant — le « formaliseur » — qui traduit la logique humaine dans le langage du code.
Et ce n’est qu’après cela que le système Lean recopie et re-vérifie tout le raisonnement, ligne par ligne, sans faire confiance à qui que ce soit sur parole.
Le prix est d’ailleurs partagé en deux : la moitié revient à l’auteur de l’idée, et l’autre moitié à celui/celle qui l’a transformée en code, qu’on ne puisse pas attaquer. Une sorte de tandem mathématique « cerveau + traducteur ».
L’argent est déposé sur une adresse de blockchain publique, et les paiements se font en crypto. C’est joli, décentralisé, moderne. Mais il y a un détail : le/la gagnant(e) devra de toute façon passer par le KYC/AML. Autrement dit, même la « premium-math » sur la blockchain ne vous évite pas l’antique et bon vieil office du service de conformité : il vous retrouvera partout, que ce soit dans Lean, sur la blockchain, ou même au paradis des génies.
Bilan : une récompense retentissante, une mécanique honnête et réfléchie ; en revanche, avec le nom « Justin », il n’a clairement pas fait preuve de modestie.
