顶点小说 > 科幻小说 > 我一心科研,你却想骗我谈恋爱? > 第二百一十一章 简化推算过程
    210教室。

    许青舟听从丸子头女生的指挥,把多余的桌子搬到一旁,又拎着扫把跟着一起打扫。

    “为什么现在才打扫卫生?”

    “这里本来是堆放杂物的。”女生指了指旁边堆着桌子,无奈地说道:“不过,这次来的人好像比预想的多很多。”

    许青舟点了点头,又听任楚君叹息一声,说:“这些人安排工作实在业余,海报和指引标识都不清楚,设备这些都是临时检查的漏洞百出,太让人操心了。”

    “你有什么想法?”许青舟笑了笑。

    “当然是提前把所有流程都推一遍,工作责任到人当然,最重要的是,考虑到一切可能遇到的变数。”

    话匣子打开,女生就洋洋洒洒的说了一大堆。

    听女生说得头头是道,许青舟忍不住指出:“所以,你为什么一个人在这里干活?”

    “能者多劳,我可是未来要当主席的人,当然得亲力亲为啦。”

    许青舟看着她不说话。

    “.”

    “好吧,其实是,我们部门的人都已经被老师安排出去了。”

    从工作证上看出,这个女生叫任楚君,是学生会的宣传部副部长。不过,一直有一颗篡位当主席的心。

    两人花费了20分钟时间,把教室从里里外外都打扫一遍,坐在椅子上休息。

    任楚君给许青舟递了一瓶矿泉水,问道:“学弟,我看你有点眼熟,是哪个部门的?”

    许青舟拧开瓶盖,道:“我不是学生会的。”

    “哦?数学社的?”任楚君喝了口水。

    许青舟摇头,喝水润完嗓子,“准确来说,我不是你们学校的。”

    “哦,原来是嗯?咳咳~”

    任楚君被呛得咳了好一会儿,睁大眼睛盯着许青舟,惊呆了:“你你不是我们学校的?”

    咚~咚~

    一位瘦高中年带着两个学生走进来,打量着教室,有点诧异:“小任,你们都打扫完了,速度够.”

    中年的声音戛然而止,看着许青舟:“许青舟?”

    这人正是刚才带邓泽尔去接朋友的老师。

    “嗯。”许青舟笑着点头,起身,“邓泽尔他们到了?”

    “到了。”中年回答,脑子没转过来。

    许青舟转头看着任楚君,扬了扬矿泉水:“那我先去忙,这瓶水,就当酬劳了。”

    说完,拿着旁边的文件包,走了。

    一个男生表情佩服:“学姐,你居然把大神拉来打扫卫生了!”

    “学姐,从今天开始,你就是我的偶像!”

    另一个男生也是说道。

    “.”

    任楚君欲哭无泪,在这一刻,她觉得自己的主席梦好像破碎了。

    这头,许青舟来到隔壁的209,除了邓泽尔外,还多了三个老外。

    “许,我给介绍一下,这位是我的同事斯塔文·杰尔,而这位美丽的女士,是格丽丝·艾海提,来自普林斯顿。”

    “你们好。”许青舟说道,这三个人都30左右的样子。

    “其实我知道还有很多人都想来听你精彩的报告。”邓泽尔耸了耸肩,说道:“很遗憾,你们夏国的签证太难办理了。”

    格丽丝说道:“对,和这些人相比,我们是幸运的。”

    许青舟笑了笑,邀请大家坐下,这个时候,隔壁的任楚君却苦着脸走进来。

    把嘉宾拉来干活,虽然说老师没批评,但估计要被人笑很久。

    “你怎么来了?”许青舟问。

    任楚君让自己打起精神,说道:“老师派我来这里当工作人员,帮着你打打杂之类的。”

    “那麻烦你帮我把这块黑板擦一下。”见任楚君有些拘谨,许青舟想着让她做点事,免得不自在。

    “好。”

    任楚君没时间纠结,开始干活。

    “许,关于你论文第45页到46页之间的这个公式,能详细说说吗?”

    斯塔文已经翻开孪生素数证明的论文,迫不及待地问。

    许青舟看了一眼论文,思索几秒,站起身:“直接计算素数计数函数的值非常没有效率,所以我用到了素数定理。”

    “根据Roer和Schoefeld在1962年做的数值研究,可知x≥114514时.”

    他一边说着,一边在黑板上写下一排公式。

    两分钟过后,斯塔文若有所思,最后眼前亮了亮,评价道:“嗯,这一步做得非常完美。”

    任楚君搬了根凳子,在旁边看着,本来还想多听听,长点见识。

    可许青舟用的是全英文,那些专业术语很快就让她听迷糊了,索性当一个没感情的工具人。

    许青舟示意一下,她就拿着擦子把黑板擦干净。

    “其实,我的问题是关于克拉梅尔定理的。”格丽丝开口。

    “嗯,请讲。”

    “素数差值间距的函数相邻迭代表达式这里,你是如何pbp+1bp-pbpbp(p/)^2bp(lp/).”

    “这里,需要先证p+1bp-pbpbp2k”

    许青舟一点点给对方解释。

    30分钟一晃而过,教室里多了8个人,坐在左侧的是一位白发苍苍老先生。

    老先生笔尖轻轻点了几下,“许青舟同学,在第48个式子,mP\mbp2C_2bp\frac{x}{(\lbpx)^2,是不是可以被放缩成mP()(m,P′.”

    许青舟立刻打起精神,认真听对方的阐述。

    这位老先生叫王一元,科学院院士,他首先在夏国将解析数论中的筛法用于哥德巴赫猜想的研究,证明了2+3,这是夏国学者首次在这一研究领域跃居世界领先地位。

    在夏国,乃至在世界上都算得上是泰山北斗。

    许青舟也把公式写下来,验算一遍,发现整个运算过程的确简单很多,道谢:“王老,谢谢您的思路。”

    老先生摇了摇头,又继续低下头,做着推算。

    这个地方许青舟当初就是简单地过了一道,能推算出自己要的结果,他就没管了。

    他完整地证明孪生素数猜想,但无论是数学还是物理学,每一年都会有日新月异的变化。

    就像当初张益唐证明了素数间隔小于七千万一样,建立一个框架,数学家们根据这个框架不断改进他的办法,成功把7000万缩小到246。

    安德鲁·怀尔斯对费马大定理的证明虽然被誉为数学史上的杰作,但他在原始证明过程复杂且冗长,涉及了深邃的数学理论,如椭圆曲线、模形式和伽罗瓦表示理论等等。

    在后续,数学家们减去冗杂,重新排列证明中的引理和定理,使用更高维的代数簇或更复杂的椭圆曲线族来替代原有的椭圆曲线。

    除了这些,那些在数学界比较经典的理论同样也在被改进,比如原始的黎曼函数R(x)是定义在区间[0,1]上的一个特殊函数。

    有人证明了黎曼函数在(0,1)内的所有无理数点处连续,在所有有理数点处间断,但每一点处都存在极限且极限为0。

    还有微积分,漫长的时间中,数学家们引入了极限理论来严格定义微分和积分,解决了微积分学在诞生初期存在的逻辑不严密问题。