每一个数学定理都是一个等待被讲述的故事,一个等待被解开的谜团。
预测未来的最好方法就是创造未来。
对人工智能中逻辑系统的研究不仅仅是关于算法,更是关于理解推理的本质。