Is physics also about to be conquered by AI? 5 quantum open problems unsolved for over 20 years have been cracked

What happened: Physical Superintelligence (PSI) says its AI research system produced results on 5 open problems in quantum information theory. Papers, Lean formal proofs and verification code are posted on GitHub for review. Key numbers: PSI announced a $58 million seed round in September, led by Breakthrough Energy Ventures. The Open Quantum Problems catalog was founded in 1999. Why it matters: PSI says its Emmy system separates hypothesis generation from verification, with Lean compilation as the check. The company says it aims to move scientific discovery "from genius to scale.

Physical Superintelligence (PSI) says its AI research system produced results on 5 open problems in quantum information theory. Papers, Lean formal proofs and verification code are posted on GitHub for review.

PSI says its Emmy system separates hypothesis generation from verification, with Lean compilation as the check. The company says it aims to move scientific discovery "from genius to scale.