Physical Superintelligence launched in September with a $58 million seed. Today they announced five new results on open problems in quantum information theory, with a paper and Lean formalization for each of Open Quantum Problems 2, 12, 27, 38, and 43.
Physical Superintelligence announces five quantum information theory results with Lean proofs
AIPhysical Superintelligence, a company that launched in September with a $58 million seed round, says it has solved five open problems in quantum information theory, numbered 2, 12, 27, 38, and 43 in the Open Quantum Problems list. Each result comes with a paper and a Lean formalization.
Andrew CurranVerified on X
@AndrewCurran_
Today Physical Superintelligence PBC is announcing solutions to five long-standing problems in quantum information theory. https://psi.inc/research/oqp-batch-2026/ Thread 👇View quoted post on X
Source details
Andrew Curran · x.comPublished · added here
Original title: Physical Superintelligence launched in September with a $58 million seed. Today they announced five new results on open problems in quant...