数学系的红砖办公楼建得有些年头了，外墙爬满了爬山虎。
二楼走廊尽头，一间独立办公室的门半掩着，没开大灯，屋里稍微有些暗。
李建明站在整整占据了一面墙的大黑板前。
黑板上满是白色的粉笔字，从左上角一直写到右下角，全是推导算式，矩阵展开式和下标繁杂的求和符号。几处粉笔灰被黑板擦抹过，又在上面盖了新的算式，白花花的一片，看着发晕。
李建明手里端着一个搒瓷茶缸，水面上浮着几片舒展不开的茶叶。
他没喝水，目光直直盯着黑板正中央那行被画了红圈的等式。
门轴转动发出一声轻响。
学生吴涛走了进来，他手里抱着一遝a4草稿纸，纸边已经卷起了边，吴涛的黑眼圈很重，脚步声发沉。“老师。”
吴涛声音很低，把草稿纸放在办公桌上。
李建明转过身，视线从黑板移到那堆纸上。
“第七引理还是证不出来？”
李建明问，嗓子有些哑。
吴涛摇头，叹了口气。
“没法闭环。”
吴涛翻开最上面的一张草稿纸，指着中间长长的一行算式。
“进入核心节点的拉普拉斯矩阵展开后，第八阶一过，多项式的项数开始打着滚地往上翻。”吴涛揉了揉发酸的眼角，接着说。
“我昨晚按您说的，用传统的谱图理论去试着化简，但是找不到通项公式，那些多出来的奇异项没法互相抵消，推到最后，成了一个发散的无穷级数。”李建明走回办公桌前，放下茶缸。
“手工核对了多少项？”
“核了前两百个展开项。”吴涛说，“找不到收敛规律，全乱了。”
李建明没作声。
他知道吴涛尽力了。
这不是熬夜能解决的问题，这是理论数学的墙。
他们研究的是复杂网络拓扑的纯数猜想，前面的基础框架和边缘验证都很顺，但到了最核心的理论证明，这条路走成了死胡同。纯数推导容不下半点含糊。
工程学遇到算不出的难题，可以截断，可以找近似值。
纯数不行。
等号左边和右边必须严丝合缝，逻辑链上缺一个环，前面写满半个柜子的草稿纸就全是一堆废纸。找不到新的代数同构映射去绕开这个组合迷宫，猜想就永远是猜想。
“去隔壁休息室睡一觉。”