Physical Superintelligence (PSI) announced that it had made progress on five open problems in quantum information theory using its self-developed AI research system, with papers, Lean formal proofs, and verification code published on GitHub. Founded on September 1, 2026, this marks the company's first public result.