饭倒了。

    走出食堂，夜风微凉。

    他在偌大的校园里漫无目的地绕了一大圈，看着那些陌生的操场和砖墙，更想家了。

    脑子里不知怎么，突然蹦出了苏慧的影子。

    她这会儿在干什么呢？

    思念一旦决堤，便再难收拢。

    每次一静下来，他就想妹妹想得受不了。

    脑海里全都是妹妹迈著小碎步、像个小尾巴一样，无论去哪都死死跟在自己身后的软糯模样。

    平常他总是嫌她爱哭闹，可直到站在陌生的大学里...

    他才恍然惊觉，也许根本不是妹妹依赖自己，而是自己更离不开她。

    “回家以后，得对她更好一点才行。”

    他暗自下了决心，一路溜达回了宿舍。

    回到书桌前，苏皓翻开了那本厚重的笔记本。

    纸页上，密密麻麻的公式和图表像是一支列阵的千军万马。

    最顶端，赫然写着四个端正的汉字：

    【四色定理】。

    这是一个简单到连小学生都能听懂，却把无数顶尖数学家折磨到头秃的数学猜想：

    任何画在平面上的地图，只需四种颜色就能将所有区域区分开来。

    “第124次尝试。”

    苏皓嘟囔了一句，拿起笔袋里那支带着小鸭子装饰的铅笔。

    时至今日，苏皓依然死死咬著这个被数学界视作已解决的命题。

    1976年，kenco appel和wolfgang haken利用大型计算机穷举，声称证明了该猜想为真。

    但这算什么证明？

    对苏皓来说，数学从来不是冰冷的穷举。

    那是人类直觉与严密逻辑交织碰撞出的最极致、最优美的语言。

    他坚信，在这座由真理构筑的殿堂里，必定藏着一个如同艺术品般优雅的解答！

    而这两人的证明算什么？

    那是利用计算机，将四色定理中产生的1936种情况，用近乎蛮横的姿态逐一验证的穷举法。

    人类的大脑当然无法穷尽那衍生的无数种情况，但计算机那种没有灵魂的死物却让这成为了可能。

    所以从某种意义上讲，他们把数学的灵魂出卖给了计算机的算力！

    在苏皓眼里，那简直就是异端！

    他百分之百确信，如果欧拉或者牛顿两位祖师爷，今天看到后辈用这种粗暴的手段解题...

    绝对会气得掀开棺材板跳出来，把这两人绑在火刑架上！

    “肯定有更优美的办法。”

    苏皓捏着笔，盯着纸面陷入了沉思。