Das Büro von Justin Sun kündigte heute einen Pilotversuch mit 50 Problemen für den Justin-Sun-Preis in Zusammenarbeit mit MathDB an, einer mathematischen Forschungsplattform, die von Caltech-Professor Tony Yue Yu und seinem Team entwickelt wurde. Laut BeInCrypto bietet der Pilot auf Problem-Ebene Preisgelder von bis zu 1 Million US-Dollar über vier Auszeichnungsstufen hinweg. MathDB wird Einreichungen entgegennehmen, Lean-Formaliserungen verifizieren und erläuternde Materialien prüfen, während der Preis separat die Förderfähigkeit, Urheberschaft, Priorität und Auszeichnungsbedingungen bewertet. Die Belohnungen sind in drei Kategorien aufgeteilt: 50 % für mathematische Lösungen, 30 % für Lean-Formalisation und 20 % für qualifizierende Erläuterungen.