前成功证明霍奇猜想，那可真是太少太少了。

欢呼声持续了一分多钟，待田振等人情绪稍微平复些之后。

徐源这才开口交代后面的事情。

“大家这么长时间没有休息，应该都很疲惫了，先回去好好睡一觉补充精力。”

“等明天再对证明过程进行反向推导论证。”

因为面板进度条的存在，徐源才能一次性，得出最正确的证明过程。

但在实际情况中，还需要对证明过程，进行大量的推导论证。

确保里面不存在漏洞甚至错误。

否则直接发布出去的话，一旦被其他人找到，那么整篇论文结论都会被推翻。

导致先前所有心血付诸东流。

再说因为这几次的事情，这篇证明世界数学难题黎曼猜想的论文，肯定会受到全世界的关注，届时不知道有多少数学家对其进行推导论证。

所以必须要保证没有问题，才能正式全球发布。

田振听完徐源的话，并没有立刻回答，反倒是嘴唇蠕动面露难色。

略作迟疑后才开口道：

“那个徐院，我们想先进行论证。”

话音落下的同时，身旁另外四个人也都纷纷点头。

听完这话，徐源也是不知道该说什么好，不过就以现在的激动情绪来看，哪怕回去还真不一定能顺利的进入梦乡。

想到对黎曼猜想证明结论论证，可以借助计算机辅助验证。

加上院里还能调用科学院的超级计算机，倒也不会花费太长时间。

除非多次重复验证。

念头停留在这里，徐源便也不再迟疑，最终还是开口同意了下来。

“那行吧。”

“不过感到精神不佳，必须要立刻去休息。”

“徐院你尽管放心，我们晓得。”田振听到徐源把这事答应了下来，立刻满脸笑容保证了一句。

其他人虽没有接话，但如小鸡叨米似的点头，已然说明了问题。

但值得一提的是，徐源同意他们验证归验证，自己可不会选择留下来。