一间实验室里。

温尼伯格教授站在一台仪器前表情严肃，等待着实验数据的结果。

就在这时候，他的手下的实习生跑了过来。

“什么事情，这么慌慌张张的？”

温尼伯格教授有点不悦。

他很早就规定了，在实验室里绝对不能跑步或者大声吵闹。

实习生倒是习惯了自己导师的严肃，有点不好意思的说道：“是您的邮箱来邮件了，《符号逻辑期刊》发过来的，我看了一下，是请您审审稿。”

温伯格教授脸黑着道：“就算是审稿又怎么样，也不是什么大事，你非得这么急急忙忙？”

实习生苦着脸道：“您之前不是说凡是有关西塔潘猜想的邮件全都立刻告诉您吗？”

温尼伯格教授一听到西塔潘猜想这几个字，立刻眼神一亮。

因为他年轻的时候曾经花费了一年半的时间去钻研西塔潘猜想，可是最终他还是失败了。

所以他对这个猜想记忆犹深，也尤为痛恨！

哪怕之后的二十年里他一直没有研究西塔潘猜想，但是脑子里总是忘不掉。

故而他手下的每一个实习生都会被他吩咐关注学术界关于西塔潘猜想的最新动向，一有突破的进展就立刻通知他。

温尼伯格教授有点激动的说道：“你看了一下那篇论文的标题是什么？”

实习生说道：“《西塔潘猜想的证明过程》。”

温尼伯格教授一惊。

他还以为只是取得了一部分的进展，没有想到竟然有人直接说自己证明出来了西塔潘猜想。

“你在这里帮我看着实验数据，然后记录下来，我现在立刻去审稿！”

温尼伯格教授说完之后也不等实习生同意，匆匆的推开门而去。

来到自己的办公室之后，温尼伯格教授找到了那封邮件，立刻点开查看起来。

“……假设有一个无限图，它的顶点对应全体自然数，任何两个顶点有一条边，现在对这些边任意二染色，而无论怎么染色，必然能找到无穷个顶点，它们之间的边都染同一种颜色……”

“……每一棵无限的二叉树必定包含一条无限长的分支……”

“……故而RT_2^2推不出WKL……”

温尼伯格教授心很急，所以几乎是一目十行的先将整篇论文扫了一遍。

当看到结尾处写到西塔潘猜想被否定之后，他整个人都逐渐的放松下来，眉头松开，仿佛完成了一件什么大事。

“快速浏览的时候没看到什么问题，现在再细看一遍……”

温尼伯格教授将论文翻到最前面，手里拿着笔和本子，准备做验算。

时间分分秒秒的流逝，很快便到了下午。

中途实习生敲开办公室的门，让温尼伯格教授去吃午饭，都被他拒绝了。

“终于完成了！”

蓦然间，温尼伯格教授抬起头，眼神中带着欣慰和解脱。

困扰了他二十多年的难题终于被解开了！

“不过到底是谁把西塔潘猜想给解决了，该死的！审稿的时候为什么总是要匿名！”