每个人都在投资于AI计算。下一波是投资于可验证的计算。 DSperse + JSTprove在Subnet-2上就是未来实际生产的样子。