催促完许青舟,王霞萍抓紧时间去买菜。
砰~
客厅传来关门声音。
许青舟摇摇头,给宋瑶发消息,问她什么时候到,扫视着桌上厚厚的稿纸。
这次他带回来的手稿大约有两百多页。
他其实也不算是吹牛,手稿确实很珍贵。当然,如果能证明黎曼猜想,这些手稿更是无价之宝。
就比如黎曼放在哥廷根大学图书馆的手稿,在黎曼去世之后,都有无数数学家和历史学家去研究。
不过,只能说满怀希望而去,两手空空的回来。
因为手稿内容天马行空,无数论题交织混在一起。
这也正常,就连许青舟手头的这些东西,如果没有他亲自解释,或者加些备注,估计也没几个人能看懂逻辑。
自从黎曼猜想出来之后,数学家前仆后继,希望能破解谜团。
在黎曼论文发表之后的第44个年头,数学家格拉姆计算出黎曼ζ函数前15非平凡零点,使用的是欧拉-麦克劳林公式。
接着又到1925年,经过哈代、利特尔伍德等人的努力,也才计算出138个零点。
直到1932年,数学家西格尔终于在黎曼天书般的手稿里找到了蛛丝马迹——关于黎曼函数非凡零点的计算方法。
这就是许青舟前面还在进行改进的黎曼-西格尔公式。
到了现在这个阶段,计算机已验证超过15亿个非平凡零点满足实部12的性质,但仍然无法穷举所有情况,数据结果虽然支持猜想成立,可这无法代替数学证明。
难啊。
“呼~”
许青舟揉了揉太阳穴,把手稿放下,桌上的手机屏幕亮起,宋瑶发来消息。
...
下午四点。
咚~咚~
敲门的声音把许青舟从计算中拉回来。
开门。
“你们怎么一起的?”
他望着门口两个提着菜的女人,愣了一下。
“路上遇到的...你瞧瞧你...整天就知道待家里,胡子拉碴的。”
王霞萍本来还觉得没什么,可和宋瑶一比,忽然觉得自己儿子和宋瑶完全是两个图层。
高考啊,获奖之类的不算什么,臭小子能找到小瑶这样的女朋友,可能真是祖坟冒青烟了。
王霞萍心中感慨。
宋瑶倒是习惯了,这家伙以前在家里宅了好几天之后,比现在还邋遢。
“在家刮什么胡子。”
许青舟小声嘀咕,把门合上。
这头,王霞萍和宋瑶把菜拎进厨房。
“不用不用,小瑶,你先和青舟坐,那个菜,我等会儿再教你。”
王霞萍把宋瑶推出来,这闺女打扮得这么好,而且嫩得能掐出水一样,一直在厨房容易弄得全是油烟味,等学菜的时候再进去。
“先坐吧。”许青舟拉着宋瑶坐下。
宋瑶四周看了看,问:“许叔呢?”
“找朋友下棋去了。”
许青舟往宋瑶身旁凑了凑,几天不见,想在宋瑶脸上叭上一口。
宋瑶推了推他,和他保持安全距离,这是在许青舟家里呢,动手动脚地像什么话,万一被王阿姨看到...
“你嫌弃我?”许青舟幽怨。
“嗯。”
宋瑶点点头。
“...”
“好吧,其实我有大事。”
许青舟压低声音,神秘兮兮地说。
“什么大事?”
宋瑶皱鼻,半信半疑,总觉得这货肯定没什么好事。
许青舟凑近了点。
宋瑶这次没有躲,竖着耳朵,想听许青舟有什么大事,然后就听着这人悄悄咪咪地道:“咱们去卧室,我给你看二喵后空翻的视频。”
砰~
王霞萍拿着锅铲从厨房出来,表情古怪:“你们有没有听到什么声音?”
“没有。”
宋瑶端着地坐着,转头瞧着许青舟:“你听到了?”
“没。”
许青舟违心地摇头。
“看来是上年纪了...”王霞萍笑着摇头,“青舟,打电话给你爸,让他回来吃饭了,整天就知道在外边。”
“阿姨,我来帮你。”
“你这...好吧,来,把围裙穿上,别弄脏了衣服。”
客厅就剩下许青舟一个人。
“咝~这妮子哪来的这么大力气...”
......
第431章 男朋友越来越变态了
2月22日。
在家过了一个年,两个年轻人在家人依依不舍的目光中搭上飞往美国的飞机。
调整完时差,都开始忙自己的工作。
宋瑶在协助莫顿教授进行为Miracle Life公司的政策穿透性分析,建立政策响应模型,量化监管趋严或补贴退坡对营收的冲击,也就是DRG/DIP支付改革对医疗产品线的利润率影响测算。
除了这个,宋瑶还开始准备写第二篇论文。
《生物医药研发项目的实物期权定价:基于Miracle Life公司mRNA疫苗产线的贝叶斯-蒙特卡洛模拟》
她打算将传统DCF模型与实物期权理论结合,量化研发失败风险对项目价值的影响。
至于许青舟,用了9天时间把Z(t)公式的敛散性质与误差估计,目前正在想办法通过狄利克雷多项式计算黎曼ζ函数非平凡零点分布的上界。
不过,有些小难。
回来的第三天,许青舟去了罗伯茨教授那边一趟。
“许,新年快了(乐)。”
霍尔恩用蹩脚的中文问好。
“新年快乐。”许青舟很欣慰,这家伙终于喊对名字了。
“来,尝尝我做的新咖啡,埃塞豆,为了不让高温烘焙破坏豆子里的风味物质,我采用中浅度烘焙,没有苦味析出...”
罗伯茨教授说道:“我们刚好遇到个难题,不知道你有没有兴趣一起研究。”
“当然。”
许青舟点头,来之前本来就想着看看罗伯茨教授他们研究到哪一步了。而且,他还挺喜欢这种大家在一起头脑风暴的感觉。
罗伯茨教授指着一侧的白板:“是分布式计算的一个环节,分布式集群中节点故障概率随规模增大而升高,重新计算故障节点的分片数据就会有显著延迟训练进程。”
于是,许青舟一天时间都呆在办公室和罗伯茨教授他们讨论计算问题。
“这里可以利用历史梯度估计丢失参数,设节点k在时间( t )故障,其隐向量( u_k )可通过相邻节点梯度插值恢复。”
许青舟在白板上写下几个公式。
【[ u_k^{t+1}= u_k^t -eta left(frac{1}{|N(k)|}sum_{j in N(k)}nabla u_j^t right)]】
“嗯,允许滞后节点直接拉取最新全局参数( W^t ),跳过中间梯度。”
罗伯茨教授微微点头,在旁边补充:“[ W_{lag}^{t+1}= W^t -eta nabla m...”
霍尔恩望着两人你一言我一语,表情古怪,怎么...自己成配角了?
他瞅了瞅许青舟,又是一阵叹息。
好吧,在这个人面前,当个配角也无所谓。
“嗨,霍尔恩,不介意的话,去隔壁借块白板来。”
“没问题!”
...
许青舟是晚上6点才到家,回去的时候宋校花把晚饭都做好了。
晚上7点。
许青舟洗完碗出来,就瞧见宋校花躺在沙发,两只洁白的脚丫子一晃一晃的。
又是这样,这妮子是不知道自己有多大的诱惑力是吧。
见许青舟坐下,宋瑶下意识地把脚塞到他怀里,“阿姨他们已经把腊肉和香肠那些寄过来了。”
“肯定又寄了一大堆。”许青舟叹息说道。
他低头打量着宋校花的腿。
线条完美,修长而匀称。
嫩到稍微用点力气,轻轻掐一下就会出现一道红印。
完美啊。
这妮子打字的时候,玉足娇嫩的脚趾时不时地动几下。
许青舟领悟到想到以前刷短视频,为什么那些老色皮经常刷什么嗦一口之类的。
确实挺诱人。