{"id":"arxiv/2609.14533","url":"https://arxiv.org/abs/2609.14533","tags":["quant-ph","cs.AI"],"score":0,"title":"Proving olympiad geometry theorems on a superconducting quantum processor","domain":"quant-ph","source":"arxiv","authors":["Ning Wang","Zheng-Zhi Sun","Zhengyi Cui","Yiren Zou","Aosai Zhang","Fanhao Shen","Jiarun Zhong","Zehang Bao","Zitian Zhu","Han Wang","Jia-Nan Yang","Jiayuan Shen","Gongyu Liu","Yanzhe Wang","Yihang Han","Yiyang He","Jiahua Huang","Sailang Zhou","Xinrong Zhang","Yaozu Wu","Zixuan Song","Jinfeng Deng","Hang Dong","Qi Ye","Weikang Li","Si Jiang","Yixuan Ma","Shuangyue Geng","Zhide Lu","Chao Song","Hekang Li","Pengfei Zhang","Qiujiang Guo","H. Wang","Dong-Ling Deng"],"reviews":0,"subject":"quant-ph","summary":"Automated theorem proving seeks to use computational systems to prove or disprove mathematical and logical statements [1, 2]. It underpins a wide range of applications, and enhancing theorem-proving capabilities remains a central objective in artificial intelligence [3]. Although recent neuro-symbolic systems have achieved remarkable progress [4-7], their operation is ultimately constrained by classical computational architectures. Quantum computing [8], by contrast, enables information encoding and coherent parallelism beyond classical limits [9-14], raising the possibility of accelerating…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-13","reactions":{}}