“噢，怪不得。”学长啧啧称奇，“这玩意我看着都费劲，你居然还能改善……太强了。”

柏舟一没告诉他主思路是自己的，改善才是组员的功劳。夸赞并不能证明出黎曼猜想，柏舟一找他另有所求。

“还缺个带入计算的定值。”柏舟一说，“我听说马普所，找到计算定值的公式了是吗？”

学长说：“对。”

又说：“我还记得那个式子呢，因为太典型了，所以记的特别牢……笔给我一下。”

他从柏舟一手上接过笔，刷刷在笔记本上写下式子。

那式子特别短，比起五六页的推论证明，只有寥寥数行，孤零零在横线上，看着有些可怜。

柏舟一盯着式子，面色一点点沉下去。

他说：“答案不定。”

学长叹口气，说：“对，教授们想出这个式子时本是欣喜若狂，以为终于找到证明黎曼猜想的方法，但若是要让这个式子成立……答案有无穷尽种。”

柏舟一不说话了，式子套式子，式子需要的定值是个不定值。

学长叹气：“这也是为什么，最接近黎曼猜想的证明方法被放弃了。”

柏舟一垂着眸，冷不丁说：“理论是可行的。”

学长苦笑：“理论可行的东西，可太多了。就算有了定值，带进去计算，也有成千上万的可能性，一次次计算，什么时候到头呢。”

柏舟一没说话，把笔帽扣上了。

学长又翻翻之前的笔记，发现笔记本上的证法和教授的证法不同处挺多，他问：“这是你自己想的吗？”

“根据已有研究报告重构的。”柏舟一说，“中数院再进一步完善了。”

“那也很厉害了。”学长赞叹道，“我们导师说这是天才的公式，我当时可花了两个月才弄懂它，你居然自己总结出来了......只可惜，这个式子不可用。”

柏舟一目光沉沉，说：“再看吧。”

训练结束时，教练叫过蓝山说要和他谈谈。

蓝山擦擦汗，过去了。

“队里最近在意大利那边发现了几个未被开拓过的岩壁。”教练说，“、13的难度。”

教练看着蓝山说：“这个难度的线路，能尝试红点的人不多。”

--