一上午的课讲完，脑海中至少塞了三本书的新知识，还都是和霍奇猜想有关的，每条新知识都相当复杂，需要一点时间梳理。
沉思许久，宋河睁眼，表情复杂。
他拿起笔，清空了黑板，试着打草。
下笔很犹豫，悬空许久才落笔写下三四行，紧接着再次悬空，纠结片刻后再次落笔，反反复复。
许久，写满了两个书写区，终于停笔。
宋河凝视步骤许久，点点头扔笔，扭头一看门口，吓了一跳。
相晓桐一声不吭地站在门口，长款白色羽绒服，两手插在兜里认真看，显然看了很久了。
“来了咋不说话啊？”宋河问。
“我来的时候你闭着眼，看着不像身体不舒服，我猜你在想问题，怕打扰你就等了一下。”相晓桐走过来，“结果你一睁眼就开始写，我在这边挥手，你看都不看一眼。在写什么？”
“霍奇猜想的证明。”宋河说。
“有思路了？”相晓桐问。
“岂止有思路了，这不证明完毕了嘛！”宋河指指屏幕，轻描淡写道，“没想到这么简单，千禧难题拿下！”
相晓桐张大嘴巴。
“你真信啊？”宋河笑了，“你傻子吗？”
相晓桐气的咬牙，挥舞巴掌猛拍他肩膀，“越来越坏！”
“怎么可能一下就解出来了嘛！这是千禧难题，又不是小学口算题！傻子也知道是开玩笑！”宋河笑个不停，“你这么盲信老公？说啥你都敢信？”
“主要是真有人证出来了。”相晓桐没好气道，“我当撞车了呢，你一说我吓了一跳，以为你历史留名的机会被抢了。”
“真有人证出来了？”宋河一怔，随即笑了，“想骗我？没门，我又不是傻子，霍奇猜想现在都没几个人研究了。”
“少自作聪明，没骗你，鲁道夫宣布他证出来了，今天下午两点钟在德维特那里公布证明全过程，满世界的科学家都过去见证。”相晓桐掏出手机，调出新闻给他看。
宋河将信将疑接过手机，上面还真是鲁道夫社交媒体的公告，半小时前刚发的：
我确信我已成功证明霍奇猜想，可能还有一些小瑕疵，希望各位同行共同研究
当地时间下午两点整，我将在德维特的数学论坛中心做公开报告，展示证明全过程
鲁道夫
宋河脸色震惊，“不对吧？鲁道夫不是做相关领域的数学家啊！他怎么给证出来了？那我这霍奇猜想班岂不刚开班就要解散了？”
“一年前鲁道夫就宣布转行了，专攻霍奇猜想。”相晓桐道，“他也好多年没出像样的成果了，这回可能是不鸣则已一鸣惊人，真要证明成功，下届菲奖肯定他的了。”
宋河有点懵，眨眨眼不知所措。
“怎样？要去看现场吗？”相晓桐问。
“那必须去啊！”宋河道。
……
下午，一点五十。
梦境城市，德维特住所。
依旧是熟悉的巨型白色建筑，门口多了一块巨大的新牌子，上面硕大的数学论坛字样，每个字足有一层楼高，隔着两条街都能看见。
门口堵的水泄不通，数百辆汽车从一个路口堵到另一个路口，车上几乎全是赶来见证历史的数学家们。
时间快到了，车流却不见寸进，数学家们急得直按喇叭，一时间满街滴答声聒噪刺耳，中间还夹杂着怒骂。
“妈的到底谁在前面堵啊！”
“我服了，现实里堵车，梦境城市还堵车，还不如走过来快，谁特么买车啊！”
“走啊！再不走我踩油门撞了啊！反正这是梦里，我真敢创死你们信不信！”
“快点儿啊！这就开始了！总不能把车扔马路上进去吧？”
忽然，路中间一辆车打开车门，一个胖子下车，爬到车顶上挥舞手臂。
“大家别着急！我是鲁道夫！我也堵在这了！”
街上顿时响起一片笑声，不少人吆喝着传话，焦躁的喇叭声逐渐小了下去，气氛放松下来。
忽然，巨大的阴影掠过街道，伴随螺旋桨的轰鸣！
不少数学家察觉不对，纷纷摇下车窗，把脑袋伸出去仰头看，大风从天而降，只见一辆巨大的白色翼龙飞行汽车从街道上空掠过，威武霸气，径直落入数学论坛中心。
满街数学家们哗然了，大家堵车堵的欲仙欲死，结果有人就这么堂而皇之的飞过去了？
“卧槽！出新载具了！”
“挂？”
“居然有飞行汽车？我咋不知道？这得从哪买啊？”
“我看网上有爆料说飞行汽车快出了，但距离正式出还很远啊，这谁这么牛逼拿到内测资格了？”
“什么神仙？还能飞的？”
街道另一头，数学论坛中心停车场。
飞行汽车缓缓降落，车门优雅掀开，一男一女从车上跳下来。
远处，正在进场的数学家们纷纷侧目，但梦境里无法直接认出人脸，只有认识的人能存储固定的人脸图像，不认识的人只能看到随机形象，因此也只是简单围观一下特权大神。
“有点掉帧，总体还行啊，调试一阵子就能上线了。”宋河回头看看车，满意道，“走，进去占个好座。”
“街上交通你要不要疏散一下？”相晓桐抬头远眺，“堵到这程度，猴年马月能开场啊？”
“也是。”宋河想了想，从兜里摸出手机，输入文字。
调交警来，让路上堵着的数学家不要在车里死等了，直接步行入场，车子安排人停到附近停车场
命令下完，宋河站着等了片刻。
很快，远处路口出现了大队摩托骑警，风风火火赶来，开始挨个车下通知。
被通知到的车子陆续熄了火，驾驶座的数学家们下车，脚步匆匆沿着路边步行过来。
宋河和相晓桐放心了，并肩往会场里去。
进门的瞬间，他心中泛起紧张。
鲁道夫也是拉马努金奖得主，水平是有的，但数十年没有进展的霍奇猜想，真要突然在今天画上句号了吗？