“这是中数院交流后改善的证明方法。”

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

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

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

学长说：“对。”

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

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

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

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

他说：“答案不定。”

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

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

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

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

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