Physical Superintelligence 发布 AI 辅助的五个开放量子问题成果，附 Lean 证明

多项结果为部分结论、界限或反例而非完整解答，截至 10 月 24 日均未经同行评审。