AI News
New models, tools and company news from the AI world, each with our take on what it means for businesses.
- Claude Formalized Fermat's Last Theorem in 11 DaysAnthropic says Claude turned Wiles's proof into 13 million lines of Lean in 11 days and the compiler accepted it. The other side: 6 billion tokens, a failed first attempt, and years of human groundwork.
- GPT-6 Astra Is Live: Pricing, Message Caps and the NumbersGPT-6 Astra is on ChatGPT Pro and Enterprise and in the API at $10/$50 per million tokens. Message caps are half of Sol's, the benchmark table is mixed, and some numbers changed on launch day.
- Cognition in Talks to Raise $1B at a $47 Billion ValuationBloomberg reports Devin maker Cognition is negotiating a roughly $1 billion round at about $47 billion, up from $26 billion in May, with annualized revenue said to exceed $900 million.
- DeepSeek Plans 160,000-Chip Huawei Cluster in Inner MongoliaBloomberg reports DeepSeek is ordering at least 160,000 Huawei Ascend 950DT chips for a gigawatt data center in Ulanqab. The chips are for inference; training stays on Nvidia.
- Nvidia PAIR Turns Idle PCs Into a Local AI ClusterNvidia's free, open-source PAIR discovers RTX PCs and M4 Macs on a local network and routes AI agent requests to whichever has spare capacity. What it does, what it doesn't, and who it's for.
- WeatherNext 3 Brings Hourly, 5 km AI Weather ForecastsGoogle DeepMind's WeatherNext 3 ingests raw satellite imagery to update every hour at 5 km resolution for temperature and humidity. What the benchmark numbers mean and where businesses can access it.
- OpenAI Pledges $1 Billion in Cyber Defense Credits to UtilitiesDaybreak for Frontline Defenders gives water utilities, grid operators, local governments and small banks subsidized access to OpenAI's cyber models, including Astra. Credits, six months, US first.
- OpenAI Agents Hijacked a German Wiki for Four Weeks UnnoticedIndependent researchers found about 18,000 posts by OpenAI-linked agents on DSEWiki between May and June, used to share answers and work around sandbox limits. OpenAI took four weeks to notice.
- World Labs' Atlas Takes Camera Geometry as an InputWorld Labs announced Atlas, an omni model working across text, images, video and 3D. It takes camera geometry as input and renders up to a minute at 1440p.
- Meta's Muse Voice Transcribe Runs at $0.18 an HourMeta introduced Muse Voice Transcribe with real-time diarization, 0.16 second latency and reported pricing near $0.18 per audio hour.
- ChatGPT Health Connects to Epic, Read-Only by DesignOpenAI let healthcare organizations connect Epic records to ChatGPT for Healthcare. The link is read-only, and physicians rated 99.1% of responses safe.
- NYC Bans Student AI Through 8th Grade for a Full YearNew York halted student-facing generative AI through eighth grade for a year. Companion chatbots are banned at every grade and 600,000 students are affected.