Ce milliardaire de la crypto offre 1 million $ pour résoudre une équation, mais il y a une condition non négociable

Dans un écosystème crypto habitué aux airdrops et aux memecoins, voir un milliardaire de la blockchain financer des démonstrations d’équations différentielles peut surprendre. C’est pourtant le pari de Justin Sun, fondateur de Tron, qui veut faire travailler de concert mathématiciens, développeurs et modèles d’IA autour de grandes conjectures ouvertes, en misant sur la transparence des blockchains.

Avec le Justin Sun Prize, annoncé mi-septembre 2026, il met en place un prix de mathématiques qui promet des récompenses pouvant atteindre 1 million de dollars chacune, soit environ 930 000 euros, pour des problèmes difficiles assortis d’une preuve vérifiable par machine. La première grande récompense revient à OpenAI pour des travaux sur les équations de Navier-Stokes en trois dimensions, mais la mécanique du prix va bien au delà de ce cas spectaculaire.

Justin Sun Prize : un prix de mathématiques pensé pour l’IA et les humains

Le Justin Sun Prize repose sur une liste publique de problèmes mathématiques, plutôt que sur des nominations ou des jurys académiques fermés. La participation est ouverte sans limite d’âge, de nationalité ni de statut universitaire, et les organisateurs ne distinguent pas l’origine de la preuve : humains, systèmes d’IA ou équipes hybrides peuvent concourir. Justin Sun met clairement en avant le rôle des modèles d’IA, qu’il voit capables de, selon ses mots, « réduire le délai entre la formulation d’une conjecture et sa démonstration à quelques mois, voire quelques jours ».

La première édition du programme cible 66 problèmes, avec une grande récompense accordée à OpenAI pour un résultat annoncé le 8 septembre sur l’existence d’une singularité en temps fini dans la dynamique de Navier-Stokes en trois dimensions, résultat ensuite formalisé et vérifié via l’assistant de preuves Lean. Ce problème figure aussi parmi les sept défis du prix du millénaire du Clay Mathematics Institute, doté lui aussi de 1 million de dollars ; l’institut a indiqué le 10 septembre que le problème avait « apparemment été résolu », tout en précisant que son propre processus d’évaluation suivrait son cours avant toute attribution officielle de son prix.

Comment le Justin Sun Prize articule vérification formelle et paiements on-chain

Le fonctionnement du prix repose sur deux contributions distinctes pour chaque problème : le « Prouvant », qui établit la preuve mathématique, et le « Vérificateur formel », qui la traduit dans un langage vérifiable par machine, en pratique via l’outil de démonstration de théorèmes Lean. Aucune récompense n’est versée tant que cette preuve formelle n’a pas été validée par logiciel. Les soumissions, les dossiers des candidats, les scripts de vérification et les décisions d’attribution doivent être conservés dans une organisation GitHub dédiée au Justin Sun Prize, afin de constituer un registre public de la manière dont chaque résultat a été évalué. Les médailles remises aux lauréats portent la devise latine « Quod probatur, solvitur », traduite par les organisateurs par « Prouvé, puis payé ».

Le volet financier s’appuie lui aussi sur l’infrastructure crypto construite autour de Tron. Les gagnants peuvent choisir de recevoir leurs récompenses en stablecoins, soit en USDT sur la blockchain Tron, soit en USDC sur Ethereum, avec des paiements enregistrés on-chain. Justin Sun insiste sur le caractère automatique du mécanisme, qui ne repose pas sur la confiance interpersonnelle : « Pour conclure, ce prix ne nécessite aucune confiance entre les personnes. La vérification est mathématique. La machine n’obéit qu’à la logique. La dotation initiale du prix a déjà été transférée sur la blockchain. L’adresse est publique et chacun peut en consulter le solde. Je conserve uniquement le droit d’y ajouter des fonds. »

Derrière la mise en scène très crypto du dispositif, l’initiateur du Justin Sun Prize revendique aussi une forme de retour aux sources. « Plus important encore, cela me donne une réponse à moi-même : ma fortune trouve ses racines dans les mathématiques », a déclaré Sun. « Elle vient des mathématiques, et elle y retournera. » En combinant financements en actifs numériques, recherche générée par l’IA et vérification formelle, le prix se positionne comme un laboratoire grandeur nature pour tester une nouvelle manière de financer, valider et archiver les percées mathématiques.