Physical Superintelligence publishes five quantum results with machine-checkable proofs

The October 23rd release pairs papers with Lean formalizations and verification code; PSI says its human scientists directed the AI-assisted work.

RuntimeWire · 2026-10-27T01:14:18.418Z