明夏的授课，前面的学习是最难的，因为所有算法和编程思路都和现有的教学不一样，相当于在你已经将英语吃透到可以去当同声传译的时候，突然告诉你，主语谓语宾语的用法全部更改，所有知识都得重新来过，一度使得那些日日夜夜坐在电脑对面的人，本就凉飕飕的头顶，发际线愈发高了几分。
但最后的这个环节，其实就只是将i跟进技术嵌套进防火墙，反而比较简单，出问题的几率不大。
因此，今天便是明夏给他们上的最后一节课，告诉他们接下来应该怎么做，确定网安部门那边的人清楚了这个新型防火墙该怎么搞，便结束了所有的授课。但她也表示，有空的时候，会来红盟登录“x”这个账号，大家有问题的话，可以派一个代表私信，她看到后就会回复。
x：以防万一，在将防火墙投入使用之前，切记，必须要进行一段时间可参考数据足够多的实验，确定已经成功了，再投入使用。以上，这段时间，和大家的相处很愉快，谢谢交流。
说完这句，明夏就果断下线了，继续去看书。
而那边，被她留下来的红盟和网安部门的大家，则面面相觑。
是要多试验一下，但大佬走了，他们总觉得有一点群龙无首啊。毕竟，大家的水平都差不多，谁也不服谁，关于到底要如何进行那个试验，有人觉得内部测验就好，有人觉得应该有外国人参与，也有人有别的想法，谁也说不过谁。
难不成，也学着大佬曾经的做法，去ihu那边溜达一圈，发个帖子求助？
众人不由得陷入纠结。
明夏在刚穿越回来的时候，因为时间太过久远，不记得21世纪的这些理论，在做试卷的时候，对于在她看来类似于“1＋1=2”这种难度的题目，就像是对普通人而言，太过常识，反而不知道要怎么去证明。因此，当时，虽然知道那样的回答不够严谨，出于强迫症，她还是勉为其难地答了一句“因为成立，所以成立”。
但其实，就是那个小学生学习的“1＋1=2”，也是可以证明的，只要用到戴德金-皮亚诺结构，后继数，单射等等，再理顺了思路，就可以将之证明出来，步骤还很简单。
而现如今，她对另一个“1＋1”，也就是“哥德巴赫猜想”，又有了新的一个想法，可以处理好原先一直困扰着她的那几个在证明中存在的bug。
之前，在参加io的数学交流会时，明夏也就只差最后一个环节了，还因为卡在那里，把同样投入进了证明环节的大家勾得不要不要的，好奇得简直就是抓心挠肺，便在有了灵感之后，立刻把学习量子力学、法语、英语以及历史的时间通通都挤出来一些，匀给这个并不简单的“1＋1”的证明。
第84章
哥德巴赫是一个伟大的数学家, 才能给出“1＋1”这个被列为世界三大难题之一的猜想，而明夏从几个月前，就已经在着手研究这个猜测, 试图和之前的“周氏猜测”一样, 努力将之证明。
每天早上第一句，“1＋1”的证明出来了没有。
每天晚上最后一句，今天的自己有没有新的进步。
每个人的爱好都不一样，有的人喜欢听歌，有的人喜欢运动, 也许多有如明夏一般，沉浸于学术和科研的人。德国作家格里美尔斯豪森说过, “好事总是需要时间，不付出大量的心血和劳动是做不成大事的。想吃核桃, 就是得首先咬开坚硬的果壳。”
io结束后，因为那场意料之外的演讲，还有十分“渣”的“卡结局”行为，明夏经常会收到许多国家选手热情的“催更消息”, 包括io主席, 还有其他国家几个当时的领队，也偶尔会对她发来“和善的”问候, 顺带询问一下对“哥德巴赫猜想”的证明进度。
其中，尤其是美国的另一个领队, 那天的交流会因为生病意外缺席, 名叫ethen, 也是明夏之前那篇《周氏猜测的证明》sci论文的普林斯顿数学研究院审稿人，对明夏的态度最复杂。
说热情吧，他的语气也说不上多么的活泼，说不热情吧，他又是真的和蒋业、顾秉钧两人一样，有事没事就来问一下明夏的证明进度，很有一种“虽然我问了，但这不代表我就认同你，也不代表我觉得你一定会证明出来这个猜想”的心不甘情不愿之感。
明夏回了几次消息，察觉到他的态度后，便懒得回了，只是出于礼貌地“嗯”、“好的”、“谢谢”，敷衍而过。
但她不知道，在隔着一个太平洋的欧洲，每次去问她的证明进度的ethen，心下其实也难受得不行。
ethen不怎么关注梅森素数方面的理论，更遑论是由华国人提出的“周氏猜测”，但“哥德巴赫猜想”就完全不一样了。这是他研究了几十年的一个世界难题猜想，还因为曾经发表多篇相关研究论文，也出版过书，在数学界站渐渐稳了自己的地位，也打开了普林斯顿数学研究院的大门。
在上个世纪，那么多怀有盛誉的数学家盖棺定论，表示“哥德巴赫猜想”的证明在当下环境是不可能的，必须有一个新的数学思想的提出，再加上，自己已经有了一些研究成果，也凭此获得了相应的地位，ethen便愈发沉浸于对“哥德巴赫猜想”的研究和证明之中。
52书库推荐浏览： 自捅千刀 穿越重生言情 女强文