Don't want to trade it yourself?
Our desk runs DEX portfolios on profit share.
Currencies39234
Market Cap$ 2.71T+1.89%
24h Spot Volume$ 43.71B+10.1%
DominanceBTC56.68%-0.72%ETH11.09%+1.12%
ETH Gas0.52 Gwei
MarketEthereumBlockchainAIVitalik ButerinAI AgentsVitalikCyberVitalikButerinCyber Security
Sep 17, 2026
2min read
byLakshya Baskar
forTheNews<a href="https://xpertsstudio.com/crypto-trader-turns-2-4k-into-680000-on-this-coin/” title=”Crypto trader turns $2.4K into $680,000 on this coin”>Crypto
Vitalik Buterin said on September 16, 2026 that AI will bolster crypto cybersecurity via formal verification, noting Ethereum already uses AI agents to find bugs and reproduced a remotely exploitable crash recorded as CVE-2026-34219; he also disclosed about 90% of his net worth is in crypto. Anthropic’s September report warns attackers use AI for vulnerability research and exploitation, so Ethereum’s better.codes project and machine-checkable proofs in Lean aim to improve protocol security, privacy, zero-knowledge and post-quantum resilience.
See what traders are focused on
- Vitalik Buterin believes that advanced AI will improve cybersecurity through formal verification.
- Ethereum uses AI agents to detect software vulnerabilities.
- Anthropic has observed increased AI capacity in offensive cybersecurity tactics.
Vitalik Buterin dismissed all allegations concerning the ability of AI hackers to render cybersecurity indefensible due to advancements in artificial intelligence technology. Buterin said that AI could help improve the cybersecurity system by means of formal verification. This involves using mathematical proofs to assess the security properties of software. However, Buterin admitted that verification could not safeguard the system from bugs that developers had omitted in their specifications. In a similar manner, Ethereum has emphasized the necessity of comprehensive security specifications. Moreover, Buterin has indicated that about 90 percent of his net worth is in cryptocurrencies.
https://x.com/VitalikButerin/status/2100337594722890145
Combining AI with Security Research Has Become Routine for Ethereum
AI agents are already used by Ethereum scientists to analyze the protocol code and reproduce vulnerabilities on their own. The Foundation announced that coordinated AI agents helped detect actual vulnerabilities in the process of conducting security research. In one case, it was a remotely exploitable crash of Rust libp2p’s Gossipsub networking protocol.
It was disclosed as CVE-2026-34219 after being independently reproduced by researchers. Meanwhile, Ethereum scientists continue developing formal verification in several protocol development projects. The better.codes project of the Foundation also uses AI agents together with machine-checkable proofs in Lean. More generally, the Ethereum roadmap covers formal verification together with privacy, zero-knowledge systems, and post-quantum security research.
AI Enhances Offensive Cyber Operations Too
According to Anthropic’s September threat report, attackers have been leveraging AI in various stages of their operations. These stages included vulnerability research, exploitation, and data analysis. Moreover, the firm reported automated techniques utilized in attacks on government agencies, tech companies, and other infrastructure.
It was stated by Anthropic that AI is capable of performing complex tasks that would otherwise require specialized human teams to perform. At the same time, Anthropic has used AI models to find vulnerabilities in open-source projects. Hence, the use of AI has shown its expanding capabilities in both offensive and defensive operations. Buterin makes his argument based on whether AI-based verification can offer stronger defenses against advanced attacks. Research into Ethereum offers a practical venue for testing such approaches. The question remains about how far AI verification of components can be expanded into verification of entire digital systems.
Revolut Hackers Demand $3M in Monero, Threaten to Sell 680 Customer Files
Source: cryptorank.io