Justin Sun anunció en Ginebra un premio académico descentralizado que ofrecerá hasta USD $1 millón por problemas matemáticos acompañados de pruebas formalizadas y verificables por máquinas. El primer gran reconocimiento, según el comunicado, fue atribuido a un equipo de OpenAI por un trabajo sobre Navier-Stokes generado por un modelo interno y formalizado en Lean; la validez del resultado aún debe distinguirse de la afirmación del anuncio y de la revisión matemática independiente. ***