Vitalik Buterin rejected claims AI hackers will make cybersecurity unwinnable, arguing formal verification could strengthen software defenses.

Vitalik Buterin rejected claims AI hackers will make cybersecurity unwinnable, arguing formal verification could strengthen software defenses.