即便是想要超越北大，都难如登天。
姬天明无语的看了一眼他，道：“现如今机会就在眼前，恩师，你必须要考虑一下是不是此生仅有的一次机会。”
袁亚湘：？
“嗯？怎么说？”
姬天明说道：“这个证明助手的框架，我们可以派三五个学生过来学一下，顶多三个月，就可以把底层框架学完。”
“然后回去我们自己搭建一个类似coq与Ibelle的助手。”
袁亚湘愣了一下，说了跟沃沃斯基一样的话。
人才不够，国内对前沿数学的研究人数不多。
甚至很多方向都没人。
“先搭建个草台班子，后面可以慢慢搬他们的东西嘛。”
“尽快，我会把时间放慢。”
袁亚湘迟疑了一下，道：“东大自己研发的证明助手？”
姬天明说道：“先模仿，再改进，最后超越。”
“我得跟席南华院长说下，另外也得跟杨乐院士说一下。”
袁亚湘现在不是院长了，这些事情得跟他们商量。
而这位席南华院士，出身比姬天明与袁亚湘还要低。
当年读的仅仅是一个大专。
不过那个年代的大专稀有无比，也十分厉害了。
后续在华东师范大学读的硕博。
中科院做的博后。
当袁亚湘把事情经过说了一遍之后，他说道：“我们成为国际前沿？”
他有点错愕。
什么时候东大数学界还能够成为国际前沿的？
那个姬天明他倒是听过。
走了一个关系发了数学年刊，不然应该只能上其余四大。
但那也是四大。
十八岁用严格的数学语言证否了一个大数学家的猜想。
已经说明了实力。
袁亚湘找他与清华合办联合培养项目并特招他，他一点没犹豫。
只是今儿才多久，在剑桥搞出这么大的动静？
难道说？
他中科院数学真要狠狠的崛起了？
“行，暂时派五个，经费紧张，五个人去英国三个月，吃喝拉撒住都是钱。”
袁亚湘点了点头，就是因为钱的事情，所以才要多多考虑。
搞纯数很难申请到大额经费。
出国访学，往返机票一大笔钱。
吃住行全部都是花英镑。
还是三个月，这笔钱可不少。
五个人，三个月哪怕一人只花五千英镑，2.5万英镑算上往返机票啥的就是二三十万RMB。
留学，除非是公派的，或者全额奖学金，普通家庭根本没法留学欧美。
席南华的效率还是很高的。
很快抽调了中科院的五个水平还不错的博士生。
他们表示一周之内就会赶到剑桥。
史浩铭则是忙着租一个大点的房子，为他们的到来做好准备。
鲍尔森催了姬天明几天，姬天明一直拖着。
要么跟沃沃斯基谈coq的基础框架，要么让他们自己先搞。
顺手抽空研究一下克卜勒猜想与几何分析。
他一天时间根本不够用。
还有两个关于双有理几何的问题没解决。
这两个问题确实是比较难，主要是他之前研究的核心是几何分析。
现在一下子跑来研究代数几何，还是双有理几何，就很突兀。
要不是之前的基础很好，现在根本研究不动。
两个问题，也十分适合代数几何的形式化项目，为接下来的框架提供一批真实的前沿的代数几何测试数据集。
“有点意思。”
一直思考到中科院这边来人，他才想到了两个问题的证明思路。
以及后续形式化的思路。
算上之前的十个问题，加上这两个开拓性的子问题，以及为代数几何形式化开辟研究方向，基本可以整理成为一个合集，发表在四大期刊之上。
没多久，姬天明就收到了袁亚湘的人员名单。
姬天明就去见了见他们。
谢斐然，本科渝大，现在中科院读的硕博，师从田野教授。
赵小文，本科东南大学，也是直博生。
还有南大本硕的张汉文、中科大本硕的邹景瀚以及本科郑州大学的陆龙。
姬天明看了一圈，奈奈的，本科都比他好啊。
其中竟然还有两个华五本科的。
最差都是211。
淦。
“见到你们很高兴，接下来的工作会很辛苦，也很难。”
“生活上的也不会很好。”
“英国这边的吃的不行，物价高，花的都是英镑，我们经费紧张，只能够委屈大家了。”
“但是，我向你们保证，这个项目是让我们中科院数学所辉煌的第一步。”
