响。

沈奇瞟了一眼欧叶的手机，应该是信息、邮件之类的东西。

他也不敢看，他也不敢问，老婆的手机不许私自解锁，这是铁的纪律。

“嘤嘤……”欧叶嘴唇动了动，醒了。

“叶子你醒了。”

“嗯……外面好大雨哦。”

“大暴雨，挺猛的，等雨停了，我们再回家。”

“好的。”欧叶睡醒后第一件事是摸手机，她划动手机屏幕，查收新邮件、新信息。

信息发件人赵天：“叶子姐，我们的方案在沈奇科研中心计算机房验证完毕，Shafarevich-Tate群是有限群，analytic rank等于0、1的椭圆曲线符合我们的猜测！analytic rank或algebraic rank大于等于2的情况有待于进一步验证，你快看看曾寒发给你的新邮件吧！如果你能来计算机房，就更好了！祝你早日康复！”

“呀！”欧叶轻呼一声，蛮开心的样子。

沈奇无意中瞅到欧叶的手机屏幕，他大概猜到欧叶开心的具体原因了。

“rank0、1搞定了，Shafarevich-Tate群确实是有限群，两位前辈的直觉很敏锐呢。”欧叶晃了晃手机，向沈奇传达喜讯。

“那太好了，老婆你真棒，强无敌。”沈奇由衷的为欧叶感到高兴，心情好坏对于病患是有影响的，他当然乐意看到老婆天天都快乐。

欧叶点开新邮件，邮件发件人是曾寒：“叶子姐，请查收附件。祝你早日康复。”

附件里全是图形、表格数据，欧叶仔细查阅。

看完之后，欧叶忽然没那么开心了，她把手机递给沈奇：“rank大于等于2的情况，没有一个字节的验证数据，我想，我应该忽略了某个重要环节。”

沈奇接过手机，他快速的计算分析，说到：“按照你的设定，初次的计算机验证，对于rank大于等于2的情况，至少应该得到泰勒展开后的验证数据。你确实有可能忽略了某个关键环节，不过你已经做的很好了。哟，雨停了，咱们回家吧，回家后慢慢研究。”

……

……

（七月一日，党的生日，求保底月票！）