这是在中午。
张志强吃过午饭以后,回到办公室就看到王浩正在闷头的研究,好奇的问道,“这次是什么研究?你不是刚否证了回文数猜想吗?”
王浩道,“还是做一个小研究,我想证明6174猜想。”
6174猜想的内容也很简单,给出任何一个四位数,把四个数字由大到小重新排列成一个四位数,再减去它的反序数,就得出了新的数字。
如果新的数字不是6174,就继续上一个循环。
如此进行下去,无论是任何一个而四位数,只要四个数字不全相同,最多进行7次上述变换,就会出现数字6174。
这项研究在国际数学界又被称为“马丁猜想—6174问题”。
张志强想了一下,说道,“6174猜想?那已经不是猜想了吧,计算机很简单就能直接覆盖。”
“所以我是想用数学方法证明出来。”王浩理所当然的说道。
张志强朝着他竖起大拇指,也没有太在意,他回到了座位上,就开始听起了歌放松一下,到了一点半的时候,才有心思做一下研究,但还是忍不住打开微薄,去八卦一下新闻消息,尤其是关于王浩否证回文数猜想的内容,看看网友评论也感觉很有意思。
因为……王浩就在身边。
这时候,他打开主页面就看到了一条关注人发布的消息——
“一个小研究,证明6174问题……”
“??”
张志强愣了一下,他机械般的扭过头,就看到王浩正在操作着鼠标,他朝着电脑屏幕看过去。
果然!
一篇新的博客文章,名字叫做《一个小研究,证明6174问题》。
“你不会已经完成证明了吧?”
“对啊!”王浩点头。
张志强盯着他看了好半天,喃喃说了一句,“我感觉……你不是在证明数学猜想,而是在做数学题,而且还是最简单的那一种……”
天才和普通人的不同以及高深的几何学问题
之前有关回文数猜想的舆论热议还没有过去,网络上还有很多人都在讨论着。
然后他们就注意到,王浩又发了新的博客。
《一个小研究,证明6174问题》,新的博客文章的名字,题目还是以‘一个小研究’为开头,但研究的内容则变成了6174问题。
这确实是个小证明。
6174问题,已经不能算是一个数学猜想,因为它的答案是确定的,但确定是依靠对于四位数的覆盖性计算,而不是正规的数学证明。
之前可没有任何数学家,严格利用数学的方法解决这个问题。
好多网友看到了新的博客内容,顿时又评价起来,“又是一个‘小’研究,这个研究还真是‘小’,只不过证明了其他人没有证明的问题。”
“我又涨知识了,知道了一个6174猜想。”
“问题是,文章内容并不是科普,而是真正对于问题的论证,大概率来说,还是严格的论证。”
“前一天对于回文数的否证,已经被水木大学数学科学中心以及科学院应用数学所确认,这一篇肯定也没问题。”
“虽然我只能看懂题目,但不妨碍我觉得很牛叉,谁支持?谁反对?”
很多人关注到了王浩最新发表的内容,他们发现确实能说是个小研究,但专业的学者更关注证明过程本身。
邱成文听到消息的时候,就看了一下证明过程,发现确实是很有意思的论证,对比起回文数猜想196的否证思考起来,“还是用了构造方程、极限论证的手段,两个研究所用的方法有点类似啊?这是巧合还是……”
两个研究所用到的方法有些类似,但新的研究所用的方法,相对又要复杂一些,也有其他不一样的地方。
邱成文也不知道,是巧合还是真的有关联,他索性也不去深究,朝着旁边的教授感叹道,“王浩,还真是高产啊?”
“这才两天吧?两篇研究,和两个小猜想有关。”