Todos estão a investir em computação de IA. A próxima onda é investir em computação verificável. DSperse + JSTprove na Subnet-2 é o que esse futuro realmente parece na produção.