vitalik.eth (@VitalikButerin): One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
- ETH+60Positive
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding. Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.