Justin Sun anunciou o Justin Sun Prize, uma recompensa acadêmica descentralizada que oferece até US$1 milhão para resolver problemas matemáticos listados com provas verificáveis por máquinas. Os primeiros vencedores também foram nomeados, incluindo a equipe de pesquisa da OpenAI por uma solução e uma prova formalizada do problema das Equações de Navier–Stokes Tridimensionais, de acordo com a BeInCrypto, com a formalização e verificação em Lean concluídas pelo GPT-6 Astra. O prêmio pagará os vencedores em USDT na TRON ou em USDC no Ethereum.