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. https://x.com/AndrewCurran_/status/21148…