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

洛襄回到家，已经是凌晨一点了。
因为过了习惯性入睡的时间，洛襄睡了会，就有些睡不着。
她索性就不睡了，打开台灯，拿出了草稿纸。
莱尔猜想证明到了最后一步了，既然睡不着不如再算会，做数学题什么的，有助于睡眠。
洛襄算了一会儿，就有些困了，不过总算在睡着之前，将猜想证明了出来。
然后就带着困意上床睡觉了。
第二天，有了莱尔猜想的基础，她很快就将第12号算法算了出来。
她翻出聊天列表，点开一个备注为“某人”的，就将12号算法打包之后发了过去。
总算是应付完了。
京都。
京大的数学办公室里，某位教授忽然从椅子上站了起来。
旁边的老师吓了一跳，一脸茫然地看过去。
这个教授看着L发过来的第12号算法，沉思了一会儿，又有些迷茫。
这个算法……
看起来似乎是可行的，但是却又根本不可能实现。
他给L发了条信息。
“你确定这个12号算法能用吗？”刘教授问道。
洛襄发了个问号。
“有什么问题吗？”她说道。
刘教授沉默了一会儿，过了半晌才给洛襄回消息。
洛襄是在课间的时候才看到这条消息的，这条消息发得很长。
刘教授从证明过程以及各种数据计算分析的角度上，啰里八嗦写了一大堆。
洛襄没有细看，直接翻到了最下面。
刘教授写道：“这个算法原则上是可行的，但是其中少了最关键的一环，也就是数学界有名的莱尔猜想，虽然这个猜想很多专家都认为是可行的，但是，没有人能够证明出来。”
“没有证明出来的数学难题，就是一个伪命题，是不能直接拿来使用的。所以12号算法是不成立的，我建议你换一个算法，这个12号算法不要用了。”
电脑前，刘教授推了推眼镜框。
他做《数微谈》期刊的初衷是为了能够从一些独特的角度来挖掘数学的魅力。
他研究数学研究了一辈子，有自己的固执和偏执，绝不能为了期刊的销量去哗众取宠，从《数微谈》刊出去的算法，必须要拥有着绝对的严谨性。
他曾欣赏L在数学上独特的天赋和能力。
但是这一次……
也许，L也不过是一个普通人，没有他一直以来想的那么厉害。
就在这时，他收到了L发过来一条消息。
“你是说莱尔猜想吗？”洛襄道，“那个猜想，我昨天晚上证明出来了。”
……
电脑前的刘教授，就愣住了。
他听到了什么，莱尔猜想被证明出来了，这怎么可能？
莱尔猜想问世四百多年，多少前仆后继的数学家孜孜不倦的试图证明这个猜想，但是最终都以失败告终。
这可是数学界的10大难题之一！
L虽然有些才华，但毕竟是以高中知识为主。在这一瞬间，刘教授很难说服自己L和证明了莱尔猜想的数学界大佬联系在一起。
但他的手微微在抖，不知道为什么，内心有一点隐隐的激动。