Artificial Intelligence

Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure
The Ethereum co-founder argued that AI-assisted "formal verification" could become one of the most important tools for cybersecurity in a new blog post.

Crypto security is turning into an AI arms race as agents may overwhelm compliance teams
AI agents and automated payments could reach a scale that crypto monitoring systems built for human-paced markets cannot handle, Elliptic CEO Simone Maini warned.

Wall Street is starting to notice one of crypto’s smartest AI bets
A growing spotlight on Nof1’s Alpha Arena suggests SUI Group and Karatage may have gotten early to one of the most important experiments in finance: teaching AI how to trade in real markets.

IREN closes $3 billion convertible notes deal amid AI infrastructure expansion
Bitcoin miner turned AI infrastructure operator secures one of the sector’s largest financings as investor demand drives multiple upsizes.

Cerebras shares skyrocket 100% after $5.5 billion IPO amid AI stock frenzy
The AI infrastructure company began trading Thursday as investors continue pouring capital into artificial intelligence stocks.

Cerebras, OpenAI, SpaceX: The IPO pipeline that could drain crypto
Cerebras Systems’ $5.5 billion IPO and soaring semiconductor stocks underscore how investor attention has shifted from bitcoin to artificial intelligence in 2026.

Bitcoin miner MARA sold $1.5 billion of bitcoin as it shifts toward AI infrastructure
While the miner said bitcoin remains its operational foundation, first-quarter results point to a company increasingly built around power, data centers and AI demand.

MARA expected to post Q1 losses as investors look ahead to AI growth strategy
Investors look beyond bitcoin volatility towards long term AI infrastructure and data center revenue opportunities.

Amazon’s new AI wallet: AWS, Coinbase, and Stripe build payment rails for bots
Amazon said AI agents for now will be allowed to buy APIs, web content and other online services, but that future versions would enable hotel bookings, travel reservations and payments to merchants.

The end of ads: Coinbase engineer says AI agents could kill the internet’s favorite business model
Erik Reppel, who created the x402 protocol, said that the web economy depends heavily on advertising revenue generated from humans. AI agents bypass that system entirely.

