Quinn- very interesting analogy to Ethereum (‘move fast break things’) vs. Cardano (‘formal verification maximizes security’). We shall see which approach wins in the long run. My hunch is that the first mover advantage is over-estimated, and that more provably secure, open-source protocols will eventually attract more transaction volume and value. (But that’s a somewhat different issue that formal theorem-proving about the safety of AI systems).
Quinn- very interesting analogy to Ethereum (‘move fast break things’) vs. Cardano (‘formal verification maximizes security’). We shall see which approach wins in the long run. My hunch is that the first mover advantage is over-estimated, and that more provably secure, open-source protocols will eventually attract more transaction volume and value. (But that’s a somewhat different issue that formal theorem-proving about the safety of AI systems).