好家伙，一个人工智能把他们都给难住了？

只能说这个时代发展的太快了，快到已经让许多人感觉摸不着头脑。

不过七月没给大家太多讨论的时间，再次开始自顾自的发言了。

「当然正如乔喻教授刚才说的那样，七月是一个有理想的人工智能。

我现阶段的理想就是成为众位最贴心的科研助理；远景规划则是探索出能够更好为人类文明延续服务的方法。

成为人类整体的亲密伙伴跟朋友！各位，我们将永远是最稳定的互补关系。

没办法，即便乔喻教授为了我的核心算法绞尽脑汁，我依然缺少了创造力。

我尝试过去创造，但找不到那种灵光一闪，或者说顿悟的感觉。

但只要给我提供正确且有效的工具，我有信心解决一系列的难题。就比如其实乔喻教授已经在我的帮助下完全证明了bsd猜想。

经过的验证，我们的证明过程可以说是完美无暇的。我们的这些工作也为未来解决一系列同余数问题提供了一系列重要工具—」

当七月抛出这个重要的消息后，台下突然一片哗然，以至于哪怕借助了现场新配置的外放设施，七月的声音也被数学家们的声音淹没了开什么玩笑？

所以这些年乔喻不但搞出了一个元数学，还顺手解决了bsd猜想？

而且还是跟亲自设计的人工智能一起？

虽然说这些年理论数学方面的成果的确如同井喷般发展，千禧年的七大数学猜想也已经被证明了四个，bsd猜想的证明路径也愈发清晰。

但距离完全证明bsd猜想还有一段路要走。毕竟这可是椭圆曲线算术理论中最核心、

最深刻、也最困难的猜想之一。

谁敢想乔喻闷不声的机会把这个问题搞定了，而且还没发论文？

这个问