环节了。如果大家有什么疑问，可以在后续的论文中提出来，又或者直接跟我或者七月联系。
最后，再次感谢大家的到来。燕北国际数学研究中心也为大家准备了丰盛的午宴，再见！」
哀鸿遍野的网络
不可思议，太不可思议了！」
从燕北大学百年大讲堂里跟加州大学的同事米尔诺走在一起的陶轩之，耳朵里一直被动接收着这句话。
unbelievable跟etraordary这两个单词都已经听得他耳朵起茧了。
当然话又说回来，虽然他的反应并没有那么激动，但心里同样翻起了惊涛骇浪。
自从知道那道题并不是乔喻出的，而是那个名为七月的人工智能所设计，刚刚他已经在脑海里重新回味了好几遍题目的精妙之处。
不得不说，如果那道题的确有人工智能的痕迹。
比如考察的知识点非常全面，而且解题的切入点非常新颖。
正如刚刚七月在报告会上自我总结的那样，虽然它暂时可能不会创造，但是能够极为全面且严谨利用已知工具帮助数学家做证明跟推理工作。
至于身边同事毫无意义的感慨压根就没过他的脑子。
第一版主