Buterin Warms Up to AI, Proposes Using It to Boost Ethereum Security
• Vitalik Buterin suggested using AI for formal code verification and bug finding in Ethereum, which he sees as the platform's biggest technical risk currently.
• Buterin has not always been optimistic about AI's impact, previously warning it could turn against humans.
• But he recently said AI could become a "player" in crypto markets, starting with arbitrage bots.
• Microsoft reported huge revenues partly thanks to AI partnerships, using it for generative models, code analysis, image generation, etc.
• Buterin seems to be shifting from AI skepticism to optimism about its potential applications.