量子科技中心_量科网

自动定理证明，或更广义的自动推理，旨在利用计算机程序自动验证或否定数学定理及逻辑命题。该技术在众多应用领域具有核心地位，提升定理证明能力始终是人工智能领域的重要研究方向。本研究提出了一种量子自动定理证明的通用框架，其内禀的量子叠加与纠缠特性将带来潜在优势。具体而言，该工作创新性地构建了知识库的量子表示方法，并为多类任务设计了相应的量子推理算法。研究表明：在命题逻辑和一阶逻辑中，通过量子归结法可实现查询复杂度平方级降低的自动推理；此外，针对几何定理证明，该团队提出了超越经典吴方法的量子代数证明法。通过国际数学奥林匹克几何题等实例验证，量子计算机能以查询复杂度平方级提升的效率证明几何定理。这些成果为构建量子自动定理证明系统奠定了基础，对近期及远期量子技术的实际应用具有重要意义。