Proving olympiad geometry theorems on a superconducting quantum processor
The results establish, at the experimental level, automated logical reasoning as a viable task for near-term quantum processors and provide a concrete pathway toward quantum-enhanced symbolic intelligence.
Ning Wang, Zheng-Zhi Sun, Zhen Cui et al.
· 0 citations