209教室空着的，许青舟还没进去，前方210教室里探出个脑袋，是个女生，戴着口罩。
对方招了招手，催促：“那位同学，搞快点！”
见女生的目标好像是自己，许青舟面色古怪，左右看了看，周围就两个大叔，好像只有自己一个人可以被称为“同学”，于是走过去。
“怎么就你一个人。”
女生扎着一个丸子头，把许青舟拉进教室，抱怨着。
她的额头上已经有一层细汗，先给许青舟递了一个口罩，“一个就一个吧，我都已经忙迷糊了，11点前要把这里全部打扫一遍，对了，你先把这两张桌子搬到那边去。”
邓泽尔估计要一会儿才回来，许青舟闲着没事，干脆戴着口罩，跟着干活。
除了数学学会筹备组的人外，还有金陵大学学生会之类的组织在帮忙，这姑娘应该是把他当成志愿者了。
第211章 简化推算过程
210教室。
许青舟听从丸子头女生的指挥，把多余的桌子搬到一旁，又拎着扫把跟着一起打扫。
“为什么现在才打扫卫生？”
“这里本来是堆放杂物的。”女生指了指旁边堆着桌子，无奈地说道：“不过，这次来的人好像比预想的多很多。”
许青舟点了点头，又听任楚君叹息一声，说：“这些人安排工作实在业余，海报和指引标识都不清楚，设备这些都是临时检查的...漏洞百出，太让人操心了。”
“你有什么想法？”许青舟笑了笑。
“当然是提前把所有流程都推一遍，工作责任到人...当然，最重要的是，考虑到一切可能遇到的变数。”
话匣子打开，女生就洋洋洒洒的说了一大堆。
听女生说得头头是道，许青舟忍不住指出：“所以，你为什么一个人在这里干活？”
“能者多劳，我可是未来要当主席的人，当然得亲力亲为啦。”
许青舟看着她不说话。
“...”
“好吧，其实是，我们部门的人都已经被老师安排出去了。”
从工作证上看出，这个女生叫任楚君，是学生会的宣传部副部长。不过，一直有一颗篡位当主席的心。
两人花费了20分钟时间，把教室从里里外外都打扫一遍，坐在椅子上休息。
任楚君给许青舟递了一瓶矿泉水，问道：“学弟，我看你有点眼熟，是哪个部门的？”
许青舟拧开瓶盖，道：“我不是学生会的。”
“哦？数学社的？”任楚君喝了口水。
许青舟摇头，喝水润完嗓子，“准确来说，我不是你们学校的。”
“哦，原来是....嗯？咳咳~”
任楚君被呛得咳了好一会儿，睁大眼睛盯着许青舟，惊呆了：“你...你不是我们学校的？”
咚~咚~
一位瘦高中年带着两个学生走进来，打量着教室，有点诧异：“小任，你们都打扫完了，速度够...”
中年的声音戛然而止，看着许青舟：“许青舟？”
这人正是刚才带邓泽尔去接朋友的老师。
“嗯。”许青舟笑着点头，起身，“邓泽尔他们到了？”
“到了。”中年回答，脑子没转过来。
许青舟转头看着任楚君，扬了扬矿泉水：“那我先去忙，这瓶水，就当酬劳了。”
说完，拿着旁边的文件包，走了。
一个男生表情佩服：“学姐，你居然把大神拉来打扫卫生了！”
“学姐，从今天开始，你就是我的偶像！”
另一个男生也是说道。
“...”
任楚君欲哭无泪，在这一刻，她觉得自己的主席梦好像破碎了。
这头，许青舟来到隔壁的209，除了邓泽尔外，还多了三个老外。
“许，我给介绍一下，这位是我的同事斯塔文·杰尔，而这位美丽的女士，是格丽丝·艾海提，来自普林斯顿。”
“你们好。”许青舟说道，这三个人都30左右的样子。
“其实我知道还有很多人都想来听你精彩的报告。”邓泽尔耸了耸肩，说道：“很遗憾，你们夏国的签证太难办理了。”
格丽丝说道：“对，和这些人相比，我们是幸运的。”
许青舟笑了笑，邀请大家坐下，这个时候，隔壁的任楚君却苦着脸走进来。
把嘉宾拉来干活，虽然说老师没批评，但估计要被人笑很久。
“你怎么来了？”许青舟问。
任楚君让自己打起精神，说道：“老师派我来这里当工作人员，帮着你打打杂之类的。”
“那麻烦你帮我把这块黑板擦一下。”见任楚君有些拘谨，许青舟想着让她做点事，免得不自在。
“好。”
任楚君没时间纠结，开始干活。
“许，关于你论文第45页到46页之间的这个公式，能详细说说吗？”
斯塔文已经翻开孪生素数证明的论文，迫不及待地问。
许青舟看了一眼论文，思索几秒，站起身：“直接计算素数计数函数的值非常没有效率，所以我用到了素数定理。”
“根据Rosser和Schoenfeld在1962年做的数值研究，可知x≥114514时...”
他一边说着，一边在黑板上写下一排公式。
两分钟过后，斯塔文若有所思，最后眼前亮了亮，评价道：“嗯，这一步做得非常完美。”
任楚君搬了根凳子，在旁边看着，本来还想多听听，长点见识。
可许青舟用的是全英文，那些专业术语很快就让她听迷糊了，索性当一个没感情的工具人。
许青舟示意一下，她就拿着擦子把黑板擦干净。
“其实，我的问题是关于克拉梅尔定理的。”格丽丝开口。
“嗯，请讲。”
“素数差值间距的函数相邻迭代表达式这里，你是如何p n+1 -p n =（pn/n）^2 =（nlnpn/n）...”
“这里，需要先证pn+1 -p n =2k...”
许青舟一点点给对方解释。
30分钟一晃而过，教室里多了8个人，坐在左侧的是一位白发苍苍老先生。
老先生笔尖轻轻点了几下，“许青舟同学，在第48个式子，m!∣Psim 2C_2 frac{x}{(ln x)^2，是不是可以被放缩成m!∣P(z)=>(m，P′...”
许青舟立刻打起精神，认真听对方的阐述。
这位老先生叫王一元，科学院院士，他首先在夏国将解析数论中的筛法用于哥德巴赫猜想的研究，证明了2＋3，这是夏国学者首次在这一研究领域跃居世界领先地位。
在夏国，乃至在世界上都算得上是泰山北斗。
许青舟也把公式写下来，验算一遍，发现整个运算过程的确简单很多，道谢：“王老，谢谢您的思路。”
老先生摇了摇头，又继续低下头，做着推算。
这个地方许青舟当初就是简单地过了一道，能推算出自己要的结果，他就没管了。
他完整地证明孪生素数猜想，但无论是数学还是物理学，每一年都会有日新月异的变化。
就像当初张益唐证明了素数间隔小于七千万一样，建立一个框架，数学家们根据这个框架不断改进他的办法，成功把7000万缩小到246。
安德鲁·怀尔斯对费马大定理的证明虽然被誉为数学史上的杰作，但他在原始证明过程复杂且冗长，涉及了深邃的数学理论，如椭圆曲线、模形式和伽罗瓦表示理论等等。
在后续，数学家们减去冗杂，重新排列证明中的引理和定理，使用更高维的代数簇或更复杂的椭圆曲线族来替代原有的椭圆曲线。
除了这些，那些在数学界比较经典的理论同样也在被改进，比如原始的黎曼函数R(x)是定义在区间[0，1]上的一个特殊函数。
有人证明了黎曼函数在(0，1)内的所有无理数点处连续，在所有有理数点处间断，但每一点处都存在极限且极限为0。
还有微积分，漫长的时间中，数学家们引入了极限理论来严格定义微分和积分，解决了微积分学在诞生初期存在的逻辑不严密问题。
......
第212章 有人搞事情？
中午11点40。
许青舟虽然有点意犹未尽，但不得不停下，不过也加了十几位教授的联系方式，包括让他受益良多的王一元老先生。
吃完午饭，回到酒店，给宋校花发消息，汇报自己的情况，随后把上午的知识点整理好，休息半小时，才慢悠悠地去会场。
下午的报告会是来自中山大学罗远明教授，解析数论方面的内容。
听完讲座，许青舟直接去了209教室，在门口把小组讨论的主题写写下来。
经过上午交流会，他也发现个问题，人太多，导致根本就没法像其他讨论小组一样好好交流。
他干脆学着其他讨论小组，把主题写下来：克拉梅尔定理和素数间隙讨论。
22号会做孪生素数猜想的相关报告，这个可以暂时放下。
下午，王一元老先生仍然在。
许青舟重点讲解自己的数学模型构造细节，趁着休息喝茶的功夫，又和王老先生聊起来。
“我也一直在思考，能否将现代计算机强大的计算能力引入到素数间隔的研究中，通过大规模的数据模拟和算法优化，来发现素数间隔的潜在规律。”
望着许青舟，王老先生赞许地点头，用闲聊的口吻说道：“毕竟，数据是数学研究的重要基石，而现代计算机技术正是我们挖掘数据宝藏的利器。”
许青舟谦虚地说道：“我也只是站在前人肩膀上解决的问题。”
王老先生问：“既然证明了孪生素数猜想，你接下来是不是准备攻克波利尼亚克猜想了？”
“是有这个想法。”许青舟点头。
“有冲劲儿是好事，咱们夏国就需要多点你这样的年轻人。”
说着，王老先生无奈：“很遗憾，我对素数领域只是感兴趣，研究时间比较短，并不能给你提供太多这方面的帮助。”
“您已经给了我很多启发了。”许青舟摇头，并不是恭维，这位老先生指出的三处地方，都可以进行相应修改。
王老先生笑了笑，说道：“不过，在其他事情上，我这把老骨头还是能发挥点余热的。”
“其他地方？”