La nouvelle édition du Prix Justin Sun récompense la collaboration entre l'homme et l'IA sur les problèmes d'Erdős

Wouter van Doorn est un théoricien des nombres indépendant qui a commencé à mener des recherches en mathématiques dès le premier cycle universitaire en 2010 et a continué à collaborer et à publier après avoir quitté le milieu universitaire à l’issue de son master. Quanyu Tang (汤泉宇) est doctorant en mathématiques à l’Université des sciences et technologies de Chine ; ses recherches portent sur la théorie des nombres, la combinatoire et la découverte mathématique assistée par l’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, portant sur les nombres, les structures et autres motifs mathématiques. Souvent simples à énoncer mais difficiles à résoudre, ils ont contribué à façonner la recherche en théorie des nombres et en combinatoire, certains restant sans solution depuis des décennies. Le catalogue Erdős, compilé et mis à jour par Thomas Bloom, mathématicien et chercheur universitaire de la Royal Society à l’université de Manchester, recense plus de 1 200 problèmes.

Van Doorn et Tang ont collaboré 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, en déterminant exactement combien d’entiers peuvent toujours être associés à des multiples distincts dans un intervalle donné. Van Doorn a également produit des preuves vérifiables par ordinateur dans Lean, un logiciel de vérification des raisonnements mathématiques, pour le problème n° 369, concernant des entiers consécutifs ayant des facteurs premiers restreints ; le problème n° 457, qui demande si une courte suite d’entiers consécutifs peut contenir collectivement tous les nombres premiers d’un intervalle donné ; et le problème n° 469, qui demande si les inverses d’une classe particulière de nombres, exprimables comme sommes de leurs diviseurs, donnent un total fini.

Tang a résolu séparément le problème n° 1044, en établissant une borne inférieure précise pour les longueurs des frontières de régions définies par des polynômes, et a contribué, aux côtés de Li, à la résolution par une équipe élargie du problème n° 1196, qui consiste à estimer des sommes pondérées sur des ensembles d’entiers dans lesquels aucun élément ne divise un autre.

Leurs travaux sur le problème n° 650 offrent un exemple concret de la manière dont le jugement humain et l’IA peuvent se compléter. ChatGPT a aidé à élaborer la stratégie de démonstration, tandis qu’Aristotle, un système d’IA dédié au raisonnement mathématique, a comblé une lacune lors de la formalisation selon la méthode Lean. Les chercheurs ont ensuite simplifié le raisonnement et rédigé les démonstrations finales ainsi que l’exposé.

« Cette expérience m’a appris à quel point les retours du public peuvent affiner une question de recherche, et comment la découverte assistée par l’IA peut allier jugement mathématique, collaboration et vérification rigoureuse », a déclaré Tang. Il s’agit des premières récompenses confirmées du programme, qui récompensent à 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 versé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 consulter le site www.hejustinsun.com/prize. À propos du Bureau de Justin Sun Le Bureau de Justin Sun soutient les initiatives mondiales de Justin Sun dans les domaines des affaires, de la philanthropie et de l’action publique, notamment en matière de technologie, de blockchain, d’intelligence artificielle, de recherche scientifique, d’investissement, d’art et d’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 blockchain de référence de la révolution des stablecoins, ayant traité un volume de plus de 13 000 milliards de dollars depuis sa création. Sur les marchés émergents du monde entier, les populations comptent sur l’USDT sur TRON pour accéder au système financier mondial.

Protégé de Jack Ma, fondateur d’Alibaba, Justin Sun a été reconnu à l’échelle internationale pour son travail dans le secteur des actifs numériques, notamment grâce à un article en couverture du magazine Forbes en avril 2025 et à ses multiples apparitions dans la liste « Forbes 30 Under 30 ». En août 2025, il a pris part à 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 s’étendent à la technologie, à l’investissement, à la philanthropie, à l’art, aux jeux vidéo 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 créée par Justin Sun afin de soutenir les avancées en mathématiques, en vérification formelle et dans le domaine des découvertes scientifiques assistées par l’IA. Ce prix est décentralisé et repose sur le principe selon lequel les travaux mathématiques doivent être jugés en fonction de la force, de la rigueur et de la vérifiabilité de la démonstration elle-même, et non en fonction du prestige ou de la réputation de ceux qui les soumettent.

Justin Sun a créé ce prix à son nom dans le cadre d’un engagement à long terme visant à réinvestir dans les mathématiques elles-mêmes la richesse générée par les mathématiques et la technologie. Son héritage se définira par l’ensemble des travaux qu’il récompense et par les lauréats dont les découvertes résisteront à l’épreuve du temps. Le prix associe des défis mathématiques clairement définis à des preuves vérifiables par des machines. Ses principes directeurs sont l’ouverture, l’intérêt général et l’accès en open source. Rendez-vous sur https://www.hejustinsun.com/prize pour plus d’informations. Contact : thejustinsunprize@hejustinsun.com _________________________________________________________________________

Bitcoin.com décline toute responsabilité et ne saurait être tenu responsable, directement ou indirectement, de toute perte, tout dommage, toute réclamation, tout coût ou toute dépense de quelque nature que ce soit, qu’ils soient réels, allégués ou consécutifs, découlant de ou liés à l’utilisation ou à la confiance accordée à tout contenu, produit ou service mentionné dans cet article. Toute confiance accordée à ces informations est strictement aux risques et périls du lecteur.