Xinzhiyuan reports Anthropic has another ace up its sleeve! History repeats itself: Claude's internal model cracks an 18-year-old bounty conjecture in quantum computing. In just three days, an unreleased Claude model solved theAaronson-Ambainis conjecture, which had remained unresolved since 2008! Netizens speculate that this internal model appears to be the unreleased model Claude Model 4. The theorem and corollary have been formalized in Lean, and the ex