吃了点饭，来到办公室，刚好一点钟，此时，他看到吴老教授依然站在白板前，手中拿着水笔在画些什么。
杨晨是在最近的一个研究生食堂吃的饭，以最快的速度过去，再以最快的速度过来，而吴老教授已经到了，说明他根本就没有去吃饭。
吴老教授现在50多岁，人精瘦精瘦的，是长期废寝忘食的结果，杨晨惊愕道“吴老教授，您没去吃饭？”
吴老教授不耐烦道“吃饭干什么？有什么好吃的？我生平最不喜欢吃饭，吃了第一顿，还要吃第二顿，真是麻烦。”
杨晨“…”
13:50，熊安、梁东、叶勇三人一起来到办公室，见杨晨和吴老教授都站在白板跟前，仔细思考着，像两尊雕塑。
三人看到那两个算式，头皮发胀，也不知杨晨是从哪里搞来的两个算式，看上去是等价的，也不知道是不是真等价？他们尝试着用所学知识解答，却没有半点头绪。
“杨晨，你是为了证明什么猜想？”吴老教授不解道。
“冰雹猜想。”杨晨回答。
“什么？冰雹猜想？”吴老教授眼睛变得滚圆。
数学研究领域的人都应该听过冰雹猜想，这是一个著名的猜想，至今还没有被人证明过，冰雹猜想又叫3x+1猜想。计算机只计算到700000000000（11个0）。这个猜想看似很简单，用编程计算似乎也不复杂，但再往后就很难用计算机来算了。要研究的范围是无穷大，必须是理论求解。
熊安梁东叶勇三人听到冰雹猜想这几个字，齐刷刷地扭过头来。
“你的意思是，你现在只剩下这一步了？”吴老教授惊愕道。
“这是我目前遇到的瓶颈。”
“你是采用什么方法推导的？”
“我先正推，花了79步得到a算式，然后把结论反推，花了189步得到b算式。现在的问题是这两个算式中间是否是等价的关系？”不过，系统给杨晨了其中150步算式。
“杨晨，你能够推到这一步已经相当不容易了，这是冰雹猜想的等价命题，就算你把这个拿去发表论文，也是相当不错的…我似乎想到了一点什么，你看。”