Vitalik Buterin Floats Idea of AI-Based Code Audits, Ethereum Project Developers Back Him Up
Briefly

"One application of AI that I am excited about is AI-assisted formal verification of code and bug finding," Buterin said.
The AI sector has reemerged as an investment narrative in the past weeks amid new product releases by OpenAI and market-beating results of chipmaker Nvidia (NVDA).
Read at Coindesk
[
add
]
[
|
|
]