{"id":"arxiv/2601.07953","url":"https://arxiv.org/abs/2601.07953","tags":["quant-ph","cs.AI"],"score":0,"title":"Quantum automated theorem proving","domain":"quant-ph","source":"arxiv","authors":["Zheng-Zhi Sun","Qi Ye","Dong-Ling Deng"],"reviews":0,"subject":"quant-ph","summary":"Automated theorem proving, or more broadly automated reasoning, aims at using computer programs to automatically prove or disprove mathematical theorems and logical statements. It takes on an essential role across a vast array of applications and the quest for enhanced theorem-proving capabilities remains a prominent pursuit in artificial intelligence. Here, we propose a generic framework for quantum automated theorem proving, where the intrinsic quantum superposition and entanglement features would lead to potential advantages. In particular, we introduce quantum representations of…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-01-12","reactions":{}}