赵奕感谢了的李益来教授后,面色带着激动回到了台上,面对一种疑惑、好奇的目光,他并没有再谈角谷猜想,而是继续谈着‘有效与无关进位法’。
这时候差不多快要结束了。
包含‘角谷猜想’的证明步骤,就是‘有效与无关进位法’最为关键的地方,只要步骤过去了,剩下的理解起来就容易了。
“……所以就能确定这个步骤对整体进度是有害的,我们就可以选择放弃!”
“这就是我的有效与无关进位法!”
“以上,就是我的证明!”
“谢谢大家!”
赵奕说完最后一句话,后退两步礼貌的鞠躬,随后会场里响起了剧烈的掌声。
这场演讲很成功。
虽然‘角谷猜想’是否被证明存疑,但即便‘角谷猜想’没有被证明出来,因为计算机性能涉及不到理论上可能的‘反例数字’,‘有效与无关进位法’是肯定能够真正使用的。
这在计算机行业才是最重要的。
计算机算法并不需要‘完美准确’,就像是任何的软件都会存在漏洞一样,计算机算法的目的是真正去用,而不要求理论上的完美。
一辆出厂的汽车,谁也不能保证汽车百分百没有问题;一个人工智能翻译器,不需要完美的翻译能力,能保证九成以上的正确率,就已经是相当成功了。
计算机算法是底层,正确率要求得更高,但只是理论存在‘不准确’可能,就等于百分百的正确率。
所以‘有效与无关进位法’已经是非常完美的算法。
演讲结束。
会场里并没有人离开,大家依旧坐在位置上,都好奇的看着走下台的赵奕,他们都想知道刚才的问题,“他是否真的证明出了角谷猜想?”