Genève, Suisse — 16 septembre 2026 — Le Bureau de Justin Sun a annoncé aujourd’hui la création du Prix Justin Sun, un mécanisme décentralisé de récompense académique fondé sur un modèle de « confiance zéro » et sur une « liste de problèmes ». Les prix seront attribués en fonction des avancées dans les disciplines fondamentales et de la vérification formelle par machine, avec un prix pouvant atteindre 1 million de dollars américains pour un seul problème. Le prix vise à redéfinir les récompenses scientifiques à l’ère de l’IA et à accélérer la recherche scientifique fondamentale grâce à la collaboration entre humains et IA.
La première liste des lauréats du Prix Justin Sun a également été annoncée. Elle récompense des solutions et des preuves formalisées portant sur 66 problèmes mathématiques. Le premier prix, d’un montant de 1 million de dollars américains, a été décerné à l’équipe de recherche d’OpenAI pour sa solution et sa preuve formalisée du problème de l’existence et de la régularité des équations de Navier–Stokes en trois dimensions. Selon les informations publiées par OpenAI, la preuve correspondante a été produite par son modèle interne, et la formalisation et la vérification dans Lean ont été réalisées par GPT‑6 Astra.
Ce problème porte sur les équations de Navier-Stokes, qui décrivent le mouvement des fluides et sont communément abrégées en équations de N-S. Ces équations ont été élaborées au XIXe siècle par le physicien français Claude-Louis Navier, le mathématicien britannique d’origine irlandaise George Gabriel Stokes et d’autres, et leur histoire s’étend sur environ deux cents ans. En 2000, l’Institut de mathématiques Clay a inscrit le problème d’existence et de régularité des équations de Navier-Stokes parmi les sept problèmes du prix du millénaire et a offert une récompense de 1 million de dollars américains pour sa résolution.
Le prix Justin Sun ne repose ni sur des nominations traditionnelles ni sur des critères de titres ou de qualifications pour limiter l’accès. Il ne suit pas non plus un cycle de quatre ans ou le rythme des distinctions pour l’ensemble d’une carrière. À la place, il est directement lié à des problèmes mathématiques et à des preuves formalisées vérifiables par machine. Toute personne peut recevoir le prix, à condition d’être la première à réaliser une avancée répondant aux critères.
Le prix Justin Sun a pour ambition de devenir le « prix Nobel de l’ère de l’IA » et de répondre aux profondes transformations de la recherche scientifique et des incitations dans cette nouvelle ère de manière plus décentralisée, formalisée et pilotée par des machines. Le dépôt de problèmes mathématiques et de code formalisé sera maintenu et mis à jour publiquement en continu. Dès qu’un problème est inscrit, il est verrouillé : on ne peut qu’en ajouter, jamais en retirer ; les sommes des prix attribués n’ont à être remboursées en aucune circonstance.
La liste actuelle des problèmes comprend déjà la vérification formelle de la conjecture de Poincaré, de l’hypothèse de Riemann et de la conjecture de Goldbach, ainsi qu’un grand nombre de problèmes non résolus proposés du vivant du regretté mathématicien et lauréat du prix Wolf Paul Erdős.
En plus du prix, les lauréats recevront également un certificat et une médaille. La tranche de la médaille porte l’inscription latine « Quod probatur, solvitur », qui signifie « Prouvé, puis payé ».
Le prix Justin Sun repose sur trois principes fondamentaux : l’ouverture, l’intérêt général et le code source ouvert. Il est ouvert à toutes les personnes admissibles, sans restriction liée à la nationalité, à l’institution ou à l’identité, et ne fait aucune distinction entre les humains et l’IA ; les fonds sont exclusivement consacrés aux prix et aux initiatives ouvertes, et ne visent pas à générer des profits ; la liste des problèmes, les normes de confirmation, les preuves et les documents de vérification sont tous accessibles au public sur GitHub, tandis que les versements des prix sont consignés sur la blockchain afin d’assurer leur traçabilité permanente et leur immuabilité.
« Un prix qui porte le nom d’une personne est la chose la moins politique au monde », a déclaré Sun. « Plus important encore, il m’apporte une réponse à moi-même : ma fortune trouve ses racines dans les mathématiques. Elle vient des mathématiques, et elle y retournera. »
Selon les archives publiques, Sun a fait don de plus de 45 millions de dollars américains dans les domaines de la technologie, de la protection de l’environnement, des secours en cas de catastrophe et d’autres secteurs. Le Prix Justin Sun deviendra un pilier central des efforts philanthropiques de Sun et continuera de soutenir les percées en sciences fondamentales grâce à un modèle ouvert et vérifiable.
Le prix sera versé soit en USDT sur TRON (TRC-20), soit en USDC sur Ethereum (ERC-20), au choix du bénéficiaire. Pour en savoir plus, rendez-vous sur www.hejustinsun.com/prize.
À propos du Bureau de Justin Sun
Le Bureau de Justin Sun soutient les activités mondiales de Justin Sun dans les domaines des affaires, de la philanthropie et des initiatives publiques, notamment la technologie, la blockchain, l’intelligence artificielle, la recherche scientifique, l’investissement, l’art et l’exploration spatiale.
Justin Sun est ambassadeur et ancien représentant permanent de la Grenade auprès de l’Organisation mondiale du commerce, ainsi que fondateur de TRON. TRON est la principale blockchain de la révolution des stablecoins, avec plus de 13 000 milliards de dollars de transactions traitées depuis sa création. Dans les marchés émergents du monde entier, les gens comptent sur l’USDT sur TRON pour accéder au système financier mondial.
Protégé du fondateur d’Alibaba, Jack Ma, Sun a été reconnu à l’échelle internationale pour son travail dans le secteur des actifs numériques, notamment avec un portrait en couverture de Forbes en avril 2025 et plusieurs apparitions dans la liste Forbes 30 Under 30. En août 2025, il a effectué un vol à bord de la mission NS-34 de Blue Origin, devenant ainsi la 712e personne de l’histoire à voyager dans l’espace. Ses centres d’intérêt plus larges couvrent la technologie, l’investissement, la philanthropie, l’art, les jeux vidéo et l’exploration spatiale.
À propos du prix Justin Sun
Le prix Justin Sun est une initiative universitaire créée par Justin Sun afin de soutenir les avancées en mathématiques, en vérification formelle et en découverte scientifique assistée par l’IA. Ce prix est décentralisé et repose sur le principe selon lequel les travaux mathématiques doivent être évalués selon la solidité, la rigueur et la vérifiabilité de la preuve elle-même, et non selon le prestige ou la réputation de leurs auteurs.
Justin Sun a créé ce prix en son nom propre, dans le cadre d’un engagement à long terme visant à réinvestir dans les mathématiques les richesses générées par les mathématiques et la technologie. Son héritage doit se mesurer à l’aune des travaux qu’il récompense et des lauréats dont les découvertes résistent à l’épreuve du temps. Le prix relie des défis mathématiques clairement définis à des preuves vérifiables par machine. Ses principes directeurs sont l’ouverture, l’intérêt général et l’accès aux logiciels libres.
Consultez le site pour plus d’informations.
Source : BeInCrypto
