Lancement d'un programme pilote de 50 problèmes par le Justin Sun Prize en collaboration avec MathDB dirigé par Tony Yue Yu de Caltech

Le bureau de Justin Sun a annoncé un nouveau programme pilote pour le Justin Sun Prize en collaboration avec MathDB, une plateforme de recherche mathématique développée par le professeur Tony Yue Yu de Caltech et son équipe. Cette initiative vise à établir une approche décentralisée et formalisée de la recherche scientifique, comparable à un 'Prix Nobel de l'ère de l'IA.'

Dans le cadre de ce programme pilote, les participants peuvent soumettre des solutions à 50 problèmes mathématiques, avec des récompenses potentielles atteignant jusqu'à 1 million de dollars en fonction de la complexité du problème. Parmi les défis notables figurent le problème P contre NP, l'hypothèse de Riemann et la conjecture de Hodge.

MathDB facilitera le processus de soumission et d'examen, en vérifiant les formalismes Lean et en évaluant la qualité des matériaux explicatifs. Le Justin Sun Prize s'occupera séparément des critères d'éligibilité et des conditions d'attribution des prix. Justin Sun a souligné l'importance de combiner l'intuition humaine avec l'intelligence machine pour favoriser un progrès scientifique rigoureux.

Pour renforcer l'impact de cette initiative, la distribution des prix récompensera non seulement les solutions mathématiques mais aussi la clarté et l'accessibilité de leur communication. La répartition des prix comprend 50 % pour la solution, 30 % pour la formalisation Lean et 20 % pour l'exposition.

Le professeur Tony Yue Yu a exprimé que la résolution de problèmes mathématiques fondamentaux révèle souvent des connexions et des outils inattendus, pouvant influencer la recherche à travers les générations. La collaboration vise à accélérer la découverte par des méthodes rigoureuses et vérifiables, contribuant ainsi à l'avancement des connaissances humaines.