Vitalik Buterin Reveals Why AI May Help Defenders

TLDR Vitalik Buterin rejects claims that stronger AI will make cybersecurity impossible to defend. He says AI could make formal verification cheaper and easier for software developers. Formal verification uses mathematical proofs to check whether software follows defined security rules. Buterin warns that defining what “secure” means remains a major challenge for complex software. He [...]

The post Vitalik Buterin Reveals Why AI May Help Defenders appeared first on Blockonomi.