AI Had a Big Week: A New GPT, a Wild Proof, and Nosy GlassesOpenAI launched GPT-6 Astra at $10/$50 per million tokens, Claude spent 11 days formalizing the Fermat proof in Lean, and Meta patched its AI glasses so covering the light actually stops the recording.