
Tama si Vitalik na ang AI + pormal na pag-verify ay maaaring maging isa sa pinakamahalagang pattern sa pagbuo ng software. Ang seguridad sa industriya ng blockchain ay maaaring mas mapabuti nang malaki. Ngunit hindi, hindi ganito kalaking simpleng “isusulat ng AI ang code, pinapatotohanan ng proofs ito, kaya naging bug-proof ang Ethereum.” Mas totoo ang bersyong ito. Ginagawang mas mura at mas scalable ng AI ang high-assurance engineering. Kailangan pa rin ng mga koponan na pumili kung ano ang dapat totoo, mag-model ng tama ang sistema, panatilihin ang mga proof, at disenyo ng mga sistema na talagang verifiable.
