In brief Vitalik Buterin says AI-assisted formal verification could help reduce vulnerabilities in Ethereum and other crypto infrastructure. The technique uses mathematical proofs to verify...
In brief Linked Polymarket accounts made $2.4 million by accurately betting on U.S. military actions tied to the Iran conflict. Bubblemaps said the accounts won...
In brief Quantum computing advances are shortening the timeline for real attacks on crypto, with recent targets revised to 2030-2032. Bitcoin is more exposed than...
In brief Lawyers in a federal layoffs case apologized after AI-generated “phantom quotations” appeared in a court filing. Attorney Jason Greaves said he used Anthropic’s...
In brief ARFBench is the first AI benchmark built entirely from real production incidents. GPT-5 leads all existing AI models at 62.7% accuracy but falls...
In brief PCT Litigation Trust sued financial services firm Swan Bitcoin seeking repayment of nearly $1 billion in assets. The lawsuit alleges that Swan used...
In brief X-OmniClaw is an open-source Android AI agent from Oppo that keeps its core logic on-device and only calls the cloud for high-level reasoning....
Elon Musk’s latest legal challenge against OpenAI has collapsed in court, clearing one of the biggest legal threats facing the ChatGPT maker as competition in...
In brief Hive Digital Technologies’ stock price jumped 26% on Monday, after touching its highest point this year, following the data center announcement. Hive’s subsidiary,...