Justin Sun Prize a précisé la procédure d’attribution des prix mathématiques. Même si un chercheur présente une preuve correcte, cela ne signifie pas qu’il recevra automatiquement une récompense. Le travail fait d’abord l’objet d’un examen technique, puis devient une candidature publique que toute personne peut contester pendant 14 jours.
Les nouvelles précisions ont été publiées dans le dépôt GitHub officiel de Justin Sun Prize et visent à renforcer la transparence de l’évaluation des réalisations mathématiques.
De la preuve à la récompense officielle
La procédure standard de Justin Sun Prize, applicable aux problèmes ne faisant pas partie du programme pilote de MathDB, comporte plusieurs étapes.
Première étape : présentation d’une solution mathématique.
Le chercheur fournit une preuve complète du problème et confirme qu’il en est l’auteur.
Si nécessaire, un autre spécialiste peut préparer une formalisation de la preuve dans le système Lean, qui permet de vérifier automatiquement la validité du raisonnement mathématique.
L’auteur de la solution mathématique et celui de sa formalisation peuvent être deux personnes différentes.
Deuxième étape : examen et enregistrement du candidat.
Les organisateurs vérifient le résultat mathématique, la conformité de la preuve formelle au problème initial et les documents soumis.
Après les vérifications nécessaires, le travail peut être inscrit dans le registre public des candidatures.
Il est important de noter que l’acceptation des documents et la fusion des modifications sur GitHub ne signifient pas que le prix est attribué.
14 jours pendant lesquels chacun peut contester le résultat
Après la publication du candidat dans le registre officiel, une période de vérification publique de 14 jours commence.
Pendant cette période, tout membre de la communauté mathématique peut présenter une objection motivée.
Les contestations peuvent porter sur :
La validité mathématique de la preuve.
La paternité du résultat présenté.
La priorité de la découverte ou de la formalisation.
L’identité du candidat.
Le respect des conditions d’attribution de la récompense.
Par exemple, si un autre chercheur peut prouver qu’il a obtenu la bonne solution plus tôt, les organisateurs doivent examiner les preuves fournies. Pour établir la priorité, ils prennent en compte non seulement les dates de publication ou des commits Git, mais aussi les éléments indépendants attestant de la date à laquelle le travail a été réalisé.
Si une objection fondée est soumise pendant la vérification publique, la procédure ne prend pas fin tant que le différend n’a pas été résolu.
Et si le remplacement du candidat par un nouvel auteur est confirmé, une période distincte de 14 jours commence pour le résultat concerné.
Quand un chercheur reçoit-il officiellement une récompense ?
Même si la période de deux semaines s’achève avec succès, cela ne signifie pas que le paiement est immédiat.
Pour attribuer officiellement le prix, il faut vérifier l’identité, confirmer le bénéficiaire et s’assurer qu’il n’existe aucune objection non résolue ni candidature concurrente.
Ce n’est qu’une fois toutes les exigences satisfaites que le résultat est transféré de la liste des candidatures au registre officiel des lauréats.
Les organisateurs annoncent ensuite l’attribution du prix et effectuent le paiement prévu.
Ainsi, être candidat public et être lauréat confirmé de Justin Sun Prize sont deux statuts distincts.
Et qu’en est-il du partenariat avec MathDB ?
Récemment, Justin Sun Prize a annoncé une collaboration avec la plateforme mathématique MathDB, placée sous la direction scientifique du professeur Tony Yue Yu, de Caltech.
Dans le cadre de ce partenariat, un programme pilote comprenant 50 problèmes mathématiques a été lancé.
Une procédure distincte est prévue pour la soumission des documents et l’examen des solutions, notamment une évaluation indépendante des solutions mathématiques, des formalisations Lean et des explications.
La procédure standard sur GitHub ne peut donc pas être automatiquement appliquée à tous les problèmes du programme pilote.
La vérification publique, l’établissement de la paternité et la confirmation des bénéficiaires restent toutefois des éléments importants du processus d’attribution des prix.
Pourquoi est-ce important pour les mathématiques et l’intelligence artificielle ?
Aujourd’hui, l’intelligence artificielle est de plus en plus utilisée pour trouver des conjectures mathématiques et construire des preuves. Mais même si l’IA propose une solution convaincante, cela ne signifie pas pour autant qu’elle est mathématiquement correcte.
La vérification publique permet à d’autres chercheurs de détecter des erreurs, de vérifier la paternité et d’évaluer la priorité des résultats.
Lean joue ici un rôle particulièrement important, car il aide à vérifier la validité formelle d’une preuve. Cependant, une vérification logicielle réussie ne remplace pas, à elle seule, l’évaluation par des experts de la conformité de l’énoncé démontré au problème initial.
Conclusion
Une vérification publique de 14 jours est une approche appropriée pour l’attribution de prix mathématiques, en particulier lorsqu’il s’agit de problèmes complexes et de récompenses financières importantes.
Il est important qu’une solution ne soit pas considérée comme définitive sur la seule base de la déclaration de son auteur ou d’une vérification technique préliminaire.
D’autres chercheurs ont la possibilité de vérifier le résultat, de présenter leurs propres arguments et de contester la priorité de la découverte. Par ailleurs, les organisateurs vérifient séparément l’identité du bénéficiaire et son droit à la récompense.
À l’ère de l’intelligence artificielle, un tel système devient particulièrement pertinent : trouver une solution prometteuse n’est qu’une partie du travail. Il faut également en démontrer la validité et en confirmer la paternité.
Si Justin Sun Prize applique ces règles de manière cohérente, cette initiative pourrait devenir un exemple intéressant de système ouvert d’évaluation des réalisations scientifiques. Car en mathématiques fondamentales, ce qui compte avant tout, ce n’est pas le montant de la récompense, mais la fiabilité du résultat obtenu.