AI Proves Theorems While Lenders Start Sweating
OpenAI says its models just proved the Kakeya conjecture in every dimension, refuted a famous computer science hypothesis, and took a swing at a Millennium Prize problem. Anthropic apparently said, hold my Lean proof. Meanwhile, AI data center debt is paying double digits, which is what lenders do when they're nervous. Plus Anthropic's IPO paperwork, and a Copilot feature that picks your model for you. Let's get into it. 1. OpenAI Claims Proofs Across Math and Physics (AlphaSignal) 2. Anthropic Matches OpenAI on ETH Refutation (TLDR AI) 3. AI Swarm Verifies Math's Longest Proof (The Rundown…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.