一个引理跟定理的证明过程是否存在瑕疵,有没有自相矛盾的错漏。
很艰难,但对于那些真正热爱数学的人来说,又乐在其中。
没办法,看人家编出的这些东西,是真会上瘾。
尤其是数学。
说起来给出一些云里雾里的定义很容易,但真的要逻辑自洽,其实很难。任何一个精彩的证明过程,都能让人流连忘返。而且只要证明的足够精彩,让人挑不出瑕疵,各种数学大奖就在向他招手。
曾经的超螺旋代数跟超越几何学就是如此。
虽然抽象,但更方便理解。
因为乔泽利用这两样新的数学工具解出了杨-米尔斯方程,并给出了质量间隙假设的证明。
顺着这个思路去看相关论文,总能豁然开朗。
但这次数学交织性的第一性原理,是大统一的前置性论文。虽然要解决的问题同样很明确,但却没有一个通解的例题能帮助理解。
如果再加上证明过程更为抽象,为了找到交织模式存在的证据,有时候需要不断的增加维度,来进行探索,就让整篇论文诸多定理的证明过程显得极为晦涩。
绝大多数肯定是看不懂的。
事实上,整个华夏大概也就只有那么几位研究数论的大佬能跟上乔泽的证明思路,然后拍案叫绝。
当然这些对于乔泽来说,本就没什么影响。
再厉害的论文发布之后都会有滞后性。所以发布了论文之后,他便安心的准备过年了。
虽然不太在乎节日,不过每年新年乔泽还是会给自己三天假期,在家陪陪路秀秀。
不过其实也不太需要他陪着,今年的乔家更为热闹。
为了方便照顾苏沐橙,学校分配的别墅又有足够的房间,苏妈早就住了过来。
苏妈住过来了,苏立行只要人在西林也会直接住在苏家。于是过年两家人住在一起,自然热闹了许多。
乔泽对于家里多了两个人并不敏感,反正他回家就是睡个觉。
但路秀秀还是很开心的。
毕竟以前家里就两个人,逢年过节的总是觉得很冷清。以前房子小也就罢了,现在住在大别墅里,人太少反而有些害怕。现在亲家住过来了,不止是更有人气,还多了些人能说说话。
尤其是还有个豆豆在,总能将两家人生活上一些不同习惯可能造成的小摩擦消弭于无形。
很自然的,豆豆在这个家里的腰杆子也能越来越硬了。
以前只有路秀秀跟苏沐橙的宠爱,现在还多了苏妈的宠爱。当然也可以理解为两边的大人正在拿豆豆小朋友练手,怎么去疼还在小苏同学肚子里的双胞胎。
过年这三天也没什么好说的。
跟去年差不多。
除夕当晚,两家人一起开开心心的吃了顿年夜饭。然后在客厅里守着电视机里的春晚,有一搭没一搭的聊着。
这个时候豆豆成了当之无愧的主角。
晚会没什么意思,豆豆可以化身演员,用各种节目来逗大人们的开心。各种段子说得飞起,整晚笑声就没断过。用苏妈的说法就是,春晚导演没让豆豆去现场跟全国观众见面,简直就是华夏春晚的一大损失。
当然这些话乔泽是没听到的,到了晚上十点,就带着小苏同学去休息了。
一方面是习惯使然,一方面则是小苏同学现在本就需要按时休息。
接下来的三天,乔家更是访客不断。
尤其是苏立行也住在这边,来访的也就不止是学校那些教授们,还有跟西林立橙生意上有着来往的各路商界跟政界大佬们。再加上乔泽现在还有了另一个官面身份——人工智能宪章局首任局长,家里自然更热闹了。
好在来访者大都清楚乔泽的性子,也知道过年期间,会来拜访的人很多,基本上就是坐下来随便聊几句就告辞走人,不然虽然别墅的客厅很大,也无法同时容纳那么多人。
乔泽这些天也习惯了当吉祥物,坐在客厅里听着苏立行热情的跟每一位来访者打交道。
又好在有豆豆帮着家里的人忙前忙后,倒茶、洗杯子,插诨打科,总算是维持了过年喜乐的气氛。
初三中午,爱德华·威腾跟彼得·舒尔茨也来拜访了乔泽。
学校给爱德华·威腾分配的房子足够大,四室两厅的格局一个人住太过空旷,所以热情的邀请了彼得·舒尔茨住到了一起。假期不但能一起在西林开地图,闲下来还能探讨一些问题。
所以这些天两人也一直是一起行动。
数学家们的见面没什么好说的。
话题很快便转到了大家最感兴趣的问题上。
于是几个人便到了乔泽书房聊了一下午。
差不多能算是提前半天开始进入工作状态。
晚上热情的两家人留着两位大数学家吃了顿