研究者在可编程超导量子处理器上实验实现自动几何定理证明

Ning Wang 等人在 9 月 13 日首发论文，报告在 fully programmable superconducting quantum processor 上实验实现 automated geometry theorem proving。第一套框架把 Wu 代数消元法改写为 quantum pseudo-division，并把多元多项式编码进 superposition states；第二套框架把 full-angle method 表述成 hybrid quantum strategy-guided backward symbolic reasoning。作者以正方形对角线垂直和一道 1978 IMO 几何题为示例，在真实超导处理器上完成证明。