Na het Liquid-incident waarschuwt Charles Hoskinson dat AI fouten sneller kan vinden. Cardano’s formal methods krijgen daardoor opnieuw aandacht.
Loading