在数学中存在着一个奇怪的现象，那就是问题越简单，越难以解决。归根到底，是因为数学并不是一门自然科学，它的研究对象并不是实物，而是抽象的概念。
数学，是科学，是科学中的形式科学，其底层逻辑是根据皮亚诺公理的算术公理系统构建的。
这样就导致了一个问题，当涉及到最基础的数论证明时，数学就显得特别虚弱无力。
比如，有些人认为三岁孩子都知道的+=2很简单，可数学家罗素的巨著Prinipiaatheatia用了300多页才证明出+=2！
纵观数学史上留名的数学家，可以把他们分为两类，
一类是善于提出问题，并在解决问题的过程中，提出新的数学理论的数学家。
另一类则是只负责制造问题，管杀不管埋的那种。
德国数学家克里斯蒂安·哥德巴赫，很明显就是后一类，他在742年，提出了两个哥德巴赫猜想猜想。
没错，哥德巴赫猜想最初是有两个猜想构成，分别被称为奇数哥德巴赫猜想和偶数哥德巴赫猜想。
奇数哥德巴赫猜想表述为任何一个不小于7的奇数可以表成三个素数之和；偶数哥德巴赫猜想表述为任何一个不小于4的偶数可以表成两个素数之和。
幸运的是，数学家Vingradv部分的证明了奇数哥德巴赫猜想，实际上是证明了对于充分大的奇数，都可以表示为三个素数之和。
也就是说在此之后，一旦证明偶数哥德巴赫猜想，那么就可以完美的推导出奇数哥德巴赫猜想。
所以在数学家们“节约纸张”的习惯下，哥德巴赫猜想就被精简为任一大于2的偶数都可写成两个素数之和。
看到屏幕上人工智能小花收集的资料，李默露出了苦涩的笑容。
他已经尝试过用Hardy和Littled圆法，试图去解决哥德巴赫猜想，结果很明显，那就是他完全浪费了3天的时间。因为在哥德巴赫猜想中存在两个变量，提出一个来之后，剩下的一个很难进行平凡的估计。
经过这几天的“艰苦学习和不断挫败”，李默对华国的数学前辈陈生，产生了深深的敬意。陈生能在艰苦的环境下，提出几乎素数代替偶数的筛选法，证明出了“+2”。这个已经很难得了，虽然这个结果在李默看来，离解决偶数哥德巴赫猜想还有非常大的距离。
至于后面的也有许多数学家，对外界声称在证明哥德巴赫猜想中，取得了突破性成果，但他们迟迟没有提交证明论文，并且有些甚至连思路也没有给出，完全没有任何参考价值。
李默已经渐渐意识到，哥德巴赫猜想同他以前证明出的世界难题不同，这完全是一座高山，当有经验的登山者面对高山时，最好的做法就是在山脚下做好准备工作。
所以他并没有急于“闭关”，而是“爆肝”各种数论文献，吸收前人的智慧精华。
“笃...笃...”敲门声响起。
李默没有抬头就知道是张小莉，因为只有她敲门时是如此的柔弱，生怕把门敲破了一样。
“老板，这是实验员们的项目申请。”张小莉递过一份材料，“还有，毕明宇的考核成绩已经出来了，周博士给了A+的评价。”
“A+？这么高？”李默抬起了头，他没想到那个看似木讷的格子衫，竟然有满腹才华。
品格：9，专业：A+
这样的成绩已经够资格进入实验室了。
“那就把他招进来吧，暂时安置在周博士手下，福利待享受正式员工的待遇。”李默交代道。
“那秀山的福利房，是不是也要给他分一套？”张小莉接着问道。
李默皱了皱眉头。
考虑到燕京的房价超高，为了解决员工们的后顾之忧。他当初在新实验的建设中，特意在实验室外围，靠近秀山公园的地方，规划了十几栋家属楼，每一位实验室的正式员工，将能获得一套房子的长期使用权。如果该员工的工龄达到十年以上或者是做出了重大贡献，这套房子的所有权将会完全归该员工所有。
“分一套两室的给他吧，他好像还没结婚。”思索了片刻，李默做出了决定。
“好的，我这就安排。”
李默翻看着手中的项目申请书，由于最近正处于项目空窗期，他特许实验员们可以按照自己的爱好，自由选择新项目。
他山之石可以攻玉，有时实验室内的偶然发现，也许会成就一个伟大的发明。
苏格兰科学家亚历山大弗莱明爵士，注意到一种快速生长的霉菌，在一个丢弃的培养皿中阻止了细菌生长，于是将霉菌分离出来单独培养，就用了拯救无数人的青霉素。
电气工程师JhnHpp，上世纪中叶，他尝试使用射频加热来提高体温，结果发现电脉冲对身体的热量没有太大作用，却能够刺激心脏，并将其重新转换节奏，因此发明了起搏器
看一看实验室的优秀科学家们有什么好的项目提议吧，李默对于“民众的智慧”充满了期待。
“利用“氦气变声”，研究一下共鸣在大象发声中的作用，申请人：周明瑞、刘炫辰、刘浩。”
“研究了树袋熊排出方形粪便的方式和原因，申请人：王小川和刘磊。”
“苍蝇污染红酒的检测-苍蝇之间传递信息的费洛蒙可以被人类的鼻子闻到，客人在喝到几分醉时才闻不到费洛蒙的味道，申请人：静静。”
“在+=3的情况下，数学会发生什么变化，申请人：周大方。”
.......
卧槽，这都是什么奇葩选题啊，李默觉得自己的眼睛被辣到了，难道这些看似老实木讷的实验员们，内心是如此的闷骚吗？
大象和树袋熊又招谁惹谁了？
还有静静的“苍蝇实验”，这是准备开红酒小作坊的节奏？
至于周大方的+=3，李默更是无语，这家伙正统数学玩够了，准备向民科领域发展吗？他难道不明白，对于数学来说，数字并不重要，重要的是其中逻辑关系。