很看好。
……
当天有个重量级的新闻,燕华大学智能与自动化实验室,刘光佐和罗智金带领的团队,公开表示说利用顶尖的计算机,完成了对‘无规律三维震颤波形图’前一亿个素数解的验算。
罗智金出现在摄像机镜头前,他坐在椅子上一副振奋的样子,“我们研究了一种简洁的算法,来验证三维震颤波形图。”
“我们实验室的计算机,花费了二十七个小时,完成了对前一亿个解的演算,并证明他们都是素数解,换句话说,有限的演算范围内,三维震颤波形图能得到素数解的结论是正确的。”
这个说法并不准确。
罗智金的团队只是验算了前一亿个素数解,使用的也只是顶级计算机,计算时间为二十七个小时,并不能覆盖‘有限的演算范围’,但多数人也不关心,因为前一亿个解很有代表性。
前一亿个验算结果都是正确的,九成九以上的可能,前十亿、百亿个验算结果都是正确的。
所以得出‘有限的验算范围都正确’的结论也没有错。
这个消息普通人是不关心的,或者说,‘验算失败’才会是大新闻,公众已经接受了‘函数有效’的观点,成功是在预料范围内的。
学术界不同。
许多关心验算结果的人,注意的都是斯坦福大学的团队,因为他们申请使用了超级计算机,计算速度比顶级计算机快几十倍,而所有人都下意识觉得,斯坦福大学的团队水平更高,斯坦福大学为硅谷培养大量计算机人才,学校内的计算机团队,水平就可以想象了。
燕华大学的团队先一步完成验算,就有些不太能理解了,但质疑也不用质疑,因为验算的方法、过程,会写成论文公开发表,任何正常的团队,都不可能去开这种学术性的玩笑。
在罗智金的团队发布结果后,斯坦福大学的团队有点懵,萨纳克教授是团队的主导,他们的验算工作还没有开始。
一则,超级计算机申请需要时间。
二则,他们还没有研究出简易的验算方法,而依照函数的解析去覆盖,验算每一个素数解,都会牵扯到复杂的计算量。