Un prix mathématique rémunère séparément la découverte et la formalisation des preuves
Justin Sun, fondateur de la blockchain TRON, a annoncé la création d'un prix mathématique portant son nom, le Justin Sun Prize, dont les fonds ont déjà été déposés sur une blockchain accessible publiquement. L'initiative se distingue des récompenses académiques traditionnelles sur plusieurs points : il n'y a ni limite d'âge, ni cérémonie annuelle, ni critère de réputation ou de statut. Seule compte la preuve elle-même. La structure du prix repose sur une distinction originale entre deux rôles. Le « prover » est celui qui propose une…
Lire la synthèse →Justin Sun, fondateur de la blockchain TRON, a annoncé la création d'un prix mathématique portant son nom, le Justin Sun Prize, dont les fonds ont déjà été déposés sur une blockchain accessible publiquement. L'initiative se distingue des récompenses académiques traditionnelles sur plusieurs points : il n'y a ni limite d'âge, ni cérémonie annuelle, ni critère de réputation ou de statut. Seule compte la preuve elle-même.
La structure du prix repose sur une distinction originale entre deux rôles. Le « prover » est celui qui propose une solution valide à un problème mathématique difficile ; le « formalizer » est celui qui traduit cette preuve en code informatique vérifiable par une machine. Ces deux rôles peuvent être assurés par la même personne ou par des individus différents. Plus remarquable encore, le prix ne fait aucune distinction entre les humains et l'intelligence artificielle : une preuve générée par un algorithme est traitée à égalité avec celle d'un mathématicien.
Le processus de validation suit un ordre délibérément séquentiel : la communauté mathématique doit d'abord reconnaître la validité d'une preuve, ce qui confère au problème le statut « prouvé, en attente de formalisation ». Les fonds restent alors bloqués jusqu'à ce qu'une machine vérifie la preuve formalisée ligne par ligne, sans erreur. Le paiement n'est déclenché qu'à l'issue de cette vérification automatisée, et l'ensemble des transactions est consultable publiquement sur la blockchain.
Les problèmes sont classés par niveau de difficulté. Les plus ardus, regroupés dans la catégorie « Pinnacle », sont dotés d'un million de dollars chacun. Soixante-six problèmes de mathématiques classiques ont été annoncés pour inaugurer le prix. Sun a précisé que son rôle se limitera à établir la liste des problèmes et à fixer les montants des récompenses ; il ne participera ni à la vérification des preuves, ni à la sélection des lauréats, ni aux paiements. Une fois un problème enregistré, il ne peut être retiré, et les fonds déposés ne peuvent être récupérés.
« Je ne suis pas mathématicien. Je suis simplement un observateur et un bienfaiteur. Le reste appartient aux preuves », a déclaré Sun. Il justifie sa démarche par la volonté de redistribuer une fortune qu'il estime fondée sur les principes mathématiques de la cryptographie. L'annonce intervient dans un contexte de tension au sein de la communauté mathématique, quelques jours seulement après qu'OpenAI a affirmé qu'un de ses modèles aurait résolu l'un des célèbres problèmes du Millénaire, laissant plusieurs chercheurs, selon des déclarations rapportées dans la presse, dans un état de « choc » face à la vitesse des progrès de l'IA.
Actu