墨子科技实验室--秀山
李默通过办公室的玻璃窗，看着公园内的湖泊。
湖泊中，一家三口正在划船，爸爸模样的男人用力摇着船桨，妈妈模样的女人用手紧紧拉着调皮的孩子。
虽然听不到声音，李默也可以脑海中想象得到，他们发出的阵阵欢声笑语。
“这就是生活吧？”
李默感叹了一句，不知不觉中，他离这种普通生活越来越远了。
“笃笃”
“老板，这是实验室的新进那一批的器材清单，请您在上面签个名字。”
“笃笃”
“老板，这是这个月的项目预算，请您在这签个名字。”
“笃笃”
“海大发来邀请函，请您去演讲。”
“笃笃”
到了下班时间，李默揉了揉手腕，今天他一共签了15个报表，拒绝了5所大学的邀请。
至于哥德巴赫猜想，零进展。
虽然这些俗务非常影响他的解题进度，但李默知道，他要做的事情，要求他并不能只当一个整天呆在实验室的科学家。
如果星空中正朝向地球疾驰的未知陨石，真的是一艘外星飞船的话，也许只有集合全球的力量才有可能抗衡。
到时，他如果不能拥有响彻全球的声音，如何“说服”国外那些政客们。
夜幕降临，试验大楼的灯光逐渐熄灭。
李默起身洗了一把脸，他要打起了精神。
他首先采用了例外集合的思路，在数轴上取定大整数x，
再从x往前看，即哥德巴赫猜想对于几乎所有的偶数成立。
但几乎并不是绝对，数学是一门严谨的科学，例外集合这条路走不通！
李默重新拿过一打新稿纸。
这次他要验证的是三素数定理。
如果偶数的哥德巴赫猜想正确，那么奇数的猜想也正确。已知奇数n可以表成三个素数之和，假如又能证明这三个素数中有一个非常小，譬如说第一个素数可以总取3，那么我们也就证明了偶数的哥德巴赫猜想。
研究有一个小素变数的三素数定理。这个小素变数不超过n的θ次方。李默的目标是要证明θ可以取0。
在经过十个小时的计算后，他宣布运用三素数定理，解决哥德巴赫猜想的想法失败了。
日出日落
日落日出
办公室的桌子上摆满了稿纸，好在新办公室的面积足够大。当初设计的时候，特意留下一大片空地，方便他摆放演算手稿。
自哥德巴赫猜想提出后，无数数学家在这个问题上，前仆后继。提出了许多“奇思妙想”的解决方法。
这些解决方法虽然思路迥异，但它们有一个共同的特点，就是把哥德巴赫猜想的条件弱化，在证明了这些弱化版本后，再试图完全证明哥猜。
在1920年，挪威的布朗证明了“99”。
随后77，66，55，44，13
等各种弱化版的哥德巴赫猜想被证明了出来。
随着1960年，陈生证明了“12”
把弱化法推向了高潮，距离正牌哥猜“11”只有一步之遥了。
可是60多年过去了，再没有数学家在证明哥猜的道路上，有过丝毫突破。运用弱化法，“12”已经是极限了。