Claude autonomously produced the first fully machine-checked Lean 4 proof of Fermat's Last Theorem — 13 million lines of code, 29,500 intermediate theorems — in the biggest AI math milestone of 2026.
Anthropic filed its IPO S-1 prospectus post-Labor Day and simultaneously sealed a $35B six-year cloud deal with NVIDIA-backed Lambda, locking in compute ahead of a late-September/October listing.
GPT-6 Astra became the first deployed model to hit the Preparedness Framework 'Critical' cybersecurity threshold, while NVIDIA confirmed its $12.93B acquisition of Hugging Face with a 🤗 easter egg baked into the purchase price.