L’Office de Justin Sun a lancé un programme pilote du prix Justin Sun en collaboration avec MathDB, une plateforme de recherche mathématique développée par le professeur Tony Yue Yu du California Institute of Technology et son équipe. Le programme porte sur 50 problèmes répartis en quatre niveaux de distinction, avec des dotations pouvant atteindre 1 million de dollars par problème. MathDB assures la réception des solutions, la vérification des formalisations Lean et l’examen des présentations, tandis que les équipes du prix évaluent l’éligibilité, l’attribution, la priorité et les conditions applicables. La rémunération est répartie à hauteur de 50 % pour la solution mathématique, de 30 % pour la formalisation Lean et de 20 % pour une exposition admissible. Le niveau le plus élevé comprend notamment le problème P contre NP, l’hypothèse de Riemann, l’existence et l’écart de masse de Yang-Mills, la conjecture de Hodge, la functorialité globale de Langlands et la conjecture de Birch et Swinnerton-Dyer.
Source: Lire l’article original
