Les premiers lauréats du Justin Sun Prize ont été officiellement annoncés👏
Félicitations à Wouter van Doorn, Yanyang Li et Quanyu Tang, qui ont réussi à résoudre des problèmes du catalogue d’Erdős. Il s’agit d’une nouvelle étape importante pour ce projet, dont le principe est très clair : récompenser les travaux mathématiques qui peuvent être réellement démontrés, vérifiés et confirmés.
Ce qui est intéressant avec le Justin Sun Prize, c’est que le projet ne privilégie pas la renommée, l’université ou le statut des participants. Il s’appuie sur une liste de problèmes ouverte et met l’accent sur des travaux vérifiables. Parmi les participants, certains résolvent des problèmes mathématiques, tandis que d’autres contribuent à transformer ces solutions en preuves Lean vérifiables par une machine.
À ce jour, la banque de problèmes du projet contient plus de 1 000 problèmes, ainsi que des informations publiques sur les candidats, les preuves de vérification et les prix déjà confirmés.
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
Félicitations à Wouter van Doorn, Yanyang Li et Quanyu Tang, qui ont réussi à résoudre des problèmes du catalogue d’Erdős. Il s’agit d’une nouvelle étape importante pour ce projet, dont le principe est très clair : récompenser les travaux mathématiques qui peuvent être réellement démontrés, vérifiés et confirmés.
Ce qui est intéressant avec le Justin Sun Prize, c’est que le projet ne privilégie pas la renommée, l’université ou le statut des participants. Il s’appuie sur une liste de problèmes ouverte et met l’accent sur des travaux vérifiables. Parmi les participants, certains résolvent des problèmes mathématiques, tandis que d’autres contribuent à transformer ces solutions en preuves Lean vérifiables par une machine.
À ce jour, la banque de problèmes du projet contient plus de 1 000 problèmes, ainsi que des informations publiques sur les candidats, les preuves de vérification et les prix déjà confirmés.
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
