News
Anthropic says Claude proved security properties in 123 open-source libraries
Anthropic says Claude produced formal proofs for 123 open-source libraries and uncovered bugs that had evaded detection for years.
Latest reporting and analysis
News briefs
Price forecast
ETH Price Prediction: ETH Stalls Below Every Short-Term Average as MACD Momentum Flatlines
Ethereum is trading at $2,405.05 as of October 23, 2026, holding just above its pivot point but beneath every short-term moving average, with a near-zero MACD histogram signalling a momentum pause ...
Price forecast
BTC Price Prediction: MACD Flatlines at $81,882 as Open Interest Jumps 5.5% — Can Bulls Reclaim the Moving Average Stack?
Bitcoin slipped 0.78% to $81,882.22 on Binance spot markets as its MACD histogram reached exactly zero, signalling a complete stall in directional momentum. A simultaneous 5.53% surge in open inter...
News
OpenAI and Poland’s NASK partner on AI safety and security
OpenAI and Poland’s NASK said they are partnering on AI safety, security and technical research to strengthen safeguards and digital resilience.
News
Kazakhstan AI compute buildout widens with NVIDIA GPU deployments
Kazakhtelecom has deployed NVIDIA H200 and B300 GPUs, while inDrive and Pony.ai are exploring robotaxi services in Astana.
News
Anthropic says Claude proved security properties in 123 open-source libraries
Anthropic says Claude produced formal proofs for 123 open-source libraries and uncovered bugs that had evaded detection for years.
News
Circle launches hourly USDC Match auctions for Mint customers
Circle says eligible Mint customers can now match USDC mint and redemption orders in hourly auctions with rebates and capped redemption fees.
News
OpenAI opens Decisions API in public beta for fast typed outputs
OpenAI says its Decisions API is in public beta, offering typed outputs for classification, routing and scoring across text and images.
News
Anthropic donates Agent Skills standard to AAIF
Anthropic said it is donating Agent Skills, used by more than 70 platforms, to the Agentic AI Foundation under the Linux Foundation.
News
Ethereum delays Glamsterdam Hoodi upgrade over EIP-8037 review
Ethereum postponed the Hoodi Glamsterdam testnet upgrade from Oct. 26 to review EIP-8037 interactions with mainnet smart contracts.
News
xAI unveils SpaceX Super Intelligence Partner Network for Grok
xAI introduced a partner network for companies building with Grok, citing more than 130 early-access participants and partner integrations.
Editorial illustration
News
a16z renames crypto fund Frontier, expands mandate beyond crypto
Andreessen Horowitz says a16z Crypto is becoming a16z Frontier, widening its scope to frontier startups while continuing crypto investing.
News
Harvey redesigns Review Table loading for larger legal document sets
Harvey said it rebuilt Review Table loading to page rows from the backend, improving responsiveness for larger legal document reviews.
