Le fondateur de TRON, Justin Sun, a annoncé la création de Justin Sun Prize, un nouveau prix pour la résolution de problèmes mathématiques complexes et la formalisation des preuves en vue de leur vérification par machine.
L’idée se distingue nettement des récompenses scientifiques traditionnelles. Il n’y a pas de limite d’âge, pas de cérémonie annuelle et pas non plus de vote classique d’une commission. La condition principale pour recevoir la récompense est que, au final, la preuve mathématique soit entièrement vérifiée par machine, sans erreur.
Il est particulièrement intéressant de constater que les règles du prix tiennent dès le départ compte de cette nouvelle réalité : ce seront les humains, l’intelligence artificielle ou des humains travaillant avec l’IA qui pourront résoudre les problèmes.
Deux récompenses pour un seul problème mathématique
Pour chaque problème, deux rôles distincts sont prévus.
La première - prover, c’est-à-dire l’auteur de la preuve mathématique.
Deuxième - formaliseur, une personne ou un système qui transforme cette preuve en une forme rigoureuse permettant à un ordinateur de vérifier chaque étape.
Ces deux rôles peuvent être assurés par un seul participant, ou par des personnes totalement différentes. Dans le même temps, Sun affirme clairement que, pour lui, il n’a pas d’importance de savoir qui a obtenu le résultat : un humain, une IA ou une combinaison des deux.
Si la communauté mathématique reconnaît la nouvelle preuve comme correcte, le nom de son auteur sera immédiatement enregistré. Mais l’argent restera bloqué, avec le statut « Proved, pending formalization », jusqu’à ce que la formalisation et la vérification par machine soient terminées.
On obtient donc un modèle intéressant. Prouver un théorème ne suffit pas : il faut encore rendre la preuve entièrement compréhensible et vérifiable par une machine.
Pourquoi Sun a décidé de créer un prix mathématique
Sun relie directement sa motivation à l’origine de l’industrie de la cryptographie. Il souligne que la blockchain existe grâce aux mathématiques et à la cryptographie : les courbes elliptiques, les fonctions de hachage et d’autres constructions mathématiques.
D’après lui, une part importante de sa fortune provient de l’industrie construite sur ces découvertes. C’est pourquoi créer un prix permettrait de redonner une partie de ce qu’il a obtenu à la mathématique fondamentale.
En guise d’exemple historique, Sun se remémore le mathématicien Pál Erdős, qui attribuait des récompenses pécuniaires personnelles pour la résolution de problèmes mathématiques ouverts allant de 25 à 10 000 dollars. Le Justin Sun Prize transfère en fait cette idée à l’époque de l’IA et de la blockchain.
Pourquoi l’intelligence artificielle est ici autant importante
Selon l’avis de Sun, la mathématique entre dans une époque entièrement nouvelle. L’IA convient particulièrement bien aux tâches liées au raisonnement logique et à l’exploration d’un grand nombre de pistes possibles de solution. Ainsi, la vitesse d’apparition et de vérification des preuves mathématiques pourrait potentiellement augmenter de façon significative.
C’est précisément pour cela que le prix ne sera pas organisé tous les quelques années. À la place, un registre constamment mis à jour des problèmes mathématiques est créé, avec des récompenses fixées à l’avance.
Sun se réserve le droit de décider quels problèmes apparaîtront dans la liste et combien leur résolution coûtera. Mais après l’ajout d’un problème, il ne peut pas être supprimé, et la récompense prévue pour lui ne peut pas être renvoyée au sponsor.
Blockchain plutôt que confiance envers l’organisateur
Autre élément inhabituel du Justin Sun Prize : l’utilisation de la blockchain pour le fonds du prix. D’après Sun, le fonds initial est déjà placé on-chain, et son adresse ainsi que son solde sont accessibles publiquement. Sun lui-même conserve uniquement la possibilité d’ajouter de nouveaux fonds.
Tous les paiements aux gagnants doivent également rester dans la blockchain, permettant de vérifier de manière indépendante l’historique de la répartition des récompenses. Les preuves mathématiques gagnantes sont prévues d’être publiées ouvertement.
Ainsi, Sun cherche à minimiser la nécessité de lui faire confiance, ou à une commission distincte : la validité de la preuve formalisée doit être déterminée par la mathématique et la vérification par machine, et le mouvement des fonds du prix doit être enregistré on-chain.
Le prix n’est pas réservé uniquement aux humains
C’est peut-être précisément ici que réside la caractéristique la plus inhabituelle du Justin Sun Prize. Les prix scientifiques traditionnels sont créés pour reconnaître les réalisations des personnes. Dans ce nouveau système, l’origine de la solution, en tant que telle, ne devrait pas avoir une importance essentielle.
Si l’IA trouve elle-même une preuve, ou si une personne l’obtient conjointement avec l’IA, le résultat peut prétendre à une reconnaissance selon les mêmes conditions. L’essentiel est la correction de la preuve et la possibilité de sa vérification formelle. Cela transforme le prix en même temps en une expérience à l’intersection des mathématiques, de l’IA et de la blockchain.
Pourquoi le prix porte le nom de Justin Sun
Sun explique séparément aussi pourquoi il faut donner à la solution le nom propre d’une récompense. Il cite comme exemples les prix Nobel, les Fields, Abel et Turing et estime qu’un nom personnel permet à l’initiative d’exister indépendamment des entreprises et des institutions.
De plus, le Sun de 36 ans écrit que la fortune qu’il a déjà accumulée lui suffit, et qu’il veut déterminer lui-même la suite de sa destination : le capital obtenu grâce aux mathématiques doit être reversé aux mathématiques.
Mieux encore, il affirme vouloir concentrer ses efforts philanthropiques à venir précisément sur le Justin Sun Prize, car il pense que cette initiative représente sa contribution potentiellement la plus importante. Tant que le prix restera consacré uniquement aux mathématiques.
Conclusion
Le plus intéressant dans le Justin Sun Prize n’est même pas le fonds du prix lui-même, mais la tentative de créer un nouveau modèle de récompense scientifique pour l’ère de l’intelligence artificielle. Ici, trois domaines se rejoignent : les mathématiques apportent le problème, l’IA peut participer à sa résolution et à sa formalisation, et la blockchain assure la transparence de la récompense.
Le plus révélateur est l’absence, de principe, de séparation entre l’humain et la machine. Si l’IA commence vraiment à résoudre elle-même des problèmes mathématiques sérieux, le Justin Sun Prize pourrait potentiellement devenir l’une des expériences où de tels résultats ne seraient pas seulement présentés, mais vérifiés formellement, enregistrés et dotés d’une valeur économique.
Désormais, la question principale est de savoir quels problèmes mathématiques non résolus précis apparaîtront dans le registre officiel et quelles sommes Sun fixera pour leur résolution.