Le Justin Sun Prize s'associe à MathDB, projet dirigé par le professeur Tony Yue Yu du Caltech, pour un programme pilote portant sur 50 problèmes mathématiques. Le dispositif récompense trois types de contributions : la résolution des problèmes, leur formalisation en Lean (langage de preuve assistée par ordinateur) et des exposés accessibles au grand public.

L'enjeu : transposer le modèle des récompenses propre à la crypto vers le financement de la recherche académique, en valorisant à la fois la rigueur formelle et la diffusion des connaissances. Ce pilote fait figure de test pour un financement de la science porté par des acteurs de l'écosystème crypto.