TRON-Gründer Justin Sun hat die Schaffung des Justin Sun Prize bekannt gegeben, einer auf Mathematik ausgerichteten Auszeichnung, die sich an Beweisführer richtet, die bedeutende Probleme lösen, sowie an Formalisierer, die Beweise in maschinell überprüfbaren Code umwandeln. Der Preis kennt weder Altersgrenzen noch jährliche Quoten. Auszahlungen setzen eine vollständige maschinelle Verifikation von der ersten bis zur letzten Zeile voraus, während der Preistopf an einer Blockchain-Adresse gesperrt ist, die ausschließlich Einzahlungen, aber keine Abhebungen erlaubt. Probleme können hinzugefügt, aber nicht gelöscht werden; ist eine Problemstellung fehlerhaft, wird die Prämie dennoch wie vereinbart ausgezahlt und das Problem erneut gelistet. Sun erklärte, er werde sich nicht an den konkreten Bewertungen beteiligen und lediglich die Problemliste sowie die Höhe der Prämien festlegen. Ziel sei es, einen langfristigen Mechanismus zu schaffen, der reine theoretische Mathematik im Zeitalter von KI und formaler Verifikation mit öffentlichen On-Chain-Anreizen verbindet.