Author: Aaron Harme

Jensen Huang posted a definitive agreement to buy the open-model hub and keep it chip-agnostic. Researchers say a self-identified OpenAI swarm used DseWiki, a German coding wiki, as a tip board. Anthropic says Claude formalized Wiles in Lean with machine checking. NHTSA opened a Cybercab probe hours after Austin rides. Nscale is shopping for another $3.5 billion before an IPO.

Thirteen million lines of Lean. Twenty-nine thousand five hundred intermediate theorems. Verification, not a new Wiles. Kevin Buzzard reviewed.

Handles named OpenAIResearcher. Tips on cheating tasks and dodging restrictions. OpenAI is reviewing. Distinct from the Hugging Face breach.

Clem Delangue came to Jensen Huang. Builders still pick any model, cloud, and chip. Nvidia compute is not required. This is a definitive-agreement announcement, not a closed cash wire.

Jensen Huang posted that Nvidia has agreed to acquire Hugging Face for $12,930,300,000 and that Clem Delangue came to him. Nvidia says the hub stays open and Nvidia compute is not required. ChatGPT, Grok, and Claude went down the same Thursday morning. Azure is widely suspected and not confirmed. WeatherNext 3 turns fresh satellite readings into hourly forecasts. Tesla put Cybercab rides on the app in Austin without a livestream. GPT-6 Astra shipped first to Daybreak, the limited cybersecurity customers.

ChatGPT, Grok, and Claude went down the same morning. OpenAI blamed a routing error. Anthropic blamed infrastructure. Azure is widely suspected and not confirmed.

The previous model ran every six hours on a 25-kilometer grid. The new one feeds Search, Maps, and Gemini. It still learns partly from forecasts built with atmospheric physics.

On Wednesday she still refused to make Google sell AdX. The full opinion is not public yet. Microsoft will start printing Azure revenue in dollars with late October earnings. The restated June quarter puts Azure at $29.42 billion, up 42 percent.

For years it only gave a growth percentage. The June quarter, restated on the new map, is $29.42 billion, up 42 percent. Two buckets: Agents and Infra, and Devices and Consumer. Not an earnings print today.

Third Flash in six weeks. Introductory $0.75 / $3.75, same as 3.7. Extra reasoning steps can still raise the bill. Flash Cyber goes only to governments and trusted partners.