证明成本与可证明软件的总市场规模(TAM)成反比。 类似于能源,你让能源变得更便宜,世界对能源的需求就会增加!
522