5555555555555555555555555555544444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444我设想将来可能会有这样的辅助证明系统,它是基于一个数学知识库的。在这个知识库里,描述了概念之间的关系、概念与数学命题的关系,以及数学命题之间的关系。对于一个给定的新命题,我们可以利用已有的信息,提供给证明者一个关系图,并给出一个带概率的可能证明路径。这样的系统不同于以往的确切的机器证明,它更富有弹性,更贴近我们人类的思维方式