「有些猜想是由实际动机驱动的，而其他猜想则是数学家的一厢情愿。毕竟，只能达到99%而非百分百的证明，根本不足以说服数学圈，也不会被哪个著名期刊认为是足够严谨的证明。与此同时，Pak表示，数学家们显然需要更积极地讨论数学证明的本质。【CMU博士论文】持续改进机器人的探索，243页
「有些猜想是由实际动机驱动的，而其他猜想则是数学家的一厢情愿。毕竟，只能达到99%而非百分百的证明，根本不足以说服数学圈，也不会被哪个著名期刊认为是足够严谨的证明。与此同时，Pak表示，数学家们显然需要更积极地讨论数学证明的本质。【CMU博士论文】持续改进机器人的探索，243页