RecodeX 重构消息，Physical Superintelligence宣布在五个量子问题上取得研究进展。据该公司介绍，相关工作中由物理学家指导和核验模型辅助完成的部分，AI智能体则用Lean语言撰写形式化证明，供计算机自动校验。