Artificial Intelligence

Artificial Intelligence

Tech

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.

Vitalik Buterin speaking at ETHDenver in February 2022

Tech

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.

Elliptic CEO Simone Maini (Elliptic)

Tech

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.

Artificial Intelligence (Markus Winkler/Unsplash)

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.

https://www.hpe.com/us/en/newsroom/press-release/2023/06/hewlett-packard-enterprise-unveils-ai-cloud-for-large-language-models.html

Markets

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.

Nasdaq (Shutterstock)

Markets

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.

BTCUSD vs AI Equities (TradingView)

Markets

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.

(Markus Winkler/Unsplash)

Markets

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.

MARA Holdings to Generate Single Digit Yield on 7,377 BTC (Bradley Keoun/CoinDesk)

Finance

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.

Amazon (BoliviaInteligente/Unsplash)

Tech

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.

Erik Reppel, founder of x402, at Consensus Miami 2026 (CoinDesk)