(),
诺贝尔奖的颁发,是一场盛宴,也打乱了徐川的一些研究安排。
尽管他本人对这个并不是很在意,但这终究是诺贝尔奖,影响力是世界所有奖项中最大的一个。
亲朋好友的祝贺,各大媒体的采访,各种交际应酬之类的事情,让他忙乱了好几天的时间。
不过随着时间的流逝,新的热点取代旧的热点,他的生活又逐渐的安稳了下来。
这阵子,虽说忙乱,但徐川也趁机了解了一些外界,主要是数学界的发生的事情。
自从菲尔兹奖颁发后,他就暂时的离开了数学界,开始了应用之旅。
但作为这辈子主要的研究方向,数学界的大事,他是必须要了解清楚的。
截止到今年十月初,数学界发生两件较大的事情。
第一件是前不久才获得了菲尔兹奖的日耳曼数学教授彼得·舒尔茨和歌德大学的雅克比·斯提克斯教授共同发文称:
“他们在樱花国数学教授‘望月新一’证明abc猜想的论文中发现了一个“严重的、无法修复的差错。”
2012年,樱花国数学家望月新一宣布,他证明了世纪难题‘abc猜想’。
但在那之后的整整六年时间里,仅有为数不多的几名数学家表示自己看懂了望月的证明并且表示赞同。
而绝大部分数学家面对望月新一冗长而令人困惑的证明,都处于迷茫中,这也导致一些人怀疑望月新一的证明。
时至今日,舒尔茨和雅克比提出重大缺陷,毫无疑问是证实了abc猜想的证明宣告失败。
这件事徐川是有所记忆的。
因为abc猜想在数学界有着重要意义,它在数论中的地位很高,几乎与黎曼猜想齐名。
很多着名猜想/理论都是它的推论,如费马大定理、比尔猜想、rdell猜想以及孪生素数猜想等。
1995年安德鲁·怀尔斯教授用了两百多页的论文才完成费马大定理的证明。但如果abc猜想是成立的,那么费马大猜想的证明只需下面几行字:
令a=xn,b=yn,;其中a+b=c
根据abc猜想有:c≤(rad(abc))2;
即zn≤(rad(xnynzn)2≤()2<z?)
所以n<6,而n=3,4,5的情况已经被欧拉等人证明;
可得:费马大定理成立。
这几行初中学过阶乘就能看懂的数学,可谓是简单至极。
但它却可以证明历史上花费了三百年时间才被解决的费马大猜想。
而它的基础,就在abc猜想成立的基础上。
望月新一的证明论文,徐川也看过,不过他也看不懂那玩意。
长达六百多页的论文,望月新一在里面创建了一套完属于自己的新的数学理论,甚至是数学符号,及文字。
具体来说,这篇论文中充满了各种奇怪的符号,比如传统八卦文学中的金木水火土之类的东西。
不仅是文字,更是连那种八卦图都用上了。
此外论文中还有大量风格诡异的定义名称。比如「宇宙暗边际之极」、「霍奇影院」「外星算数纯结构」等等。
要想看懂这些东西,得将那六百多页的论文,以及超过五百页的其他论文(这五百页,都是望月新一自己的。)
所以在粗略的翻了翻abc猜想的证明论文后,他就将其丢到一边了。
在徐川看来,望月新一证明论文和民科的天圆地方证数学大统一有的一拼。
尽管前者是一个实打实的国际着名数学家。
而事实也是,直到他重生回来前,望月新一的论文依旧属于圈地自玩的状态。
尽管他坚持自己已经证实了abc猜想,但数学界已经不对他的论文抱有任何希望了。
至于另一件事,则是数学延伸到量子计算机。
2018年原本应该是量子计算机实现“量子霸权”的一年,也即出现证据表明量子计算机远远超过普通的经典计算机。
然而事实却并非如此。
在八月,菲尔兹奖颁的时候,一个年仅18岁的华裔少年唐乙文提出了一种传统计算机ai算法。
其运算速度可以与量子计算比肩,相对之前的传统算法实现了运算速度的指数级增长。
这一发现不仅推翻了两位量子计算重量级人物的量子加速神话,也证明了量子算法和经典算法研究之间存在富有成效的相互作用。
有意思的是,唐乙文本来打算证明这样的算法是不存在的。
但随着时间推移和自己的研究,她发现这样的算法确实存在。
而量子霸权的延迟甚至导致一些理论计算机科学家认为,量子计算机永远不会超越最好的经典计算机。
对于这件事,徐川的确不太了解。
但他很清楚,量子计算机的发展并未被未来的人们放弃。
毕竟摩尔定律已经限定死了传统超算的计算速度。
不过当前,徐川对唐乙文提出的ai算法很感兴趣,找来了一份论文翻阅了一下。
只是,他对于算法方面的东西并不是很了解,只能粗略的看了一下,了解一些里面的思想与核心。
想了想,徐川在心里记下了这个名字。
如果有机会,或许可以向上面提一下,看看能不能将这个人才从米国那边挖过来。
传统超级计算机的重要性,他比其他人都要了解。
在未来至少二十年到三十年的时间,传统的超算依旧是大型计算的主力。
而能为超算提供算法的人才,重要性母庸置疑。
折腾了一阵子,待到诺贝尔奖的风波过去,徐川总算是恢复了正常的生活。
被耽搁的核能与锂硫电池的研发项目重新进入。
在他的带领下,两大项目的研发进度明显日益长进。