262.第262章 证明冰雹猜想

第262章 证明冰雹猜想

说干就干。

王长虹这位总师,此时倒是没有丝毫纠结。

大概,也是因为听见利用这种新方法来合成TA1203,能够让其拥有更强的性能。

至于可能会稍微难一点什么的问题,就完全不在意了。

不然的话,他也不会在TA1203的问题上面纠结这么久了。

任何能够帮助轰二零获得更强性能的方法,他都愿意尝试尝试,只要是那种有机会能够成功。

显然,能够从萧易口中说出来的这个方法,想来是能够成功的。

虽然听起来很难,不过……

这不是有萧易嘛!

王长虹不知道那个精准磁悬浮流体控制炉到底是个什么,只是听说过这项新技术,也知道这个新技术也是萧易搞出来的。

所以,既然萧易能够提出来,想来也都是有办法的。

不过,萧易也说了,需要对精准磁悬浮流体控制炉进行改造,还需要进行复杂的程序设计,也都是需要时间的。

一番商谈之后,最终也算是将方案给拿了出来。

“那之后,就要拜托萧总师了。”

走出了实验室,站在那个老院子中,王长虹对萧易说道。

这项研究,他们就提供不了太多的帮助了。

就像是精准磁悬浮流体控制炉的使用,他们还需要向上面申请呢。

精准磁悬浮流体控制炉作为生产MHT-7的核心工具,在国内基本上也是处于严密保护的状态,其他人可能只是听说过这个炉子的名字,但基本上不会了解这个炉子的原理,就更不用说是其结构了。

任何其他项目想要使用,或者说是利用这个工具的,都必须向上面打申请,经过批准之后才能够使用。

即使是他们轰二零项目也不例外。

当然,知道这个规矩的人没多少。

而听说过这个炉子的人也自然是相当少,至少也得是王长虹这种级别的研究员才行,就连当初造日计划中的相当一部分研究员也都不知道MHT-7这个材料是怎么来的,反正他们就知道是萧总师搞出来的。

因此,这就导致了即使到了现在,精准磁悬浮流体控制炉也没有第二个人会用,一直就只有萧易能用。

其他的人也没有想过要用,就算是遇到了材料方面的问题,大概率也不会想到这个炉子能够帮助他们的忙。

当然,萧易倒是相信,他的这个炉子其实能够在更多材料开发中都发挥出巨大的作用。

尤其是这个炉子能够无比精准地合成出理论模型下的材料。

也就是说,理论构建出来的材料是怎么样的结构,通过这个控制炉就能够十分完美地将这样的结构给合成出来。

当然,想要做到这一点也还是有难度的。

越是复杂的材料,想要完美合成出来也就越难,所以就像是萧易最后并没有成功地将麻花碳合成出来,而只是合成出了MHT-7。

然后就还有合成程序的设计,就像是数控机床那样,只要完成程序设计,机床就能够开始工作。

只不过,精准磁悬浮流体控制炉的编程难度要更大一些,首先得懂流体力学,而且还必须足够精通,然后还要对电磁学和量子力学有着足够了解,至少得清楚不同原子电磁性质,其次也得对材料学有着足够深的认知。

可以说,精准磁悬浮流体控制炉,大概完全有能力去竞争一下全球最难操作的工具。

如果真的普及之后,说不定这还能够成为一个超高薪岗位呢。

“好,那我回去之后,就先等着你们这边的消息了,等你们的申请批准下来后,我就开始研究。”

萧易说道。

“好。”王长虹笑道:“倒是还不知道,上面会不会同意这件事情。”

萧易失笑道:“你们这可是轰二零,这要是还不能成功的话,那不就是开玩笑了么。”

“啧,那可不见得。”王长虹摇摇头,“如果有泄露核聚变技术的风险的话,那我自个儿都还不愿意用呢。”

萧易笑了笑,而这个时候,王立也已经重新将车开到了他的面前。

“那我便不再多留了,几位再见。”

萧易挥手告辞。

“萧总师慢走。”王长虹点头。

萧易上了车,最后也是朝站在旁边的洛明雅点了点头,然后就离开了这里。

看着那逐渐远去的车,王长虹感慨一声:“名副其实啊。”

李振海也是点点头,感叹道:“是啊,如此的年轻人,但凡咱们华国再多上几个,何愁国之不兴呢?”

王长虹也是点了点头:“谁说不是呢?”

但之后他又是摇摇头,说道:“但是我们也要从实际出发啊,这样的天才,全世界上下几千年,又出现了几个呢?”

李振海迟疑片刻,最后摇摇头道:“大概也就这么一个了。”

王长虹笑了笑,并没有否认这句话。

从他们现在的视野往前面看,从历史的轨迹来看,特别是科学史的轨迹。

不管是18世纪的牛顿,又或者20世纪的爱因斯坦,他们搞定的问题,看上去十分的杰出,但其实多少都算是顺应了历史的轨迹,将问题解决在了该解决的年代。

但是,只有他们这位萧总师所解决的可控核聚变问题,却就是完全超出了人们预料,以及历史轨迹的预测。

就像是那个神秘的第一壁材料,从现在科学界的统一观点来看,是完全没有办法能够诞生的,却突然间就从他们萧总师的手中出现了。

然后还有那个精准磁悬浮流体控制炉,那就更是凸显出了一种神秘。

在刚才的时候,萧易简单给他们介绍了一下,但是到现在他们也还是没有搞清楚这个玩意儿的原理。

主要是他们想不通,一堆凌乱的磁感线,要怎么才能够做到对磁流体的精准控制?

但是想来,这次申请了之后,应该就能够看见了。

这个时候,王长虹转头看了一眼旁边的洛明雅,笑着说道:“不过,以后能够多出几位像明雅这样的科学家就行了,就算是不能像萧总师那样搞出超过时代的成果,也多少能够带来一些时代应有的改变。”

李振海也是一笑:“是啊。”

“推动时代前进的,虽然有很多巨人的存在,但是当巨人不存在的时候,还是得靠一群人的共同努力啊。”

洛明雅听到两位长辈的夸奖,只是笑了笑,旋即表面又恢复了平静,却是不知道此时在想什么。

……

时间转眼又过去了几日。

萧易自然是已经从金陵回到了沪市,反正两地距离近,也不费太多的时间。

一边等待着王长虹那边的消息传来,一边,他继续研究起了冰雹猜想,当然,有时候也会抽出时间在脑海中思索一下该如何改造精准磁悬浮流体控制炉。

改造的方法说复杂也复杂,说简单也简单,主要是让其体积能够符合航空发动机涡轮叶片的需求。

这就不像MHT-7这样的第一壁材料,第一壁材料可以分成多块,然后贴到核聚变反应炉的内壁上面,并不耗费功夫。

虽然这些MHT-7块的缝隙之间确实也有着泄露高能中子的可能性,但实际上,这些缝隙处都在出厂的时候打磨出了锯齿状的纹路,因此就算是那些高能中子以九十度的入射角射入这些缝隙当中,也最终会和这些锯齿纹路碰撞,从而避免了泄露出去。

而涡轮叶片就不一样了,毕竟其需要一体成型才能够保证强度。

因此就需要增大流体控制炉的体积。

而改变了体积,其磁场的布置也需要重新改变一番,然后是软件也需要重新写一个适配的才行。

当然,萧易通过完美工程,修改起来倒也是比较容易,估计也花不了太久的时间就能够搞定,大概也就是后面写程序会花费一些时间。

主要还是得等待王长虹他们那边的申请能够得到通过,这大概还需要评估一下整体的风险,领导们还要考虑一下,询问意见,后面大概还会找他问问。

不然的话,就算是他这位精准磁悬浮流体控制炉的发明人,也不能将这项技术提供给王长虹他们。

国家机密技术,也就是如此。

不过,说回冰雹猜想,这几天他在解决这个问题的过程中,倒是也收获了越来越多的灵感。

现在,距离证明这个猜想,大概也已经要不了太多的时间了。

……

时间来到了五月中旬。

【因此,存在一个常数C,使得对所有的n,dim(W_n)≤C。】

【根据推论9.7,我们可以得知,在该种情况下,分类树是有限的。】

【根据推论7.2,我们可以得知,冰雹猜想的证明等价于证明分类树是有限的。】

【至此,冰雹猜想得证。】

“所以,我们现在就可以说,任何正整数,在经过冰雹猜想的变换之后,最终都会进入到4-2-1的数字循环。”

当萧易在草稿纸上写下了“证毕”二字,回想起之前的所有过程,脸上也露出了满意的笑容。

这个被他当做消遣、放松的问题,如今也已经在他的手中成功得到了解决。

“倒是也消遣了我这么两个多月的时间。”

萧易感慨一声。

但随后他的眉头又微微皱了起来,开始为接下来的事情忧愁了起来。

现在,就连冰雹猜想,都仅仅只能够成为他消遣放松的问题,接下来,他又该将自己的目标放在什么问题上面呢?

之前曾经考虑过的黎曼猜想,出现在了他的脑海之中。

之后,倒也确实可以将一定的时间投入到这件事情上面去。

但问题是,如果等到他连黎曼猜想也给解决了后呢?

还有什么问题,是他能够解决的?

或者说,是能够让他消遣的?

谁也不知道。

毕竟谁也没有他这样的愁思。

其他人,毕生能够解决一个问题,就已经足够了,但是他终究不一样。

今年也就2027年,他的年龄也就24。

继续去研究类似可控核聚变这样的问题?

这样的问题确实是挺消耗时间的。

又或者是尝试去研究一下常温超导体这样的材料。

曾经的HTSC-1,虽然已经属于可以大规模使用的超导体了,如今也都已经有了不小的市场。

但其终究不会像常温超导体那样,运用起来十分的方便。

然后还有,核聚变小型化的这一更难的问题。

而如果真正能够解决核聚变小型化的问题,那大概才是真正让人类有了无限的可能。

毕竟,只有真正实现了这一问题,才能够让人类跨越星际,而不需要担心其余的任何事情了。

然而,对于这个问题,萧易的心中就更加没有底了。

相较起来,造一个超大型的飞船,然后直接将小型的核聚变反应堆塞到这个飞船里面去,反倒是更符合萧易的想法。

不过同样的,即使是这个问题,也一样的困难。

想到这里,萧易叹了口气。

算求,暂时就别想这么多了。

接下来还是先将当前的这些问题给解决了为好。

他一个年轻人,也还是少叹点气为好。

重新将目光转移到了手中的草稿纸上。

既然问题解决了,那就先在电脑上整理出来,然后上传到他的个人网站上去吧。

二话不说,他便开始整理了起来。

整理倒是也并不是特别麻烦,特别是他之前已经便研究便整理,现在也就是需要将最后的这几步给整理好就行了。

就这样,大概过去了半个小时。

办公室的门被敲响了,而后,梁秋实就跑了进来。

只见他神情自得,走到了萧易面前,就说道:“老师,我论文搞定了!”

然后就从书包里面掏出了一叠A4纸,摆在了萧易的桌子上。

看着他这副模样,萧易摇头失笑:“你这看起来倒还挺得意的?再过半个月就到截止日期了。”

梁秋实便嘿嘿一笑,说道:“这不是完美利用了所有的时间嘛,这样才能够精益求精。”

萧易伸手指了指他,最后也懒得多说,就把自己桌面上的那些草稿纸收拾到一边,然后看起了梁秋实的论文。

不过,梁秋实这个时候瞅了一眼萧易电脑屏幕上面的东西,然后就是一愣。

“老师吗,这是您的最新成果?”

萧易一边看着他的论文,一边点点头:“是啊。”

“已经完成了?”

“完成了。”

梁秋实顿时就好奇了起来。

他们尊敬的老师,最近居然又搞定了一个新成果?

回想起当初萧易还和他说过,说是要挑一个猜想打发一下时间,却是不知道他的老师最终挑选的什么问题。

他当初记得还推荐过冰雹猜想呢。

他开始操作起了鼠标,翻了翻,最终,看到里面关于冰雹猜想的描述之后,他就震惊了。

“老老老老师……您真的把冰雹猜想给搞定了?”

“是啊,搞定了。”

得到了萧易的肯定后,梁秋实彻底沉默了。

他当初……

明明还寻思过去开个盘,或者是去一些国外的赌博网站上面赌一下接下来将会被解决的著名数学猜想是什么,但最终他怎么就忘记了呢?!

(本章完)

263.第263章 数学界久违的热闹

第263章 数学界久违的热闹

梁秋实惊呆了。

萧易倒是面色如故。

很快看完了梁秋实带来的论文,虽然足足有四十多页,不过对于萧易来说却也不需要花费多少的功夫。

毕竟,当初梁秋实光是把想法告诉了他之后,他就已经知道这个课题大概该如何解决了,就更不用说前段时间梁秋实还找他来询问了方法。

而梁秋实当初回去之后,也根据萧易的指导,很快就把难住了他的问题给解决了,同时也看了萧易推荐给他的那篇论文,看完之后,梁秋实便对他当初遇到的那个非齐次Baker-Sprindzuk猜想有了思路。

这个非齐次Baker-Sprindzuk猜想本身的难度也并不是很高,梁秋实当初将课题研究到那种程度之后,距离解决这个猜想也就并不再遥远,简单地一研究,就成功搞定。

所以,萧易看他的论文,只需要看一下其中关键的几个要点,就基本确定,他的这篇论文已经没有问题了。

作为一篇数学论文,这篇论文的原创性自然不用多说,成功地将实数域上关于非齐次丢番图近似的方法推广到函数域,并且在过程中还成功证明了非齐次的Baker-Sprindzuk猜想,作为新颖的结果,创新性已然足够了。

而从数学最为重要的严谨性上来说,逻辑结构严谨,论证过程清晰、准确、完备,不存在逻辑漏洞或错误;定义、假设、条件等都明确给出,必要的引理、定理都有严格的数学证明,找不出任何问题存在。

所以,萧易最后评点道:“很不错,你的这篇论文,已经达到了我对你的预期,当然,也达到了毕业的要求。”

“那就……恭喜你了。”

萧易笑着放下了论文稿,向梁秋实祝贺道。

梁秋实这个时候也已经从刚才的震惊之中回过了神,然后嘿嘿一笑,说道:“这都要多谢谢老师的指导嘛!”

萧易笑呵呵地摇摇头,说道:“你就别先急着谢了,回去之后尽快检查完所有的格式,然后上传到网站上面,下个月的答辩,我会给你多邀请几位大牛来听,到时候他们可不会给我面子。”

“就看你小子自己的本事儿了。”

梁秋实倒是一点也不怂,直接摆摆手,说道:“您随便喊,我到时候保证是轻松拿下。”

“那就成。”萧易笑着点头。

“不过……”梁秋实忽然又说道:“不能光是我一个人这样吧?陈木华,还有孙原他们,怎么说应该也得这样吧?”

萧易翻了个白眼道:“你小子还想独自享受呢,放心吧,少不了他们的。”

“那就好!”梁秋实这才高兴地点头。

“那老师,我就先走了?”

萧易点头:“行,去吧。”

不过,没过一会儿,两人又是一齐说道:“等等。”

两人都是一怔,随后萧易就问道:“你还有啥事?”

梁秋实挠了挠头,指了指萧易的那篇论文,问道:“老师,您这篇论文,啥时候能够看到啊?”

萧易说道:“今晚上就能够看到了。”

梁秋实点头笑道:“那我可就等着见识见识,冰雹猜想是怎么解决的了。”

“你等着看就行了。”

萧易只是淡然一笑,随后便问:“不过,我听说,你快要结婚了?”

“啊!”梁秋实就是一愣,连连说道:“是的,老师,原本还打算之后再给您说呢,没想到您现在就知道了。”

“不会是陈木华那小子告诉您的吧?”

萧易笑道:“这就和陈木华没有关系了,你可是别忘了,我还是物理学院的老师,你那个女朋友倒是已经和她的老师说过了,然后物院的刘教授前两天刚好就和我说过这件事情。”

几年前梁秋实刚入学的时候,萧易就问过以他的成绩为什么会报考这里,毕竟按照梁秋实本科阶段的表现,去报麻省理工学院,或者是普林斯顿大学等等都完全没问题。

然后才得知其是追着他的女朋友过来的。

他的女朋友叫陈春华,和他的名字很是搭配。

相互之间的感情大概也一直都很好,不然的话也不至于到现在便已经打算结婚了。

“原来是这样。”

梁秋实这才晓得,无奈地摇摇头,既然是自家未婚妻透露出去的,那也只能是有气没处使,只能说他这位老师消息灵通。

而后他便说道:“是的,结婚的日子就是定在今年8月8日,那天刚好也是七夕。”

萧易笑着点头:“不错,挺好的。”

梁秋实的脸上也是露出了幸福的笑容。

他和自己女友并不是青梅竹马,只不过是在大学相识而已。

青梅竹马,又能够共同考入到同一所顶尖学府,又能够共同保研的案例实在是太少了,甚至是给人一种不真实的感觉。

但直到现在,他们也已经认识了差不多有接近七年之久,如今能够走入婚姻,也代表着他们这七年的时间,已经走出了考验,迎来了胜利。

“只不过到时候婚礼就不是在肥市举行了,要回老家。”梁秋实说道:“到时候一定给老师送上邀请函,不管来与不来。”

萧易知道梁秋实老家在鄂省江城市,两省也算是邻省,但从肥市到江城市就不像是到金陵那般近了。

更何况,想来他也没有多少理由去江城市的。

最后他只得是点点头,说道:“行,到时候就算是去不了,也会给你包个红包。”

梁秋实便是笑道:“那感情好!那等到时候喝老师喜酒的时候,我也一定给您包个。”

“就是不知道,老师现在有没有对象了啊?”

萧易当即就甩甩手:“这就不需要你操心了,快走吧。”

梁秋实嘿嘿一笑,随后便迅速溜走了。

“啧啧……”

看着梁秋实关上了办公室的门,萧易感慨一声。

时间不等人,就连自己的学生,也都要结婚了。

至于他自己?

“不想这些,论文还没有搞定呢。”

随后萧易便继续开始写起了论文。

一直到晚上的时候,论文整理完毕,别人或许还要在意字体格式,但是他就完全不用关心了。

反正是个人网站,想怎样便怎样。

于是,当下他便直接将论文上传到了网上去。

做完这件事情后,再看看时间,却是也已经晚了,于是萧易不再多留,联系王立开上车,随后就先回去歇息了。

……

兴许是萧易已经很长一段时间没有在自己的网站上上传论文了,一时间,在论文上传之后的第一时间,并没有被立即发现。

大概也是因为时间已经较晚,绝大多数的人都已经是歇下了,哪怕是那些执着于每天登录一下网站看看能否看到“惊喜”的自媒体,此时大多也都已经停下了工作。

至于国外的人,那就更不会闲着没事干登录萧易的网站了,是以每次萧易的个人网站上面有了新论文,往往都是从国内先传出消息的。

不过,自媒体不去翻,却是有另外的人翻。

而这个人,便是得了“内幕消息”的梁秋实了。

因为完成了论文,所以当天晚上的他也是相当的高兴,准备带着自己还有几个月就要步入殿堂的未婚妻好好玩乐玩乐。

正在一个ktv中歌唱的时候,他忽然就一拍脑袋,拿出手机,登上了恩师的个人网站,然后果然就看见一篇崭新的论文出现在了网站上面。

论文的名字很简单,就叫做《冰雹猜想》,中英双版。

他顿时就是一拍大腿,一声“卧槽”便冒了出来。

旁边的女友见到他这激动的样子,也停下了唱歌,问道:“怎么了?”

“你看,我老师的个人网站。”

“萧教授?”

得知是与萧易有关的事情,女友也好奇了起来。

当年的她也是尝试过报考萧易的学生,最终却也失败了,当然,对此她自然是不会有什么怨言,反正当初挂在萧易手上的学生数不胜数,她相比起其他的那些人来说,也确实没有太多的优势。

不过,却也并不妨碍她对这位萧教授的事情感兴趣。

毕竟,她就是研究核物理的,而萧易可是解决了他们核物理最高大上的问题之一——如何实现可控核聚变发电。

所以,他们这些研究核物理的人,就没有一个是不崇拜萧易的。

也就是萧易不在他们物理学院开课,不然的话,估计门槛都能够被踏破。

“你看这篇论文,就是我恩师最新完成的成果。”

梁秋实展示给女友看。

女友一愣:“冰雹猜想?这又是一个数学猜想吗?类似哥德巴赫猜想那种?”

“是的,你应该也听说过这个猜想,在小学课本上都写的有。”

而后,梁秋实便好好给女友介绍了一下,这个冰雹猜想是什么样子的。

一番了解后,他女友自然是不清楚这个问题到底是有多难,毕竟她不是专门研究数学的,但反正是不明觉厉就行了。

特别是得知这个问题已经几十年都没有被解决,曾经的数学大师还表示数学界还没有准备好迎接这样的问题。

“萧教授真厉害啊!”女友感慨一声。

“那是当然!”梁秋实一副“这还用你说”的表情,随后他就开始向自己加的各种群里面分享起了这件事情。

以此来向更多的人传播这件重大的事情。

数学界,又有一个困难的数学猜想,被解决了。

“哼哼,我这可是一手消息,厉不厉害?还是今天中午的时候我到老师办公室里面,跟他汇报论文完成的时候,看见的。”梁秋实在女友的面前炫耀着。

“厉害厉害。”女友笑了笑:“那你以后能够做到像萧教授那样厉害吗?”

一听这个问题,梁秋实就焉了。

“哪壶不开提哪壶,我恩师,根本就不是人类能够超越的。”

女友哈哈笑了起来,然后重新将话筒递给了他:“好啦,现在咱们还是继续唱歌吧,唱着唱着,说不定你就变得和萧教授那样厉害了。”

“好好好。”梁秋实自然是不信有这种事情,不过,却也接过了话筒,跟着女友开始对唱情歌。

“妹妹你坐船头~哥哥在岸上走……”

……

梁秋实加的群很多,而发的群自然也多,其中也丝毫不乏数学方面的群。

所以没过多久,【萧总师又解决了冰雹猜想】的话题,便直接在国内的数学圈中又传开了。

国内的数学学者,或者是学生们,顿时就都震惊了。

就比如梁秋实所加的其中一个叫【华国数学学会交流群】的群里面,相关的讨论就直接爆了。

这个群顾名思义,自然就是由华国数学学会所组织起来的,是此前梁秋实参加了一个学术会议,然后别人得知他是萧易的学生之后,便邀请他进来了。

而现在,梁秋实自然也将消息发在了这个群里面,顿时间,就让这个群冒出了一堆人。

【啊?真的假的?萧教授又把冰雹猜想给搞定了?】

【是真的,萧教授的个人网站上面就能够看到了!(截图.jpg)】

见到有人确确实实发了萧易个人网站的截图后,顿时就让他们更加激动了。

【我超!我也看到了,是真的,萧教授牛逼!】

【我已经把论文下载了,沃日,竟然是真的!】

【不是,萧总师这才把可控核聚变给搞出来没多久吧?这才几个月,然后又顺便把冰雹猜想给搞定了?他是怎么做到的?】

【你看,又问,还是少见多怪了。】

【看了一下,总共有六十多页,也不知道萧教授是不是真的成功证明了。】

【开玩笑,萧教授都发论文了,你觉得是不是真的证明了?特别是再看看这个摘要。】

说着,一张论文摘要的截图就发在了群里面。

摘要很简单,直接明了:本文通过表示论将冰雹猜想转化为关于表示空间中不变向量维数的一个不等式问题。通过建立维数的递推公式并运用向量空间的性质,进而证明不变向量空间的维数存在一个统一的上界,从而推出了冰雹序列周期轨道分类树的有限性,完成了冰雹猜想的证明。

随后,群里面的众人就开始猜测起来,萧易到底是如何完成证明的。

然而,很快,他们就放弃了。

表示论?

不变向量维数的不等式问题?

冰雹序列周期轨道分类树?

这些对于冰雹猜想的研究来说完全都属于全新的领域和名词,让他们这些想要通过摘要来推导萧易证明过程的人,完全放弃了。

【不是,萧神这又是什么证明路数啊?从表示论来证明冰雹猜想?这玩意儿真的能做到?】

【真的是看不懂一点,萧神的思路,和咱们从来都是不一样的。】

【……】

在这个群内的众多数学学者们讨论的过程中,也有越来越多的人知道了这件大事。

自然,消息也最终传到了国外。

国际数学界,又要热闹了。

(本章完)

重新连接服务器...

连接失败... 将在 秒后重新尝试连接.

连接失败.
请刷新此页面.

此会话被服务器暂停.

恢复会话失败.
请重试或者刷新此页面.