Community Trust ScoreVérifié
Le bureau de Justin Sun vient de désigner trois lauréats du Prix Justin Sun — et le monde des mathématiques est à l’écoute. Les récipiendaires sont le chercheur indépendant Wouter van Doorn, l’étudiant en doctorat Quanyu Tang et le chercheur de l’Université du Sud-Est Yanyang Li, tous reconnus pour avoir résolu des problèmes d’Erdős de longue date.
Pourquoi c'est important
L'attribution du Prix Justin Sun met en lumière l'importance croissante de l'intersection entre la recherche mathématique et les avancées technologiques, notamment dans le domaine de l'intelligence artificielle. En récompensant des travaux qui s'attaquent à des problèmes d'Erdős, ce prix souligne non seulement le potentiel de l'IA à résoudre des enjeux complexes, mais également l'engagement du secteur privé à soutenir des initiatives académiques qui pourraient transformer notre compréhension des mathématiques et, par extension, des applications pratiques dans divers domaines, y compris la cryptographie et la finance décentralisée.
Les problèmes d’Erdős, pour les non-initiés, sont une vaste collection de défis mathématiques ouverts laissés par le légendaire mathématicien hongrois Paul Erdős. Certains sont restés non résolus pendant des décennies. Ils vont des énigmes de la théorie des nombres aux casse-têtes de la combinatoire, et la communauté mathématique y a travaillé lentement au fil des ans. Ce qui change maintenant, c’est la boîte à outils. Van Doorn, Tang et Li n’ont pas seulement apporté des preuves sur papier — ils ont intégré l’IA dans le processus, et les résultats ont apparemment été suffisamment bons pour mériter les premiers prix confirmés sous le Prix Justin Sun.
Ce que chaque chercheur a réellement résolu
Van Doorn, un théoricien des nombres qui fait de la recherche mathématique depuis ses études de premier cycle, a abordé plusieurs problèmes d’Erdős à la fois. Il a travaillé sur des questions impliquant des entiers consécutifs avec des facteurs premiers restreints et sur la possibilité que de courtes séries d’entiers consécutifs incluent tous les nombres premiers dans une plage donnée. Il a également vérifié des solutions via Lean, un logiciel spécialement conçu pour la vérification des preuves mathématiques. Cette dernière partie est importante — le Prix Justin Sun ne veut pas seulement des réponses, il veut des réponses vérifiables.
Tang, candidat au doctorat à l’Université des Sciences et Technologies de Chine, se concentre sur la théorie des nombres, la combinatoire et la découverte assistée par IA. Il a résolu le Problème d’Erdős #1044, qui traite de l’établissement d’une limite inférieure pour les régions définies par des polynômes. Pas exactement une lecture légère. Tang a également collaboré avec Li pour s’attaquer au Problème #1196, qui implique des sommes pondérées sur certains ensembles d’entiers.
Les trois chercheurs ont également collaboré sur le Problème d’Erdős #650 — un problème concernant l’appariement des entiers à des multiples distincts dans une plage spécifiée. C’est là que l’angle IA devient intéressant.
ChatGPT et Aristotle entrent dans la salle des preuves
En travaillant sur le Problème #650, l’équipe s’est appuyée sur deux systèmes d’IA à différentes étapes. ChatGPT s’est chargé du travail préliminaire de stratégie de preuve. Puis Aristotle, un système d’IA distinct, est intervenu pour le travail plus difficile de raffinement du processus de formalisation. C’est une division assez claire — d’abord une idéation large, ensuite un travail de précision. Le jugement humain a traversé l’ensemble du processus, mais les outils d’IA ont vraiment contribué.
Ce type de collaboration entre humains et IA devient de plus en plus courant dans la recherche de haut niveau, et cela va probablement continuer à se répandre. La vérification des preuves mathématiques est l’un de ces domaines où l’IA peut réellement aider de manière significative et structurée — pas seulement en résumant des textes ou en générant des modèles, mais en travaillant à travers des chaînes logiques qui doivent résister à un examen minutieux. L’utilisation de Lean par Van Doorn pour la vérification s’inscrit dans cet espace. La preuve doit être vérifiable par machine. C’est une exigence difficile.
Les lauréats peuvent recevoir leurs récompenses soit en USDT sur le réseau TRON, soit en USDC sur Ethereum. Ce n’est pas un détail trivial — cela en dit long sur ce qu’est le prix et sur qui le soutient.
La stratégie plus large de Sun
Justin Sun, fondateur de TRON, a créé le prix pour faire progresser les mathématiques et mettre la découverte scientifique assistée par IA sur une base plus formelle. L’initiative valorise la solidité et la vérifiabilité des preuves par rapport au prestige académique traditionnel. En gros, peu importe où vous avez étudié ou si vous avez un poste permanent. Ce qui compte, c’est si votre preuve tient la route.
C’est un écart significatif par rapport à la manière dont la reconnaissance académique fonctionne habituellement. Les prix traditionnels en mathématiques ont tendance à circuler à travers des institutions établies, des revues prestigieuses et des réseaux professionnels de longue date. Le Prix Justin Sun est délibérément ouvert — accessible au public, vérifiable, et non verrouillé par la réputation académique.
Il est incertain si ce modèle se généralisera. Mais pour l’instant, trois chercheurs sont repartis avec les premiers prix confirmés, et les mathématiques derrière leurs victoires sont vérifiables par quiconque dispose du bon logiciel.
Le travail de vérification de Van Doorn avec Lean est probablement l’exemple le plus clair de ce que le prix cherche à récompenser. Lean n’est pas un outil que la plupart des observateurs occasionnels connaissent, mais dans les cercles mathématiques, c’est une infrastructure sérieuse — utilisée pour construire des preuves que les ordinateurs peuvent vérifier ligne par ligne. C’est le genre de rigueur que le prix semble vouloir récompenser.
La résolution par Tang du Problème #1044 et sa collaboration avec Li sur le Problème #1196 complètent un ensemble de victoires qui couvrent la théorie des nombres et la combinatoire. Il est encore candidat au doctorat. Li est à l’Université du Sud-Est à Nanjing. Van Doorn est indépendant. Trois stades de carrière différents, trois institutions différentes — ou pas d’institution du tout — et un prix partagé.
Les prix sont versés en crypto. Les mathématiques sont d’une difficulté à l’ancienne.
Hub : Prix, actualités et analyses de l’USDC
Questions Fréquentes
Qui a remporté le Prix Justin Sun et qu’ont-ils résolu ?
Wouter van Doorn, Quanyu Tang et Yanyang Li ont remporté le prix pour leur travail sur les problèmes d’Erdős, y compris le Problème #650, le Problème #1044 et le Problème #1196, couvrant la théorie des nombres et la combinatoire.
Comment les lauréats du Prix Justin Sun peuvent-ils recevoir leur récompense ?
Les lauréats peuvent choisir de recevoir leur prix soit en USDT sur le réseau TRON, soit en USDC sur Ethereum.
