第197章 那个猜想，我昨天晚上证明出来了

洛襄回到家，已经是凌晨一点了。

　　因为过了习惯性入睡的时间，洛襄睡了会，就有些睡不着。

　　她索性就不睡了，打开台灯，拿出了草稿纸。

　　莱尔猜想证明到了最后一步了，既然睡不着不如再算会，做数学题什么的，有助于睡眠。

　　洛襄算了一会儿，就有些困了，不过总算在睡着之前，将猜想证明了出来。

　　然后就带着困意上床睡觉了。

　　第二天，有了莱尔猜想的基础，她很快就将第12号算法算了出来。

　　她翻出聊天列表，点开一个备注为“某人”的，就将12号算法打包之后发了过去。

　　总算是应付完了。

　　京都。

　　京大的数学办公室里，某位教授忽然从椅子上站了起来。

　　旁边的老师吓了一跳，一脸茫然地看过去。

　　这个教授看着L发过来的第12号算法，沉思了一会儿，又有些迷茫。

　　这个算法……

　　看起来似乎是可行的，但是却又根本不可能实现。

　　他给L发了条信息。

　　“你确定这个12号算法能用吗？”刘教授问道。

　　洛襄发了个问号。

　　“有什么问题吗？”她说道。

　　刘教授沉默了一会儿，过了半晌才给洛襄回消息。

　　洛襄是在课间的时候才看到这条消息的，这条消息发得很长。

　　刘教授从证明过程以及各种数据计算分析的角度上，啰里八嗦写了一大堆。

　　洛襄没有细看，直接翻到了最下面。

　　刘教授写道：“这个算法原则上是可行的，但是其中少了最关键的一环，也就是数学界有名的莱尔猜想，虽然这个猜想很多专家都认为是可行的，但是，没有人能够证明出来。”

　　“没有证明出来的数学难题，就是一个伪命题，是不能直接拿来使用的。所以12号算法是不成立的，我建议你换一个算法，这个12号算法不要用了。”

　　电脑前，刘教授推了推眼镜框。

　　他做《数微谈》期刊的初衷是为了能够从一些独特的角度来挖掘数学的魅力。

　　他研究数学研究了一辈子，有自己的固执和偏执，绝不能为了期刊的销量去哗众取宠，从《数微谈》刊出去的算法，必须要拥有着绝对的严谨性。

　　他曾欣赏L在数学上独特的天赋和能力。

　　但是这一次……

　　也许，L也不过是一个普通人，没有他一直以来想的那么厉害。

　　就在这时，他收到了L发过来一条消息。

　　“你是说莱尔猜想吗？”洛襄道，“那个猜想，我昨天晚上证明出来了。”

　　……

　　电脑前的刘教授，就愣住了。