Claude Formalized Fermat's Last Theorem in 11 Days — 13 Million Lines of Lean
Anthropic's Claude autonomously translated the 358-year-old proof of Fermat's Last Theorem into the Lean formal verification language, producing a computer-checked result in just 11 days. »
KubeCon Meets PyTorch in Shanghai: Alibaba Cloud and Cambricon Join the Foundation
KubeCon, the OpenInfra Summit, and PyTorch Conference China converged for the first time in Shanghai this week — and Alibaba Cloud and Cambricon took Platinum seats on the PyTorch Foundation board. »
Meta Launches Hatch: The $200/Month Autonomous AI Agent That Acts for You
Meta's new Hatch platform is an autonomous AI agent embedded in WhatsApp and Instagram that can book travel, shop, and send emails on your behalf — powered by Claude models while Meta's own 'Watermelon' model bakes. »
Apple Unveils iPhone Ultra: Its First Foldable at $2,299 — Plus the iPhone 18 Pro
Apple's 'Surprise and Shine' event today delivered the iPhone Ultra — a 5.5-to-7.6-inch foldable — alongside the A20 Pro-powered iPhone 18 Pro, Apple Watch Series 12, and iOS 27 release dates. »
Arch Linux September 2026 ISO Arrives with Linux Kernel 7.2.2
Arch Linux's monthly snapshot for September 2026 ships a 1.5 GB ISO powered by Linux kernel 7.2.2 — the first Arch release to default to the newly minted 7.2 branch, with improved hardware detection across the board. »