Justin Sun kündigte den Justin Sun Prize an, eine dezentralisierte akademische Auszeichnung, die bis zu 1 Million US-Dollar für die Lösung gelisteter mathematischer Probleme mit maschinenverifizierbaren Beweisen vergibt. Die ersten Gewinner wurden ebenfalls benannt, darunter das OpenAI-Forschungsteam für eine Lösung und eine formalisierte Herleitung des Problems der dreidimensionalen Navier–Stokes-Gleichungen, laut BeInCrypto; die Lean-Formalisiierung und Verifizierung wurde mit GPT-6 Astra abgeschlossen. Der Preis wird die Gewinner in USDT auf TRON oder in USDC auf Ethereum auszahlen.