PSI says its AI system has achieved results on 5 open quantum problems

Physical Superintelligence (PSI), which was founded less than two months ago, says that its self-developed AI research system Emmy has achieved results on 5 open problems in quantum information theory, and that the related papers, Lean formal proofs, and verification code have been published on GitHub for review. These 5 problems come from the catalog of open quantum problems established by German physicist Reinhard Werner in 1999, spanning five directions: entanglement purification, quantum field theory, high-dimensional quantum communication, quantum channel capacity, and quantum causality, among which OQP 2, OQP 12, and OQP 27 were included as early as the beginning of this century. Emmy breaks difficult problems down into verifiable mathematical sub-hypotheses, then hands them to the Lean formal proof assistant, symbolic computation engines, and high-precision verification code for screening, and only considers them established if compilation passes. PSI debuted in September this year and has completed a $58 million seed round led by Breakthrough Energy Ventures.

AI-generated from public reports

1. Oct 29· 1 reports

   PSI claims AI system achieves results on 5 open quantum problems

   Source:English text is being prepared.