Buterin Says AI Formal Verification Boosts Crypto Security
Vitalik Buterin published a blog post on 18 May 2026 arguing that AI-assisted formal verification will become a key cybersecurity tool.
Bitcoin, markets and the ideas moving crypto.
Stories 1–24 of 50 · 20 Mar 2025 – 20 May 2026
Vitalik Buterin published a blog post on 18 May 2026 arguing that AI-assisted formal verification will become a key cybersecurity tool.
Payward, the parent company of crypto exchange Kraken, cut approximately 150 staff in May 2026.
A user recovered 5 Bitcoin worth roughly $397,000 using Claude AI after the wallet was inaccessible since 2015.
Tether's QVAC group released MedPsy, two on-device medical AI models scoring 62.62 and 70.54 on benchmark averages.
The CFTC named five Senior Advisors to its Innovation Task Force on 10 April 2026.
BlackRock's head of digital assets, Robbie Mitchnick, said AI is a bigger long-term driver for crypto than new token issuance.
Galaxy Digital is investing $460 million to convert its Texas Bitcoin mining site into a large-scale AI data center.
Plushie AI begins an airdrop campaign offering $PLSH tokens to users who actively engage with its AI-powered platform and community tasks.
SPHNX launches an AI-driven airdrop challenge, rewarding users who successfully test AI security by making it reveal forbidden words on the Sophon blockchain.
Zo introduces an AI-powered platform rewarding users with XP for engagement, fueling speculation about a future token launch as its community-driven ecosystem grows.
Coinbase executive Conor Grogan claims to have discovered a "jailbreak" for artificial intelligence tool ChatGPT that allows it to calculate the probability of bizarre cryptocurrency price scenarios.
Microsoft has reportedly entered into a billion-dollar, multi-year contract with former Ethereum miner CoreWeave, to use its cloud computing infrastructure for supporting its AI-powered services, following CoreWeave's successful shift to cloud computing and recent $421 million funding round.
EU Announces 'Web4' Plan: Aiming to Boost Local Tech and Create Safe Virtual Worlds.
Sam Altman's crypto project, Worldcoin, is set to launch its WLD token and main network, with a listing on Binance.
OpenAI CEO's Worldcoin gets under U.K.'s ICO scanner; launches its token, aiming for a big crypto impact.
Meta still bets on the metaverse, despite big losses and a new focus on AI.
Binance launches 'Bixel', an AI tool for creating unique artwork and NFTs, amidst controversy.
Kenya halts Worldcoin's operations, a crypto company using iris scans for identification, amid rising concerns and investigations.
Cathie Wood of ARK Invest says Bitcoin and AI can change the future.
Nasdaq gets a green light to use AI for trading!
Kenya may halt Worldcoin over privacy fears; global concern grows on data collection.
Sam Altman rejoins OpenAI as CEO, sparking a surge in Worldcoin interest amid board changes and new Microsoft collaboration.
Cardano's Charles Hoskinson warns of rising AI scams on YouTube, urging caution as fake videos become more realistic.
Former President Donald Trump voiced strong concerns about central bank digital currencies (CBDCs) and artificial intelligence (AI), highlighting their potential to infringe on individual privacy and global security during a recent interview on Fox's Sunday Morning Futures.