250.第250章 证明被确认(2 / 2)

“啊!那比赛还要继续吗?他们已经赢了两场。”

“继续,我们想看看未来集团的人工智能,到底有多强大。”

看着他们去准备设备,主持人说道:“现在我宣布,这场比赛,中国方未来集团零号获胜。”

听到主持人公布的比赛结果,所有人都不感到意外。就算零号最后的推理出现了错误,前面那些被证明正确的推理,已经保证零号获胜了。

“看来大家已经不关心谁获胜了,我也很想知道,这个困扰了我们半个世纪的数学难题,是不是真的被破解了。不过,从刚才那些数学家那里,我得知他们验证的结果,零号的推理是正确的,现在就等着数学界公布这个答案了。”

几分钟过后,网上又有数学家站出来宣布,零号的证明过程,确实是正确的,黎曼假设已经被人工智能破解。

这就像是开了个头,几分钟时间里面,已经有数位数学界权威,站出来表明,零号的推理正确,黎曼假设被证明了。

随着越来越多的权威数学家站出来说明,最终国际数学联合会,这个数学界的权威组织也站了出来,宣布黎曼假设被成功证明,证明者是中国方未来集团研究的人工智能零号。

这个组织的承认,算是给所有的人吃了一颗定心丸,告诉大家黎曼假设确实被零号证明了。

消息在网上快速传播,虽然很多人不懂数学,但是听到世界七大数学难题之一,就明白这种难题被破解,是一件多么牛逼的事情。

整个世界只要能够得到消息的地方,瞬间就沸腾了。他们不在乎世界性的数学难题被证明,他们在乎的是,这个难题是被人工智能证明的。

如果是某个人证明的,那只会在数学界引起轰动。但是,当这个问题是人工智能证明出来的,性质就完全变了。而且是在比赛之中,这就成了全世界人关注的大新闻。

网上的讨论是激烈的,数学家们是激动的,也是郁闷的,他们完全没想到,这种问题会被人工智能破解。

比赛现场,因为这件事的影响,围棋比赛,直接被退后到下午进行。

所有人都在讨论着人工智能破解数学难题的事情,当很多人了解了黎曼假设是什么后,更加震惊。

沈正宁有些郁闷的看着缠着他的老者,这么大年龄了,他也不好意思说一些严重的话。

但是,让他把人工智能留在这里进行验证其它数学难题,肯定是不可能的事情。

“不行,比赛结束我们就要回去,我还有很多工作要做。你们要是想验证的话,只能跟我们去中国。如果得到老板的同意,你们想怎么验证都行。”

“去中国,就能够使用人工智能,尝试破解那些难题。行,你们什么时候离开,我现在就去安排行程。”

一群数学家,为了能够使用人工智能破解其它数学难题,纷纷准备跟着一起去中国。

对于这种事情,沈正宁完全不去管,直接交给了王兰处理,他要去检查一下零号的情况。上午的数学难题证明,有些太反常了。

这个时候,一些国家已经行动了起来,未来集团的人工智能,已经证明了它的价值。现在他们要想办法,跟未来集团建立这方面的合作关系。

可惜,对于人工智能,吴浩仁这里根本没得商量。

因为这个大新闻,对于下午本来大家都期待的围棋比赛,造成了很大的影响。