58. 冰雹猜想的等价算式（2 / 2）

“你们先去，我还要思考一下。”杨晨感觉到似乎有点头绪，如果不抓住这个灵感，很可能会忘掉。

三人不再强求，杨晨是个学霸，学霸的世界岂是一般人能懂的？

杨晨一点不感觉到饿，站在白板前，认真思索着。不时在白板上的空白处写着，写了又擦，擦了又写。吴老教授也没有离开，严厉道：“杨晨，你怎么还不去吃饭？再不去就过饭点了。”

杨晨淡淡道：“我不饿，吴老教授，您怎么也不去？”

“我马上就去，等两分钟。”吴老教授在办公桌上写着什么，杨晨不好意思一直待在办公室。

杨晨以为中午办公室要关门，吴老教授不好离开，只好先行离开了。匆匆吃了点饭，来到办公室，刚好一点钟，此时，他看到吴老教授依然站在白板前，手中拿着水笔在画些什么。

杨晨是在最近的一个研究生食堂吃的饭，以最快的速度过去，再以最快的速度过来，而吴老教授已经到了，说明他根本就没有去吃饭。

吴老教授现在50多岁，人精瘦精瘦的，是长期废寝忘食的结果，杨晨惊愕道：“吴老教授，您没去吃饭？”

吴老教授不耐烦道：“吃饭干什么？有什么好吃的？我生平最不喜欢吃饭，吃了第一顿，还要吃第二顿，真是麻烦。”

杨晨：“…”

13:50，熊安、梁东、叶勇三人一起来到办公室，见杨晨和吴老教授都站在白板跟前，仔细思考着，像两尊雕塑。

三人看到那两个算式，头皮发胀，也不知杨晨是从哪里搞来的两个算式，看上去是等价的，也不知道是不是真等价？他们尝试着用所学知识解答，却没有半点头绪。

“杨晨，你是为了证明什么猜想？”吴老教授不解道。

“冰雹猜想。”杨晨回答。

“什么？冰雹猜想？”吴老教授眼睛变得滚圆。

数学研究领域的人都应该听过冰雹猜想，这是一个著名的猜想，至今还没有被人证明过，冰雹猜想又叫3x1猜想。计算机只计算到700000000000（11个0）。这个猜想看似很简单，用编程计算似乎也不复杂，但再往后就很难用计算机来算了。要研究的范围是无穷大，必须是理论求解。

熊安梁东叶勇三人听到冰雹猜想这几个字，齐刷刷地扭过头来。

“你的意思是，你现在只剩下这一步了？”吴老教授惊愕道。

“这是我目前遇到的**颈。”

“你是采用什么方法推导的？”

“我先正推，花了79步得到a算式，然后把结论反推，花了189步得到b算式。现在的问题是这两个算式中间是否是等价的关系？”不过，系统给杨晨提供了其中150步算式。

“杨晨，你能够推到这一步已经相当不容易了，这是冰雹猜想的等价命题，就算你把这个拿去发表论文，也是相当不错的…我似乎想到了一点什么，你看。”