PSI models prove quantum computing conjecture: Lean verifies the result

PSI proved a longstanding conjecture using an unreleased Anthropic model and published materials for verification.