是要多试验一下，但大佬走了，他们总觉得有一点群龙无首啊。毕竟，大家的水平都差不多，谁也不服谁，关于到底要如何进行那个试验，有人觉得内部测验就好，有人觉得应该有外国人参与，也有人有别的想法，谁也说不过谁。
难不成，也学着大佬曾经的做法，去ihu那边溜达一圈，发个帖子求助？
众人不由得陷入纠结。
明夏在刚穿越回来的时候，因为时间太过久远，不记得21世纪的这些理论，在做试卷的时候，对于在她看来类似于“1＋1=2”这种难度的题目，就像是对普通人而言，太过常识，反而不知道要怎么去证明。因此，当时，虽然知道那样的回答不够严谨，出于强迫症，她还是勉为其难地答了一句“因为成立，所以成立”。
但其实，就是那个小学生学习的“1＋1=2”，也是可以证明的，只要用到戴德金-皮亚诺结构，后继数，单射等等，再理顺了思路，就可以将之证明出来，步骤还很简单。
而现如今，她对另一个“1＋1”，也就是“哥德巴赫猜想”，又有了新的一个想法，可以处理好原先一直困扰着她的那几个在证明中存在的bug。
之前，在参加io的数学交流会时，明夏