OpenAI’s math proof shows automated theorem proving could reach smart-contract security
OpenAI says thousands of AI agents solved a Navier-Stokes case and formally verified it in the proof assistant Lean. The…
Ethereum News
All the latest Ethereum news — staking ratios, Layer 2 developments, DeFi ecosystem updates and ETH price movements. Updated continuously.
Ethereum
live price
2,472.36
-3.68%
Bitcoin, Ethereum and XRP Fall as Producer Price Data Lifts Fed Rate-Hike Odds
Bitcoin, Ethereum and XRP fell Thursday after a stronger-than-forecast US producer price report pushed traders to raise the odds of…
AI Agents Cut Quantum Attack Cost on Bitcoin’s Cryptography by 86%
More than 100 participants using AI coding agents cut the resource cost of a key step in a potential quantum…
BNB falls 6% in two sessions as traders eye $700 support
BNB has dropped about 6% over two trading sessions and now trades near $710, pressured by fresh U.S. inflation data…
Bitcoin ETFs post second day of outflows as Ethereum funds keep pulling in cash
US spot Bitcoin ETFs shed $120.2 million on September 9, the second straight day of net redemptions, while Ethereum ETFs…
