这花费的代价太大了。
成本也太高了。
相比之下，十分划不来。
而且，放出这么一个怪物，对于数学界的博士生来说，也许可能是个灾难。
普通数学博士本就难以毕业，这些小的数学猜想被机器给找到反例，或者证明。
他们怎么办？
难不成不收普通数学博士了，他们教职怎么办，不是直接失业了吗。
倒是姬天明在数学圈露了一次脸。
以形式化证明首席架构师的身份在数学界露脸。
一时间，姬天明在剑桥大学再次出名。
这次出名，可不仅仅是这篇论文。
比尔卡尔那边的论文也整理出来了，一篇崭新的论文合集即将发表在《数学发明》之上。
那可是一篇顶刊啊，可以去很多高校拿一份不错的薪资了。
且才十八岁，对于双有理几何的研究已经到了一个炉火纯青的地步。
什么是炙手可热的天才，这就是炙手可热的天才。
消息传回国内数学界，态度褒贬不一。
也许比姬天明成为普林斯顿高等研究院、剑桥牛顿研究所统一认可的首席架构师这个身份来说，他再次发表一篇四大顶刊论文可能更让人羡慕。
一是羡慕姬天明好命，有丘成桐让比尔卡尔亲自带。
不是比尔卡尔亲自带，姬天明一个研究数论的，怎么可能跟代数几何扯上关系？
更别说研究的还是比尔卡尔这个双有理几何领域的东西。
羡慕，嫉妒。
二是羡慕姬天明年纪轻轻就如此成功，年少成名，谁又不渴望呢。
这种顶刊在国内可以说是资源、地位的象征。
甚至两篇四大，完全可以有机会冲击院士这个名号。
要知道，在国内，截至2017年，产出的总量不足50篇。
其中还有很多是与人合作才发表的。
而且很多还都是国外产出的。
本土个人产出的论文更少更小。
含金量可以说是拉满了。
“你出名了。”
袁亚湘此刻对着姬天明说道，“丘成桐给我打电话问怎么回事，问有没有可能把这个技术带回清华。”
姬天明缓缓道：“出名非我意，但愿...”
袁亚湘问道：“但愿什么？”
“没想好。”
袁亚湘：
装逼装一半发现装不下去了是吧。
“让谢斐然几人来，不就是为了把技术带回去吗。”
“到时候大不了与丘成桐数学中心共享呗。”
“主要是，我们能够申请下来项目吗？
还有经费。”
姬天明问道。
“他们的水平再学几个月也还是半吊子。
远远达不到剑桥这边几十年的积累。
人才是最稀缺的。”
“除非让他们延毕一二年。”
袁亚湘深看了一眼姬天明。
故意延毕，好像确实是可以。
就是容易失去人心。
“不过我做不出这种事情来。”
“其次，经费至少需要500万。
