Le 16 septembre, Sun Yuchen, fondateur de TRON, a officiellement annoncé la création du « Prix Sun Yuchen ». Il s'agit du premier mécanisme mondial de récompense académique décentralisée et sans confiance fondé sur une « liste de problèmes », avec pour seul critère d'attribution des prix des percées majeures dans les disciplines fondamentales et leur vérification formelle par machine, avec une récompense maximale pouvant atteindre 1 million de dollars par problème. La création de ce prix ne remplit pas seulement le vide historique de plus de cent ans sans prix de mathématiques dans le Prix Nobel, mais cherche également à redéfinir, à l'ère de l'IA, la logique et les limites des récompenses scientifiques, en favorisant l'accélération conjointe de la recherche fondamentale par l'humanité et l'intelligence artificielle.
Sun Zhenyu a également révélé la liste des premiers lauréats du « Prix Sun Zhenyu », récompensant les solutions et les preuves formalisées concernant 66 problèmes mathématiques. Le prix principal, d'un montant de 1 million de dollars américains, a été attribué à l'équipe de recherche d'OpenAI pour ses résultats et sa preuve formalisée sur le 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 a été générée par son système interne, le travail de formalisation a été réalisé par GPT-6 Astra, et a été validée par Lean.
Cette question concerne les équations de Navier–Stokes, également appelées équations N–S, qui décrivent le mouvement des fluides. Développées au XIXe siècle par le physicien français Claude-Louis Navier, le mathématicien d'origine irlandaise George Gabriel Stokes et d'autres, elles ont environ deux cents ans d'histoire. En 2000, l'Institut de mathématiques Clay a classé le problème de l'existence et de la régularité des solutions des équations de Navier–Stokes en trois dimensions parmi les sept problèmes du prix du millénaire, en offrant une récompense d'un million de dollars.
Les résultats récompensés dans ce cadre incluent également la conjecture de Sendov, le problème des sous-ensembles distincts d'Erdős, et la conjecture de Dinitz–Garg–Goemans sur la conservation des coûts. Conformément aux règles du « Prix Sun Yuchen », les lauréats listés doivent demander activement la réclamation de leur prix.
Sun Zhenyu affirme que les mathématiques sont la langue et le cadre fondamentaux de toutes les sciences de base. Ce qui élargit véritablement les frontières de la connaissance humaine, ce n'est jamais seulement la quête solitaire, mais la transformation des insights en résultats formalisés vérifiables par les machines et reproductibles par l'humanité entière. Le « Prix Sun Zhenyu » a été créé précisément à cette fin : il ne repose pas sur des nominations traditionnelles ou des seuils de qualifications, ni sur un rythme quadriennal ou des accomplissements à vie, mais lie directement les récompenses aux problèmes mathématiques encore non résolus et aux preuves formalisées vérifiables par machine. Tout contributeur — qu'il s'agisse de chercheurs professionnels, d'amateurs indépendants, ou de particuliers ou équipes collaborant homme et IA — qui réalise en premier une percée, peut obtenir la récompense.
À l'ère de l'IA, le cycle de résolution d'une hypothèse passe de plusieurs années à quelques mois, voire quelques jours. Les systèmes de récompense traditionnels, fondés sur des « accomplissements à vie » ou des périodes fixes, ne peuvent plus suivre le rythme accéléré de la science. La vision du « Prix Sun Yuchen » est de devenir le « Prix Nobel de l'ère de l'IA », en répondant à la transformation profonde de la recherche scientifique et de son incitation par une approche plus décentralisée, plus formalisée et plus automatisée. Il maintiendra en continu et mettra à jour publiquement un dépôt de problèmes mathématiques et de code formalisé : une fois publiée, la liste de problèmes sera définitivement verrouillée, avec ajout uniquement, jamais suppression ; les récompenses seront versées et non remboursables, devenant ainsi une « carte de construction avec prix attaché ».
Selon les informations, le prix « Sun Yuchen » sera attribué uniquement au premier à accomplir la tâche ; si plusieurs personnes y parviennent ensemble, le prix sera réparti proportionnellement à leur contribution. Le solveur recevra 70 % du prix total, tandis que celui qui accomplira la vérification formelle recevra 30 % ; si une seule personne accomplit à la fois la résolution et la vérification formelle, elle obtiendra le prix complet. Même si la tâche est accomplie par un système d’intelligence artificielle, un prix sera attribué, à condition qu’une personne physique, une personne morale ou son représentant dûment autorisé par écrit agisse comme demandeur et bénéficiaire légal. Le prix couvre les progrès mathématiques réalisés à compter du 1er janvier 2026 ; si le problème a été résolu avant cette date mais que la vérification formelle a été achevée après, le vérificateur formel recevra une récompense. La liste actuelle des problèmes inclut la vérification formelle de la conjecture de Poincaré, la conjecture de Riemann, la conjecture de Goldbach, ainsi que de nombreux problèmes non résolus posés par le défunt mathématicien et lauréat du prix Wolf, Paul Erdős.
Sun Yuchen a révélé que, en plus des prix en argent, les lauréats recevront également un certificat et une médaille. Le recto de la médaille présente le portrait de Sun Yuchen et l'inscription « Prix Sun Yuchen » en chinois et en anglais, tandis que le verso comporte une gravure illustrant l'exploration humaine de l'univers, avec une légende latine gravée sur le bord : « Quod probatur, solvitur », ce qui signifie « Ce qui est prouvé est résolu ». Le corps principal de la médaille est en cuivre, recouvert d'une couche d'or pur de 6 grammes.
Le prix Sun Yuchen repose sur trois principes fondamentaux : ouverture, bienfaisance et open source. Il est ouvert à tous les contributeurs éligibles, sans restriction de nationalité, d'organisation ou d'identité, et ne distingue pas les humains des IA ; les fonds sont exclusivement dédiés à la remise du prix et au soutien des travaux ouverts, sans but lucratif ; la liste des problèmes, les critères de validation, ainsi que les preuves et documents de vérification sont entièrement rendus publics via GitHub, et les enregistrements de distribution des primes sont enregistrés sur la blockchain, rendant leur traçabilité permanente et leur modification impossible.
Sun Zhenyu souligne que la conversion actuelle des preuves mathématiques humaines en preuves formelles vérifiables par machine repose encore principalement sur l'enthousiasme spontané des communautés formelles, telles que Lean, et qu'un système d'incitations économiques systématiques fait défaut à long terme. « Les formalistes ne manquent jamais d'enthousiasme, mais ils manquent d'une carte de chantier avec des prix indiqués. » Le « Prix Sun Zhenyu » offre pour la première fois une liste publique et récompensée pour cette étape cruciale, dans le but de transformer radicalement cette situation.
Il a ajouté : « Un prix portant le nom d'une personne est la chose la moins politique au monde. Plus important encore, cela me permet de me rendre compte à moi-même — ma richesse trouve son origine dans les mathématiques. Elle vient des mathématiques et y retourne. » Selon les informations publiques, au cours des dernières années, Sun Yuchen a déjà fait des dons cumulés d'environ 45 millions de dollars américains (environ 300 millions de yuans chinois) dans des domaines tels que la technologie, l'environnement et les secours en cas de catastrophe. Désormais, son centre d'intérêt philanthropique se concentrera entièrement sur le « Prix Sun Yuchen », en promouvant de manière continue et transparente, vérifiable, une accélération des percées en sciences fondamentales.
« Je ne suis pas mathématicien, je suis un observateur, je paie. Le reste, laissez-le à la preuve », déclare Sun Zhen. La création officielle du « Prix Sun Zhen » a lancé un nouveau paradigme d’incitation scientifique fondé sur la vérification machine, animé par la collaboration homme-machine et structuré autour de récompenses décentralisées.