形式化数学推理

利用计算机和AI系统对数学命题进行形式化表达与自动推理证明的研究领域，要求系统具备严密的逻辑推理与抽象思维能力