AI
AI

OpenAI Says It Solved a $1M Math Problem. A Rival Mathematician Says He Did It First

NYU’s Tristan Buckmaster accuses OpenAI’s Sébastien Bubeck of racing to claim credit for a Navier-Stokes proof after learning about his unpublished work with Anthropic’s Levent…
AI

New York town weighs crypto mining and AI data center ban

One of the first towns in the US to ban Bitcoin mining for 18 months is considering another temporary moratorium extending to data centers and…
AI

Paolo Ardoino wants AI agents to hold Tether, but developers are left on the hook for overspending

Tether’s WDK design separates wallet access from payment approval, leaving developers to enforce the limits users expect. The post Paolo Ardoino wants AI agents to…
AI

Harmony Proposes Sunsetting Network and Moving ONE to Ethereum for AI Video Pivot

The plan would snapshot ONE at the final block and redirect emissions to an AI video business, but Harmony urged users to exit smart contracts…
AI

Bitcoin miner burns through millions in BTC to buy compute, but new coins are not returning to treasury

Cloud customers accounted for about 74% of August’s production increase, while company holdings recovered only part of July’s decline. The post Bitcoin miner burns through…
AI

OpenAI Chief Scientist Warns AI Labs May Need to Slow Down

Jakub Pachocki is calling for mandatory safety standards as OpenAI finds it harder to monitor advanced AI models’ reasoning. Read Full Story at Decrypt.co →
AI

OpenAI's GPT-6 Astra Is Shockingly Good at Almost Everything

Early testers spent OpenAI’s launch weekend pushing Astra through 3D cities, playable games, Bach chorales and research papers. Read Full Story at Decrypt.co →
AI

From power laws to AI networks, why complex Bitcoin price models memorize market noise

Bitcoin price forecasting has accumulated an unusually colorful collection of methods. You have basic scarcity models that convert the halving schedule into a price, and…
AI

AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever

Anthropic says Claude spent 11 days turning Fermat’s Last Theorem into 13 million lines of code a computer can check itself, no human trust required…
AI

Wall Street is turning AI’s massive electricity appetite into a $61 billion bond market

Every interaction with AI uses electricity in a data center. Servers calculate the answer, cooling equipment carries away the heat, and network connections send the…