作者：一桶布丁
“嗯，其实弱形式也可以啊。反正老教授说过，现在弱形式也只是部分证明。”苏沐橙耸了耸肩道。
强形式是指哥猜的最初的表述，每一个大于2的偶数都可以表示为两个素数之和。据说当时哥德巴赫提出这个猜想后，自己无法证明就将这个问题给了欧拉。
欧拉穷尽一生也未能解决这个命题，后来数学界又不再使用1也是素数的约定，于是便有了弱表述：每一个大于5的奇数都可以表示为三个素数之和。
对于强形式，虽然已经有大量的数值验证支持这个猜想，尤其是超算时代，许多数学家已经用计算机程序验证了直到非常大的数字所有偶数都可以分解为两个素数之和。
这从侧面说明了这个猜想大概率是对的，但依然没有一个能被学界普遍接受的数学证明。
也恰恰因为这个命题的表述并不像现代的数学难题那样题干都让人难以理解，甚至可以说小学生都能看懂，这个世界性的难题恰好是全球民间数学家最喜欢讨论的问题之一。
就好像想弄懂黎曼猜想题干部分到底是什么意思，起码得先有数论跟复变函数理论的基础，比如得了解渐进分析理论，函数级数跟乘积这些概念，但哥猜完全不需要。
乔泽甚至想起有次在寝室里，陈艺文在网上看到的那篇论文，宣称证明了哥猜……
然而对方却在证明过程中很隐蔽的用0作为除数，来保证了逻辑的连贯性，同时也极具欺骗性。
现在想想，用这种数字游戏来放松一下大脑，的确是件很有意思的事。
于是乔泽由衷的赞叹了句：“橙子，你真聪明，这的确是放松大脑最好的命题。”
这夸奖，让苏沐橙眨了眨眼，有些找不到北了……
只能甜甜的笑了起来，然后目送着乔泽飞快的站了起来，兴冲冲的回到了另一边的办公室里。
苏沐橙则哼着歌，开始收拾桌子上的残局。
小苏同学的心情不错。
看吧，就很突然的，她又为世界数学界做了些微不足道的贡献，这么想想华夏数学学会给她颁发的那个荣誉院士称号，也不算太过分。
而且充分说明了，陈艺文背地里给她取了个“妲己”的外号是站不住脚的。
等把用于开组会的桌子收拾干净，餐盒都扔到外面之后，回到办公室里，看到乔泽已经开始奋笔疾书，思路似乎很顺畅的样子，苏沐橙不由诧异的问了句：“乔哥，你已经找到思路了？”
“嗯，先定义一个超螺旋函数（S），它将每个自然数 n映射到一个复数平面上的点，形成一种螺旋状的分布。这个函数的特点是能够将质数映射到特定的螺旋线上，而合数则映射到另外的螺旋线上。
然后再设定一个多项式 P （ x ），它的系数和次数都由超螺旋函数的输出决定，用于预测或生成质数序列。这样，P （ x ）= a 0+ a 1 S （ x ） 1 + a 2 S （ x ） 2 +？+ a k S （ x ） k
引入一个转换公式 G （e），代表将任意偶数e分解为两个质数之和的表达式。即为：G （e）=P （x）+P （y）= e。只需要我能保证三者之间成立，就能证明哥德巴赫猜想。
不过现在第一步有些困难，也就是保证当n是质数时，S （n）能落在特定的螺旋线上，而合数则分布在不同的路径上。这需要我能保证精确调整函数中的参数……”
乔泽随口解释着。
虽然乔泽说的很详细，但对于苏沐橙来说，照例是听不懂的。
但这并不妨碍小苏同学日常捧哏：“哇，乔哥，一听就很有道理。而且还是用了乔代数解决问题，你肯定行的。不过，这个第一步连你都觉得很难吗？”
乔泽头也不抬的答道：“还是别用乔代数了，听着很怪。至于难度……目前看来有两种方法可以实现。第一种是调整半径的计算方法，使得质数和合数在螺旋上的半径有所不同。另一种方法是使用一个与质数判定函数相关的加权因子 w （n），这个因子对于质数有特定的值，对于合数有另外的值。
不过两种方法各有优缺点。前者会让计算过程会很繁杂，尤其是随着数的增大，超过一定位数后，直接调整半径可能会导致螺旋图案的不均匀膨胀，影响视觉效果和数据的解读。
后者更为灵活，具备可调节性。但增加了函数的复杂性，需要仔细选择w （n）的定义，以确保螺旋图案的清晰度和信息的有效传递，而且证明过程会更抽象。”
听了这个回答，苏沐橙突然觉得这个问题对于乔泽来说，大概也没那么难了。毕竟方法是有的，而且还有两种，只是纠结于该如何选择而已。
这让她想到了第一次看乔泽写论文时的场景。
谁敢想还不到十个小时，一篇论文就完成了。
也正是那篇论文，还在数学界掀起了一场论战，直接后果是导致了科恩大学一位数学教授的沉寂，以及《杜克数学杂志》名声扫地，一口气更换了绝大部分编辑，但到现在也还没完全恢复往日的声誉。
不知道今天解决这个问题要多久。
如果能快点自然是最好的，于是小苏同学很不负责任的给出了自己的建议：“嗯，这样说的话，我觉得用第二种方法比较好。毕竟更灵活嘛。证明过程就算抽象，只要懂了乔代数，应该也能看明白的。最多就是证明过程写的仔细点。”
“嗯，那就用第二种方法吧。”
听了乔泽的回答，苏沐橙甜甜的笑了笑，便自顾自的戴上了耳机。
今天她为世界数论学界做的贡献太多了，可以安心的摸鱼了。
昨天专门下载了《真探》系列，可以靠追剧好好放松一下大脑。
反正亲爱的乔哥下午要解决这种正经数学命题肯定不会关注她在做什么的……
双赢。
就这样，西林数研所的办公室内陷入安静，沉浸在电影破案过程的女生跟数学证明过程的男生形成了一副分外和谐的画面。聚集的间隙，小苏同学会抬起头看乔泽一眼，发现乔泽思路顺畅，双手依然在键盘上飞舞后，就会心安理得的点开下一集。
没有保证每过两小时，就站起来活动一下身体，或者到走廊上去望远，说明乔泽此时思路太过顺畅，已经进入注意力极为集中的状态。这种时候的乔泽是不要被打搅的。
当然就算苏沐橙这个时候跟乔泽说话，对方也不一定会理会。不是充耳不闻，而是根本直接杜绝了无效信息的干扰。
总之乔泽的两种状态，苏沐橙都已经适应了。
浅思考时候，轻轻松松的一心两用，全心投入时又能够做到身无外物。
这大概就是百年难得一遇的天才跟普通人最不一样的地方吧。
就这样，看了六集美剧之后，也到了下午六点，吃晚饭的时候。
苏沐橙关了视频，抬头看向乔泽，发现自家男人已经从高强度的工作中暂时脱离出来，便问了句：“乔哥，晚上想吃什么？”
“都行。”乔泽随口答了句。
“哦，第一个问题解决了嘛？”
“嗯，哥猜已经证明得差不多了，我在检查证明过程有没有漏洞。”
“额……”苏沐橙有些懵，然后下意识的看了眼电脑上的时间。
没错，才六点过十分，吃完午饭的时候应该是12点半左右，也就是说总共用时应该在五小时四十分。
如果再算上这个问题本身的难度，就显得很有些荒谬的美感。
“真证明完了啊？”苏沐橙站起来，好奇的凑到了乔泽的电脑旁边。
毕竟是数学生，对于哥猜这种等级的数学难题，还是很有兴趣的。毕竟这是祖师爷欧拉都没能完成的数学难题。
可惜的是，看不太懂。
“嗯，我发现用超螺旋代数里的理论来证明关于素数的数论问题，能极大的简化证明过程。”乔泽答了句。
苏沐橙瞬间安心了。
这句话代表着许多大教授大概都看不太懂，所以她完全看不懂很正常。
“哦，那晚上得吃点好的补补脑，乔哥你又辛苦了。”
“做这个问题本来就是为了换脑子休息，挺轻松的。”
“嗯……也对，那我去打饭了。”
“好。”
苏沐橙走出了研究所，想了想，还是决定给李叔跟徐院长打个电话。
毕竟这两位都是研究数学的，这么大的好消息还是应该通知一下。最重要的是，这种事总不能明珠暗投吧？
于是苏沐橙先拨通了李建高的电话。
“喂，李叔。”
“橙子，有什么事吗？”
“也没啥，就是乔哥今天刚刚完成了哥猜的证明，我觉得应该跟您说一声。”
“证明了什么？哥猜？哥德巴赫猜想？”
“是啊，就是那个哥猜。”
“等等，乔泽什么时候开始研究数论的？”
“不是啦，乔哥就是今天那感觉脑子有些累，想休息下脑子，就换了个命题做做，然后发现用现在的乔代数能很容易解决这个问题。”
好吧，听到“很容易解决这个问题”李建高便知道跟小苏同学继续聊下去完全就是鸡同鸭讲了，便直接问道：“乔泽还在研究所吧？”
“嗯嗯，他说还要检查一下论文证明过程有没有漏洞，我去给他打饭呢。”
“我这就过去。”
“好的，我还打算给徐院长打个电话。”
“行，是应该通知一声。”
“那等会见。”
“好。”
……
挂了电话，苏沐橙莫名的开心起来。
立刻便又给徐院长拨了一通电话。
“小苏啊，怎么突然想到你徐伯伯了？”
这大概就是苏沐橙挺喜欢徐大江的原因，不管是打电话，还是见面，这位老伯伯总是那么和蔼可亲。
只是对面似乎有些喧闹，像是在饭局上。
“是这样的，刚刚乔哥完成了哥猜的证明，我想着您之前说了，乔哥如果做出了什么成果，一定要第一时间通知您一声，所以就给您打个电话说一声。”
“咳咳咳……”对面先是传来一阵剧烈的咳嗽声，好不容易顺了气才追问道：“哥猜？乔泽把哥德巴赫猜想证明了？”
“嗯呐，您也别太激动了。乔哥说了，用了乔代数的思想，不难的。”
“不难的？好吧，你跟乔教授说，我马上过去。”
“额……李叔也说马上过来，要不您先吃饭呗。我也正去给乔哥带饭呢。”
“没事，没事，这可是大好事！这样，我马上就过去，吃饭什么时候不能吃呢……嗯……不是，等我先过去在说吧。”
“哦，那等会见。”
“等会见。”
再次挂了电话，苏沐橙明白自己的好心情从何而来了。
她还真就是喜欢看旁人被自家乔哥震惊到不能自己的样子。
乔哥跟李叔什么都好，就是两人都太低调了些，不管做出什么成绩都不愿意宣传。
还是得有徐大江这样恨不得拿着大喇叭把好消息到处传播的院长才能让大家知道自家乔哥的实力有多强。
毕竟锦衣夜行有什么意思呢？