Community Trust ScoreVérifié
Justin Sun vient de remettre un million de dollars pour la résolution de l’un des problèmes les plus difficiles en mathématiques. Pas un prix pour l’ensemble d’une carrière. Pas un vote de comité. Une preuve vérifiée par machine, soumise, vérifiée, payée.
La première édition du Prix Justin Sun s’est conclue avec 66 problèmes mathématiques abordés dans l’ensemble. Le grand gagnant : l’équipe de recherche d’OpenAI, qui a résolu l’Existence et la Régularité des Équations de Navier–Stokes en trois dimensions — un problème figurant sur la liste des Prix du Millénaire de l’Institut de Mathématiques Clay depuis des décennies. OpenAI a utilisé son modèle interne, et GPT-6 Astra a géré la formalisation et la vérification en Lean. Un million de dollars, transféré. Terminé.
Les équations de Navier–Stokes décrivent comment les fluides se déplacent. Pensez à la turbulence, aux systèmes météorologiques, au flux sanguin. Les mathématiciens luttent avec la version tridimensionnelle depuis le 19ème siècle. Personne n’avait de preuve claire et vérifiable. Maintenant, il y en a une.
Comment fonctionne réellement le prix
Sun a conçu le prix pour fonctionner différemment de tout autre prix académique. Pas de cycles de nomination. Pas de comités pour l’ensemble d’une carrière. Pas de barrières institutionnelles. Si vous résolvez un problème de la liste et que la preuve passe la vérification par machine, vous êtes payé. La nationalité n’a pas d’importance. Les diplômes n’ont pas d’importance. Que vous soyez professeur titulaire ou un modèle d’IA travaillant dans un laboratoire de recherche — cela n’a pas d’importance.
La liste des problèmes est publique, maintenue sur GitHub, et ouverte aux contributions de la communauté. Des problèmes proposés par des mathématiciens renommés, dont Paul Erdős, font partie du mélange. Une fois qu’un problème est ajouté à la liste, il ne peut pas être retiré. Les fonds du prix sont irrévocables. Sun l’a configuré ainsi exprès — personne ne peut discrètement retirer un problème parce qu’il est devenu trop difficile ou trop gênant.
Les gagnants reçoivent de l’argent, un certificat, et une médaille. La médaille porte une inscription en latin : « Quod probatur, solvitur » — « Prouvé, puis payé. » Cela résume assez bien toute la philosophie.
Le paiement est effectué en USDT sur TRON ou en USDC sur Ethereum, au choix du gagnant. Et chaque enregistrement de versement est inscrit sur la chaîne, visible de manière permanente. C’est le jeu de la transparence — pas seulement un communiqué de presse disant que l’argent a été attribué, mais une véritable trace blockchain que tout le monde peut suivre.
La liste des problèmes inclut certains des défis non résolus les plus lourds en mathématiques. La Conjecture de Poincaré est là. Tout comme l’Hypothèse de Riemann. Ce ne sont pas des problèmes d’échauffement.
Le parcours de Sun et l’argent derrière
Sun a fait don de plus de 45 millions de dollars à diverses causes. Il a déclaré vouloir concentrer son énergie philanthropique sur le prix à l’avenir — rendre la richesse générée par la technologie à la science fondamentale. C’est du moins l’objectif déclaré.
Il est le fondateur de TRON, qui a traité plus de 13 trillions de dollars de transactions, avec une utilisation particulièrement intensive des stablecoins sur les marchés émergents. Il a également été ambassadeur de Grenade auprès de l’OMC. Et il a volé dans l’espace lors de la mission NS-34 de Blue Origin, ce qui, selon votre perspective, est soit un contexte impressionnant soit une note de bas de page.
Le Bureau de Justin Sun gère ses initiatives dans le domaine de la technologie et de la recherche scientifique. Le prix s’inscrit dans cette structure plus large.
Ce qui est probablement le plus intéressant à propos du prix, ce n’est pas l’argent — c’est le cadre. Sun dit explicitement que les preuves générées par l’IA comptent. GPT-6 Astra a effectué le travail de vérification sur la solution de Navier–Stokes. Ce n’est pas un défaut du système ; c’est tout l’intérêt. Le prix est conçu pour reconnaître les preuves formelles vérifiables par machine, point final, sans tracer de ligne dure entre l’intuition humaine et le calcul par IA.
C’est une position véritablement nouvelle pour un grand prix scientifique. La plupart des institutions traditionnelles cherchent encore à gérer la recherche assistée par l’IA. Sun a essentiellement sauté le débat et intégré la réponse dans la structure du prix dès le premier jour.
Ce que le prix signifie pour la crypto et la science
L’angle de la distribution sur la chaîne mérite qu’on s’y attarde un instant. Les paiements en stablecoins pour des percées mathématiques, enregistrés de manière permanente sur une blockchain publique — c’est une combinaison étrange si vous venez du monde académique traditionnel. Mais c’est cohérent si vous y réfléchissez du point de vue de la transparence native crypto. Pas de transactions en coulisses. Pas de paiements retardés. Pas d’ambiguïté sur le fait que l’argent a réellement été déplacé.
Le prix vise à être, selon les mots de Sun, le « Prix Nobel de l’Ère de l’IA. » C’est une affirmation audacieuse. Le Nobel a un siècle de poids institutionnel derrière lui. Le Prix Justin Sun a une édition complétée, 66 problèmes résolus, et un million de dollars versé à OpenAI.
Mais les équations de Navier–Stokes sont restées non résolues pendant environ 150 ans.
Hub : Prix, actualités et analyses de l’USDC
Questions Fréquentes
Quel problème OpenAI a-t-il résolu pour remporter le prix Justin Sun de 1 million de dollars ?
L’équipe de recherche d’OpenAI a résolu l’Existence et la Régularité des Équations de Navier–Stokes en trois dimensions, un problème du Prix du Millénaire de l’Institut de Mathématiques Clay, en utilisant GPT-6 Astra pour la formalisation et la vérification en Lean.
Comment le prix Justin Sun verse-t-il les gains aux lauréats ?
Les lauréats peuvent recevoir leur paiement en USDT sur TRON ou en USDC sur Ethereum, avec tous les enregistrements de versement maintenus sur la chaîne pour une transparence publique et une traçabilité permanente.
Pourquoi c'est important
La résolution des équations de Navier-Stokes représente une avancée significative dans le domaine des mathématiques appliquées, avec des implications potentielles pour la modélisation des fluides dans divers secteurs, allant de l'ingénierie à la météorologie. En récompensant des percées vérifiées par machine, le Prix Justin Sun illustre l'importance croissante de l'intelligence artificielle dans la recherche scientifique, tout en attirant l'attention sur les défis complexes que pose encore la compréhension des phénomènes naturels. Ce type de reconnaissance pourrait stimuler davantage d'initiatives similaires, renforçant ainsi le lien entre technologie et recherche fondamentale.
