Vitalik Buterin rejected claims AI hackers will make cybersecurity unwinnable, arguing formal verification could strengthen software defenses.
Vitalik Buterin rejects AI cybersecurity doom claim
Vitalik Buterin rejected claims AI hackers will make cybersecurity unwinnable, arguing formal verification could strengthen software defenses.
1 min read
