QbitAI·· 16 days agoFeatured78
PSI claims AI-assisted resolution of 5 open problems in quantum information
Brief overview
Physical Superintelligence (PSI) claims to have achieved results on 5 open problems in quantum information theory with the help of its self-developed AI research system Emmy. Papers, Lean formal proofs, and verification code have been released on GitHub for review.
Why it matters
Readers can see a new company challenging quantum open problems with a process that separates generation from formal verification, and learn about its team and funding background.
Source: QbitAI · qbitai.com