AI Cracks 18-Year Quantum Puzzle

🔥 What happened A recent MIT grad used Anthropic's Fable 5.2 to solve the 18-year-old Aaronson-Ambainis conjecture on quantum speedups. The proof was autoformalized in Lean and vetted by top researchers. 💡 Why it matters The result closes one avenue for quantum computers to beat classical ones — a rare case of AI answering a deep theoretical CS question, not just crunching numbers. Scott Aaronson admits he doesn't fully grasp the proof but trusts it's correct. ⚡ Our take When a startup with specialized model harnesses cracks a decades-old problem that OpenAI apparently didn't even attempt, the power axis in AI research shifts away from the big labs.