Genève, Suisse — 5 octobre 2026 — Le Bureau de Justin Sun a annoncé aujourd'hui les derniers lauréats du Prix Justin Sun : le chercheur indépendant Wouter van Doorn, l'étudiant en doctorat de mathématiques Quanyu Tang et la chercheuse en mathématiques Yanyang Li de l'Université du Sud-Est à Nanjing. Ils ont été reconnus pour leurs contributions à six problèmes d'Erdős.
Wouter van Doorn est un théoricien des nombres indépendant qui a commencé à faire de la recherche en mathématiques en tant qu'étudiant de premier cycle en 2010 et a continué à collaborer et à publier après avoir quitté le milieu universitaire avec un master. Quanyu Tang (汤泉宇) est un étudiant en doctorat de mathématiques à l'Université des Sciences et Technologies de Chine dont les recherches couvrent la théorie des nombres, la combinatoire et la découverte mathématique assistée par IA.
Les problèmes d'Erdős sont des questions mathématiques posées ou popularisées par le mathématicien hongrois Paul Erdős sur les nombres, les motifs et d'autres structures mathématiques. Ils sont souvent simples à énoncer mais difficiles à résoudre, et ils ont contribué à façonner la recherche en théorie des nombres et en combinatoire, certains restant ouverts pendant des décennies. Le catalogue d'Erdős, compilé et maintenu par Thomas Bloom, mathématicien et Royal Society University Research Fellow à l'Université de Manchester, contient plus de 1 200 problèmes.
Van Doorn et Tang ont travaillé avec Yanyang Li de l'École de Mathématiques de l'Université du Sud-Est à Nanjing pour résoudre le problème d'Erdős n° 650, déterminant exactement combien d'entiers peuvent toujours être associés à des multiples distincts dans un intervalle spécifié. Van Doorn a également produit des preuves vérifiables par ordinateur en Lean, un logiciel de vérification du raisonnement mathématique, pour le n° 369, concernant des entiers consécutifs à facteurs premiers restreints ; le n° 457, sur la question de savoir si une courte série d'entiers consécutifs peut collectivement contenir tous les nombres premiers dans un intervalle donné ; et le n° 469, concernant la question de savoir si les inverses d'une classe spéciale de nombres exprimables comme sommes de leurs diviseurs s'additionnent en un total fini. Tang a séparément résolu le n° 1044, établissant une limite inférieure précise pour les longueurs de frontière de régions définies par des polynômes, et a contribué aux côtés de Li à la solution d'une équipe plus large pour le n° 1196, bornant des sommes pondérées sur des ensembles d'entiers dans lesquels aucun membre ne divise un autre.
Leur travail sur le n° 650 offre un exemple concret de la manière dont le jugement humain et l'IA peuvent se compléter. ChatGPT a aidé à développer la stratégie de preuve, tandis qu'Aristotle, un système d'IA pour le raisonnement mathématique, a réparé une lacune lors de la formalisation en Lean. Les chercheurs ont ensuite simplifié l'argument et rédigé les preuves finales et l'exposé.
« Cette expérience m'a appris comment les retours du public peuvent affiner une question de recherche, et comment la découverte assistée par IA peut combiner jugement mathématique, collaboration et vérification rigoureuse », a déclaré Tang.
Il s'agit des premiers prix confirmés du programme, reconnaissant à la fois la découverte mathématique et le travail nécessaire pour rendre les preuves vérifiables de manière indépendante. Des informations sur le Prix Justin Sun, son catalogue de problèmes et les contributions des lauréats sont disponibles via le dépôt GitHub public du programme. Les prix seront payés soit en USDT sur TRON (TRC-20), soit en USDC sur Ethereum (ERC-20), selon le choix du lauréat. Pour plus d'informations, veuillez visiter www.hejustinsun.com/prize.
À propos du Bureau de Justin Sun
Le Bureau de Justin Sun soutient les initiatives mondiales commerciales, philanthropiques et publiques de Justin Sun dans les domaines de la technologie, de la blockchain, de l'intelligence artificielle, de la recherche scientifique, de l'investissement, de l'art et de l'exploration spatiale.
Justin Sun est l'Ambassadeur et ancien Représentant permanent de la Grenade auprès de l'Organisation mondiale du commerce et le fondateur de TRON. TRON est la principale blockchain pour la révolution des stablecoins, ayant traité plus de 13 000 milliards de dollars de volume depuis sa création. Dans les marchés émergents du monde, 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 internationalement pour son travail dans l'industrie des actifs numériques, notamment avec un profil en couverture de Forbes en avril 2025 et plusieurs apparitions sur la liste Forbes 30 Under 30. En août 2025, il a volé sur la mission NS-34 de Blue Origin, devenant la 712e personne de l'histoire à voyager dans l'espace. Ses intérêts plus larges incluent la technologie, l'investissement, la philanthropie, l'art, le jeu et l'exploration spatiale. Contact du Bureau de Justin Sun : info@hejustinsun.com À propos du Prix Justin Sun Le Prix Justin Sun est une initiative académique fondée par Justin Sun pour soutenir les avancées en mathématiques, en vérification formelle et en découverte scientifique assistée par IA. Le prix est décentralisé et repose sur le principe que le travail mathématique doit être jugé par la force, la rigueur et la vérifiabilité de la preuve elle-même, et non par le prestige ou la réputation de ceux qui la soumettent. Justin Sun a établi le prix en son propre nom comme un engagement à long terme de restituer à la mathématique elle-même la richesse créée grâce aux mathématiques et à la technologie. Son héritage est censé être défini par le corpus de travaux qu'il reconnaît et les lauréats dont les découvertes résistent à l'épreuve du temps. Le prix relie des défis mathématiques clairement définis à une preuve vérifiable par machine. Ses principes directeurs sont l'ouverture, le bénéfice public et l'accès open source. Visitez https://www.hejustinsun.com/prize pour plus d'informations. Contact : thejustinsunprize@hejustinsun.com
Questions fréquemment posées
FAQ La nouvelle édition du Prix Justin Sun pour la collaboration humain-IA sur les problèmes d'Erdős
Q1 Qu'est-ce que le Prix Justin Sun
C'est un prix financé par l'entrepreneur crypto Justin Sun qui rémunère les personnes pour résoudre des problèmes mathématiques, en particulier ceux liés aux célèbres problèmes d'Erdős
Q2 Que sont les problèmes d'Erdős
C'est une vaste collection de questions mathématiques ouvertes posées ou popularisées par le légendaire mathématicien hongrois Paul Erdős. Beaucoup sont simples à énoncer mais très difficiles à résoudre
Q3 Qu'y a-t-il de nouveau dans cette édition du prix
Cette édition récompense spécifiquement les solutions où un humain et une IA ont travaillé ensemble — par exemple une personne utilisant un modèle d'IA comme ChatGPT ou un assistant de preuve pour résoudre un problème
Q4 Dois-je utiliser l'IA pour gagner
Pour cette édition, oui. Le prix vise la collaboration humain-IA, donc une solution purement humaine ou purement générée par IA pourrait ne pas être admissible
Q5 Qu'est-ce qui compte comme collaboration humain-IA
Toute configuration où une personne et un système d'IA contribuent chacun de manière significative — par exemple l'IA suggère des étapes de preuve et l'humain les vérifie, les corrige et les affine
Q6 Qui peut participer
Généralement tout le monde — étudiants, amateurs ou mathématiciens professionnels. Consultez les règles officielles pour les limites d'âge, de résidence ou d'éligibilité
Q7 Quel est le montant du prix
Les montants des prix ont varié selon l'édition et la difficulté du problème. Consultez l'annonce officielle pour les chiffres exacts
Q8 Quels problèmes sont admissibles
Habituellement les problèmes des bases de données de problèmes d'Erdős ou une liste spécifique publiée avec le prix. Tous les problèmes ouverts ne sont pas admissibles
Q9 Comment soumettre une solution
Généralement via un formulaire de soumission officiel ou un e-mail indiqué dans l'annonce du prix, avec votre preuve et une description de la manière dont l'IA a été utilisée
Q10 L'IA doit-elle être un outil spécifique
Non, la plupart des éditions autorisent tout outil d'IA — grands modèles de langage, démonstrateurs de théorèmes ou systèmes personnalisés — tant que vous documentez ce que vous avez utilisé
Q11 Dois-je expliquer le rôle de l'IA
Oui. Les organisateurs veulent généralement un compte rendu clair de ce que l'IA a fait par rapport à ce que vous avez fait, afin que la collaboration soit transparente
Q12 Et si la réponse de l'IA est fausse
C'est votre responsabilité. L'humain est responsable de vérifier chaque étape. Un