量子位 (微信公众号)T2·78 pts
- PSI claims to have used AI to solve 5 core problems from the Open Quantum Problems (OQP) directory, including entanglement distillation and channel capacity.
- Three of these problems (OQP 2, 12, 27) were listed in the early 2000s, suggesting AI may have broken through theoretical bottlenecks unresolved by humans for decades.
- The company released papers, Lean formal proofs, and code for peer review, attempting to establish credibility beyond press releases.