一叶障目，不见泰山，在这种极端不利的条件下，计算机仍然能解决一些问题，往往还是人类无能为力的复杂问题，也无法证明其有“智慧”或“意识”。

而是编写计算机程序的专家们，在借助其远胜过人的强大算力，发挥自己的超卓智慧。

计算机解决的问题，根本上讲，都是人类原则上已经解决、只不过因为时间、资源的缘故而无法实践的老一套。

譬如“四色定理”，“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色”，对人而言，随便涂几张地图，再稍微思考下，便不难凭借直觉意识到这一猜想的正确性（直觉未必正确，但这次是对的）。

然而多少年来，虽然数学家们早就解析过“四色定理”，认识到其证明等价于“平面上不存在两条相交却没有交点的直线”，却一直没得出严谨的证明。

要证明四色猜想，和数学界的很多着名猜想不一样，一眼望去，并没有极高深的理论峭壁，很多数学家也逐渐窥见了解谜的钥匙，但是，这些钥匙要么暂不合用，要么就是需要庞大到不切实际的时间精力。

直到西历1410年，联邦的两位数学家在伊利诺伊大学利用计算机验证，花费1200小时验证了超过10，000，000，000张地图，结果没有找到反例.

据此，学术界（并不一致地）认为四色定理被证明，结束了长达一百多年的探索。

对计算机给出的证明，作为外行，方然并无资格、也无意愿去妄加评论，但他的确注意到，在1410年的证明之后，联邦乃至世界范围内有许多人并不认可这一结论，民间数学爱好者、当然也包括大量“民科”仍然尝试寻找四色定理的逻辑证明。

长期以来，不断有人发表自己的研究成果、甚至证明，却都经不起推敲。