他接着说到，“四色猜想，另一个通俗的说法是：每个无外飞地的地图都可以用不多于四种颜色来染色，而且不会有两个邻接的区域颜色相同。被称为邻接的两个区域是指它们有一段公共的边界，而不仅仅是一个公共的交点。”

        旁边沅澧用树枝在地上认真地画起来。

        “感觉很容易理解啊，还挺有意思的，但是这个题目真的很难吗？”

        “对。”崔潇潇头也未抬，用筷子夹起一片三文鱼放进嘴里，“你们不要想了，这道问题最开始被称为四色猜想，被誉为世界三大数学猜想之一，最后是被人们用计算机辅助证明的。现在连计算机都没有，光靠人力是没有办法进行那么大规模的计算，也无法给出确切的有效证明的。”

        “咦？”卫宫惊讶地转过头来看着崔潇潇，“连两百年后，这个问题都没有得到完美的证明吗？”

        崔潇潇吃吃笑起来，“对啊，那帮傻子，只会埋头计算，总认为计算机证明是一种伪证明，真正完美的数学应该是简洁，漂亮得让人全身震颤的。听了这种恶心的话，才会起一身鸡皮疙瘩好吧。数学是解开世界谜题的基础，也是探寻世界真相的先行者，这倒是没错，毕竟很多物理学上的猜想，有可能是先从数学开始的，比如宇宙的维度。但是，过分执着于表达形式，需要简洁完美的证明才是真正的数学，也未免太过于狭隘了。”

        她的目光中突然多了那么一份坚定的炙热，就像要燃烧起来一样，“历史的车轮会将迂腐不化的人和一切阻碍前进的事物统统碾压得粉碎。计算机的出现，不仅仅是作为计算的辅助工具而已，它在未来的数学发展道路上，承担了非常重要的角色，很多人类无法计算和证明的问题，最后计算机都证明了。并且，发展到22世纪的时候，人工智能的超前化，导致它们已经能够独立产生数学问题和解答数学问题，并且从人类的正常生产应用中提取数据，构建数学模型，导致因为受到人脑计算限制的愚蠢人类完全看不懂它们问题的产生过程和解答过程，人类对于人工智能过度恐慌，以至于演变出了第一次的机器人战争。”

        “……”所有人惊讶地张大了嘴，看着这个小女孩。

        “啊……对不起，我这个妹妹喜欢做一些奇怪的梦，然后把梦到的东西当成真的说出来，”卫宫赶紧解释到，“大家听听就算了。”

        “……”虽然直觉告诉他们，不能认同卫宫的话，但是理智还是让所有人不约而同点了点头。

        “今天气氛这么好，不如我和师父一起演奏一曲，为大家助助兴吧？”

        “好啊！”所有人欢欣鼓舞地鼓起掌来。

        内容未完，下一页继续阅读【啃书虎www.kenshuhu.com】