Les Prix Justin Sun Récompensent les Progrès dans les Problèmes d'Erdős Grâce à la Collaboration avec l'IA

Le Bureau de Justin Sun a annoncé les derniers lauréats du Prix Justin Sun, honorant le chercheur indépendant Wouter van Doorn, l'étudiant en doctorat en mathématiques Quanyu Tang, et le chercheur Yanyang Li de l'Université du Sud-Est à Nankin. Leurs contributions couvrent six problèmes d'Erdős, qui sont des questions mathématiques popularisées par le mathématicien hongrois Paul Erdős.

Wouter van Doorn, un théoricien des nombres indépendant, et Quanyu Tang, étudiant en doctorat à l'Université de Science et Technologie de Chine, ont collaboré avec Yanyang Li pour résoudre le Problème d'Erdős #650. Ce problème consiste à déterminer combien d'entiers peuvent être appariés à des multiples distincts dans un intervalle spécifié.

Van Doorn a également produit des preuves vérifiables par ordinateur pour plusieurs autres problèmes d'Erdős en utilisant Lean, un logiciel de vérification du raisonnement mathématique. Cela inclut des problèmes liés aux entiers consécutifs et à leurs facteurs premiers, ainsi que les propriétés de certaines classes de nombres. Tang a résolu séparément le Problème d'Erdős #1044, établissant des limites pour les longueurs de frontière définies par des polynômes, et a contribué à la solution du Problème #1196.

Leur travail illustre la collaboration entre le jugement humain et l'IA, avec des outils comme ChatGPT aidant au développement de stratégies de preuve et Aristotle, un système de raisonnement IA, contribuant à combler les lacunes de formalisation. Tang a souligné que cette expérience mettait en lumière l'importance des retours du public dans le raffinement des questions de recherche et démontrait comment l'IA peut améliorer la découverte mathématique.

Cette série de récompenses marque les premières reconnaissances confirmées par le Prix Justin Sun, qui vise à soutenir les avancées en mathématiques et la découverte scientifique assistée par l'IA. Les prix seront attribués en USDT sur TRON ou en USDC sur Ethereum, selon les préférences des lauréats.

Mises à jour récentes sur les Prix Justin Sun

Date : 5 octobre 2026

Le Prix Justin Sun a été décerné au chercheur indépendant Wouter van Doorn, à l'étudiant en doctorat en mathématiques Quanyu Tang, et au chercheur en mathématiques Yanyang Li pour leurs contributions significatives à six problèmes d'Erdős.

Wouter van Doorn est reconnu pour son travail en théorie des nombres, ayant commencé son parcours de recherche en 2010. Quanyu Tang est un étudiant en doctorat dont la recherche croise la théorie des nombres, la combinatoire et la découverte mathématique assistée par l'IA.

L'équipe a résolu le Problème d'Erdős #650, qui implique d'apparier des entiers à des multiples distincts dans un intervalle spécifié. Van Doorn a également créé des preuves vérifiables par ordinateur pour plusieurs autres problèmes d'Erdős en utilisant le logiciel Lean.

Quanyu Tang a résolu le Problème d'Erdős #1044 et a contribué à la solution du #1196, démontrant le potentiel collaboratif des efforts humains et des IA dans la recherche mathématique.

Le Prix Justin Sun souligne l'importance de rendre les preuves mathématiques vérifiables de manière indépendante et vise à soutenir les avancées en mathématiques et la découverte scientifique assistée par l'IA.