“验证，赶紧验证！”
比尔卡尔比姬天明、鲍尔森与沃沃斯基等人还要激动。
这要是成功了，他明年菲奖的筹码将会再次大增！
比尔卡尔的几个博士生连忙验证，姬天明也让谢斐然、史浩铭等人验证。
这段时间，他们脸上带着黑眼圈，消瘦了很多，但是进步很大。
就在剑桥这边学两三个月，估计回国就可以直接毕业了。
这边成果的产出，比他们在中科院几年都要多。
随便几个小猜想的反例找到，发表几篇二区论文，不就毕业了吗？
一开始，他们来到这里还觉得条件艰苦。
甚至还自掏了部分腰包，现在都快感激死席南华、袁亚湘与姬天明了。
姬天明此刻让沃德龙开始下一个猜想的验证。
其余人负责验证。
验证也是要时间的，不如开始下一步。
直到差不多一个小时之后，他们激动得喊了出来：“出来了，出来了，我们确认了化简、变换理想生成元的过程，没有改变原始几何对象。
这个反例没有问题。”
“我们成功地解决了一个猜想！”
姬天明依靠在旁边的窗户上，看着他们激动得大喊。
这意味着未来可能更多的双有理几何之中的问题被机器解决。
“姬神，你怎么不高兴啊。”
众人齐刷刷的看着他，就连菲奖得主沃沃斯基都好奇。
姬天明看着窗户外的河流，缓缓道：“都是意料之中的结果罢了，一切都在我的掌控之中。”
众人：
好好好，论装逼，还得是你。
只见姬天明继续说道：“下面的这个猜想，应该也会找到反例。”
“数学界的革命纪元，在我们手中开始了。”
“恭喜你们，创造了一个怪物。”
众人一脸兴奋。
这要是真的，他们好像确实是放出了一个怪物。
“不过还得与I配合，现在只能够解决一些小的猜想，大型定理例如BB定理，还需要上百万的定义、定理。”
“需要的人力物力依旧庞大。”
“这仅仅是双有理几何上的一小步。”
菲尔兹奖得主沃沃斯基此刻回答姬天明：“但这确实数学界甚至人类的一大步。”
“可以预见，未来条件成熟，岂不是可以找大猜想的反例？
甚至利用已经有的定义定理，证明无数的猜想？”
就在他们谈论的时候，第二个猜想也成功找到了反例。
鲍尔森此刻比他们还要激动，这是用他开发的助手做到的，他说道：“以剑桥牛顿研究所的名义，向数学界宣布吧！”
“让整个主流数学界认识到这个问题，让更多的数学家、数学工作者参与到这个项目之中。”
“我们需要全球数学家一起来完善底层的定义、定理构造。”
几乎没三天，他们整理出了一篇论文。
《两个猜想的反例，论数学未来发展的思路》
此文一出，在数学界广为流传。
有人惊讶，有人则是不屑。
惊讶的是竟然能够处理代数几何前沿问题了。
还是双有理几何，虽然猜想很简单，比起黑尔斯的克卜勒猜想形式化证明远远不足。
可这的的确确是一大步。
未来数学说不定真有可能走向剑桥牛顿研究所说的那样。
未来的数学家只负责提出问题，或者创立新的数学语言，又或者研究中大型猜想。
小的猜想机器就可以完成。
而不屑的人则认为，两个猜想虽然前沿，但从成果与重要性来看远不如克卜勒猜想。
为了解决这两个猜想，硬是动用了十多个人研究了那么久。
