，那他也就省去了找房子的麻烦。
至少现在，陈舟也是允许他来蹭住的。
毕竟，杨依依现在还在LIGO，尚未回国。
跟克罗斯闲聊了两句之后，陈舟便去洗漱了。
随后便一头扎进了自己的房间，开始翻看极小模型纲领第一问题的推导内容。
同时，陈舟也掏出了错题集，开始验证错题集在数学课题上所存在的bug。
错题集的有效使用，一直是陈舟能够高效解决数学难题，攻克物理课题的一个重要支撑点。
如果在数学研究上，错题集一直出现这种“bug”的话。
那他今后的研究，肯定会受到不小的影响。
把错题集翻了一遍后，陈舟发现下午对于极小模型纲领第一问题的解答，并没有出现在错题集上。
也就是说，这个解答过程，没有错误！
但与此同时，陈舟的心里，也基本上有了一个答案。
想了想，陈舟开始用另外的难题，对错题集的这个“bug”，进行最后的验证。
验证之后，陈舟基本上确定了心里的答案。
简单来说，错题集的错题记录功能，本身就是只记录错误的内容。
如果说，思路错误的情况下，所验算的内容本身并没有错的话。
那错题集，是不会自动记录下来的。
即使这部分内容，可能并不能解决这个数学课题。
得到这个答案后的陈舟，颇有些郁闷。
他记得以前错题集不是这样的啊？
不管是他证明冰雹猜想的时候，还是证明哥德巴赫猜想的时候。
错题集都会指出他证明中的错误，将他指向一条正确的证明之路上。
可现在，错题集好像不太对劲了呀？
难道是因为数学升到Lv8的原因？
陈舟不由得想到了Lv8升Lv9，所需要的十大哥猜级数学难