我只想当一个安静的学霸

    沈奇竖起手指：对数学发誓，我这辈子只爱欧叶一人！

    发誓有个屁用，要用心去做！老欧呵斥道，但他也看的出来，沈奇对欧叶是真心的。

    老欧抽出一支万宝路递给沈奇，这是他第一次给沈奇递烟：抽烟吗？

    沈奇摆手道：不会不会，抽烟有害健康，欧叔叔你也少抽点儿。

    不抽烟好。老欧将香烟装回烟盒，又问：喝酒吗？

    偶尔喝点小酒。

    那我就放心了，吃喝嫖赌抽，男人总得沾一样，你要一样都不沾，整天读书装的像个圣人似的，那我会觉得你有大问题。老欧考察沈奇的方式比较特别，算是终审通过了吧，不过也得过，欧叶已经来美国了。

    次日，老欧夫妻俩离开了美国，他们将通过不定期的飞行检查和电话抽查方式，对沈奇立下的承诺进行有效监督。

    哥大女生宿舍，欧叶的房间。

    来，抱抱，小叶子。沈奇抱着欧叶一番宠幸。

    唔先洗澡坏蛋我爸妈刚走

    你知道吗，小叶子，我马上又要命名一个新定理了，沈氏近迫定理。

    好厉害

    你不在我身边，我命名一百个定理也没意义。感谢老天，你终于来了，我们一起做个沈欧方程，好不好？

    好的呀哪方面？

    丢番图方程你最擅长，我们从丢番图方程入手好不好？

    唔今天最多只解一次方程二次以上的方程臣妾做不到

    沈奇在欧叶的宿舍过了一夜，小情侣一年未见自是特别亲热，解方程心有灵犀无需多表。

    欧叶的身体状况最多只能解一次方程，沈奇了解欧叶，他有分寸。

    技巧运用合理的解方程有利于巩固数学情侣关系，也能促进血液循环和新陈代谢。

    天亮之后，沈奇带欧叶去见欧叶的导师龚长伟。

    哥大，倒像是你的主场。欧叶牵着沈奇的手，她才是哥大数学系的正式学生，沈奇是学生家属。

    我跟龚教授很熟，一起开过会，他还当过我的审稿人，沃什猜想是他验证通过的。沈奇和欧叶手牵手走进了哥大数学系大楼，见到了数论专家龚长伟教授。

    师兄，龚大教授，欧叶就拜托你了，你在数学方面特别是数论方面要多多指导她。沈奇说到。

    我们哥大的内部业务，还用你们普大操心？龚长伟笑道。

    常春藤八校是一家，你中有我，我中有你。沈奇也笑了。

    嗨，欧叶，你好，我们在视频上面试过，不算陌生人。龚长伟跟欧叶打招呼。

    欧叶礼貌的回答：龚教授好，多多指教。

    龚长伟交待了一些哥大数学系研究生的基本学业要求，跟普大差不多，欧叶需要上课助研写论文，快则一两年，慢则三五年能获得哥大数学硕士学位。

    离开数学系大楼后，欧叶依依不舍的对沈奇说：奇，你赶紧回普大吧，最近耽误你太多学业。

    普大的博士研究生都是放养的，要求只有一条，每周三喝咖啡。沈奇说到，但我还是得先回普大了，我没什么可耽误的，我怕的是耽误你的学业。毕竟你初来乍到，学业繁重，需静心一段时间才能找到学术状态。

    欧叶点点头：嗯，我会努力的。

    那我走了，一个月之内我不会再来哥大，一个月之后我来看你。沈奇跟欧叶吻别，遂驾车返回普林斯顿。

    普林斯顿到哥伦比亚大学一个多小时的车程，不远不近吧，有车的话还算方便。

    沈奇确实没什么可耽误的，他在圣诞之前已经搞定了普大博士毕业的一切准备素材，他现在就是等着博士毕业答辩了。

    虽然没有硬性的要求，沈奇还是想做点有意义的事情，他开始起草《数论史，这是他的兴趣爱好，不是获取phd的必要条件。

    数论研究的是纯数，因为她纯净高贵的出身，被誉为数学女王。

    数论可以分为两个主要分支，其一是研究方程式的解，即丢番图方程，这个分支的历史可追溯到大约两千年前，创始人是希腊大数学家丢番图。

    费马安德鲁怀尔斯法尔廷斯等大师都曾在这个领域做出贡献，著名的丢番图方程包括费马大定理卡塔兰定理bsd，其中前面两个已被证明，bsd难到变态，是七个千禧难题之一。

    由沈奇完成证明的沃什猜想也属于丢番图系列方程，沃什猜想已在一年前更名为沃什定理，可被直接引用。

    数论的另一个分支是解析数论，由高斯黎曼欧拉狄利克雷外尔等大师联手创立。

    解析数论中的著名案例包括高斯三角和定理欧拉五角数定理狄利克雷的两个素数问题证明外尔指数和公式哥德巴赫猜想黎曼猜想等等。

    绝大多数著名的解析数论问题已被解决，仅剩哥德巴赫猜想和黎曼猜想有待攻克。

    沈奇尝试从数论发展史的角度，更深刻的理解丢番图方程和解析数论。

    强行进攻攻到吐，不如从历史上的数学大师们身上找点灵感吧。




259章 还是方程
    写一部带有专业理论色彩的数论史书，是一个浩大的工程，非朝夕之功。

    沈奇有灵感就写几个字，他不着急，慢工出细活。

    又到了周三的咖啡时间。

    沈奇在数学系三楼咖啡厅和几位博士研究生聊天。

    乔纳斯，从去年九月到现在二月份，我第一次在咖啡厅见到你，要知道我从没缺席过任何一次周三咖啡时间。沈奇说到。

    乔纳斯也是一位博士研究生，今年是他呆在普林斯顿的第九个年头。

    一年多前，沈奇来普大读研究生时，乔纳斯是博士研究生。

    极有可能在几个月之后沈奇拿到phd，乔纳斯还是博士研究生。

    我有资格来喝咖啡，不是吗？乔纳斯笑道。

    当然。沈奇点点头，又问另一位博士研究生：克里斯，你研究的课题进度怎样？

    克里斯，他非常神秘而且特别认真的说到：哥德巴赫猜想1+1问题即将被我解决。

    哦，是吗？沈奇将信将疑，如果克里斯所言不假，那么这将是一个震惊数学界的爆炸性新闻。

    你呢，塞巴斯蒂安，你在研究什么课题？沈奇问一位头发很卷的博士研究生。

    塞巴斯蒂安淡淡一笑：我想我已经找到了一个通解，对任何紧的单的规范群，这个解满足四维欧氏空间中的杨米尔斯方程组。

    你太了不起了，塞巴斯蒂安。沈奇虽然口头恭维塞巴斯蒂安，但内心中存疑。

    找到这个通解，意味着从数学上完全解释了困扰人类科学家几十年的千禧难题之一：杨米尔斯方程组。

    今天是什么好日子，克里斯宣称他即将解决哥猜1+1，塞巴斯蒂安说他已经解决了杨米方程组。

    这俩博士研究生究竟是才华盖世，还是牛逼吹上了天？

    需要进一步验证。

    沈奇还是有点紧张的，如果哥猜和杨米方程组真的被克里斯塞巴斯蒂安这两个韬光养晦好几年的家伙搞定了，那么他俩将成为当今最耀眼的学术明星。

    逼的数量是有限的，人家多装一个逼，自己就将少装一个逼。

    沈奇询问到：塞巴斯蒂安，可以展示一下杨米方程组的通解吗？当然，你有权不这么做，如果你的研究成果尚未发表的话。

    我很乐意这么做。塞巴斯蒂安端着咖啡杯起身，拿粉笔在黑板上写了起来。

    普大数学系咖啡厅跟外面那些妖艳咖啡厅不一样，这里的墙壁上挂着若干块黑板，客人们若是来了灵感，可以在黑板上即兴发挥。

    塞巴斯蒂安一边喝着咖啡，一边解着杨米方程组，悠然自得，成竹在胸。

    这沈奇的心提到了嗓子眼，塞巴斯蒂安运用到了对称群的处理方法，这个思路是对的，难道他确实找到了杨米方程组的通解？

    在一个极其普通的星期三，杨米方程组就这么被破解了？

    普林斯顿，果然是卧虎藏龙之地！

    很快的，塞巴斯蒂安写出他的答案：duiΘui8taaug

    哇喔！塞巴斯蒂安，你太伟大了，今年的菲尔兹奖是你的！克里斯鼓起了掌。

    你同样杰出，克里斯，菲尔兹奖是我们的。塞巴斯蒂安冲克里斯一笑，柔情万种。

    我噗沈奇一口咖啡差点喷出来，他敲了敲黑板，十分质疑的说到：塞巴斯蒂安，你可别逗我，我绝不相信黑板上写的是杨米尔斯方程组的通解，这就是个协变导数的定义而已！不过你前面的对称群处理还是蛮有趣的，仅从数学上来说，有一定的原创思想及学术价值

    黑板上的空白处太少，我只能写出这么多，总而言之我的核心思想全写在黑板上，你能看懂多少算多少吧。塞巴斯蒂安摊手说到，然后坐回克里斯身边。

    这是一件不可思议的事情，世界上最精确的物理学理论建立在无人理解的方程组上，这个方程组至今没有一个人能求出通解。

    沈奇也没见过杨米方程组的通解长啥样，世界上没人见过，包括杨米方程组的创立者杨振宁和米尔斯。

    但只要具备基础的数学系研究生知识储备，以及对麦克斯韦方程组薛定谔方程广义相对论有一定的了解，就能立马判别出塞巴斯蒂安写的答案跟杨米方程组的通解无关。

    乔纳斯，你怎么看塞巴斯蒂安关于杨米尔斯方程组的解答？沈奇问乔纳斯。

    抱歉，我看不懂，这和我的专业不对口。如果克里斯能写出哥德巴赫猜想1+1问题的解决方案，我想我能给出意见。乔纳斯的专业是数论，他对克里斯宣称的哥猜1+1问题即将被解决表示关注。

    沈奇继续研究黑板上的推导过程及结论，他觉得塞巴斯蒂安是在瞎特么忽悠，但也有可能塞巴斯蒂安是对的，自己的物理水平才6级，或许没能深刻体会到杨米方程组的真谛？

    杨米方程组不是单纯的数学问题，它是由物理学家提出的物理学理论，物理学家构建了粒子物理学的标准模型，但他们无法从数学角度予以解释。

    打个比方，一个小朋友凭借超群的空间构建天赋，用几百块积木搭建了一座无懈可击的城堡，他会搭积木，在实践中也做的很完美，但小朋友无法从空间几何学原理上说明，为什么要这么搭积木？能否从理论本质上给出解释，这种搭建方案是全球最优的？

    这个小朋友就是物理学家，他去问他的老爸数学家，爸比，我需要一个数学解释，来证明我搭建的城堡是世界上最好的城堡。

    数学家老爸也懵逼了，他水平有限，他只知道结果，但无法给出原理性的解释。

    杨米方程组大概就是上述情况，杨米方程组在无法确定通解的情况下依然可以使用，并被使用了几十年也没掉过链子，但没有通解的方程组始终不让人百分百安心，万一在某种极小概率的情况下，它掉链子了呢？

    跟杨米方程组类似的还有ns方程。

    人类在尖端理论无法取得突破的情况下，依然可以高速发展应用，然而搞理论研究的人始终还是想把基础理论研究透彻。

    沈奇被塞巴斯蒂安搞的有点动摇了，就在这时，坐在角落位置冷眼旁观的爱德华威腾开口了：塞巴斯蒂安，你太让我失望了，这就是你四年博士研究生的成果？



260章 每逢周三装个逼
    随着杨米尔斯理论的发展，物理学家雄心勃勃的尝试使用非阿贝尔群规范理论，来统一电磁力核力和引力，从而完成他们向往已久的大一统伟业。

    然而在量子力学中，每个粒子都可以看成是一种特殊类型的波，因此无质量这一特性成为了大一统理论的症结。

    实验计算机模拟和某些理论计算使物理学家们相信，对于真空激发，一定存在一个质量缺口，即不存在无质量的粒子波。

    质量缺口这个性质也解释了，为什么强力只能在如此短的距离内起作用。

    这便是杨米尔斯理论和质量缺口假设的来源，只不过至今无人可以得到杨米方程组的通解，以严格证明质量缺口这个关键的性质。

    今天，星期三，阳光明媚，普林斯顿数学系博士研究生塞巴斯蒂安，宣称他解决了杨米尔斯理论和质量缺口假设。

    威腾教授无语的笑了，觉得滑稽。

    沈奇心说，是啊，威腾教授都搞不定的问题，你一博士研究生能搞定？开什么国际玩笑。

    什么样的数学问题最好的体现了对理解量子场论的挑战？威腾问几位博士研究生。

    塞巴斯蒂安回答到：在物理学中占据中心地位，代表了qft的困难。

    沈奇补充说明：并且在数学上是重要的。

    威腾点点头说到：对我来说，具备以上几点的一个显著问题是，证明在re四次方以上的，以一个紧的单的非阿贝尔李群g为规范群的量子杨米尔斯理论的有解性，以及质量缺口假设的正确性。

    然而塞巴斯蒂安，你写在黑板上的这堆符号，仅仅代表万千数学处理方式中的一种，对证明质量缺口假设起不到一丝作用。不过话说回来，你毕竟做出了努力，希望你能更深刻的了解qftqedqcd之后，再对质量缺口假设发起挑战。威腾教授批评了塞巴斯蒂安几句，随后也进行了鼓励。

    可以客观公正地否定学生的研究成果，但不能毁灭性地打击他们的学术积极性，二者如何权衡，这个技巧需要学科带头人自己把握分寸。

    qft即量子场论，qed是量子电动力学，qcd代表量子色动力学，三个q都挺难的，在深刻理解三个q的前提下，并具备超强的数学处理技巧，才有可能解决杨米尔斯理论和质量缺口假设。

    解决了杨米尔斯理论和质量缺口假设，物理学的大一统便在理论层面取得成功，至于能带来怎样的应用突破，目前尚无法评估。

    这就是杨米尔斯理论和质量缺口假设这个千禧难题的重要意义所在。

    被威腾教授批评了，塞巴斯蒂安感到沮丧，但他依旧抬起骄傲的头颅：我会继续努力，五年内必将彻底解决‘杨米尔斯理论和质量缺口假设’，是的，我相信我能做到。克里斯将和我一起努力，他前不久在《数学学报上发表了一篇论文，如果我是‘杨’，那克里斯就是‘米尔斯’。