Tech

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.

She will adopt most of the behavioral changes the parties proposed. The full opinion is not public yet. Publishers pay a 20 percent fee on AdX, Reuters via Search Engine Roundtable. Two cases, not one ruling.