“也是未来成为数学中心的第一步。”
众人都读到了博士，自然不会被姬天明三言两语给骗了。
而姬天明继续说道：“但是这个工作做好了，未来有机会留在中科院工作。”
众人：？
你算老几，都还没进中科院大门，凭什么给他们画大饼。
一旁的袁院士都没说话。
袁亚湘看准时机，恰到好处的开口说道：“我的爱徒说得没错。”
“这是一个划时代的框架，我相信你们导师跟你们说得很清楚，也是席南华院士千挑万选选出来的。”
“我相信你们，好好听姬天明的。”
“史浩铭会尽快带你们熟悉这边的生活以及基础工作，然后去剑桥大学计算机系跟着系主任一起学Ibelle底层框架与构建。”
“还有coq以及len的底层框架，尽可能多搬一些资料库。”
“干得好，就留下来任职，干得不好，我不确保你们能不能找到高校教职。”
众人缓缓打出一个问号：？
这都威胁上了。
要不要这么慎重。
关键是能跟着一帮顶尖大佬做事。
菲奖得主沃沃斯基，是只在传闻中听过的人物。
而黑尔斯也只是听闻过证明了克卜勒猜想，师从顶级数学家朗兰兹。
没想到他们能量这么大。
干得好，前途无量，干得不好，直接封杀。
属实是有点恐怖了。
“我们一定努力。”
姬天明点了点头，道：“嗯，很好，中科院数学所的一小步，东大数学的一大步！”
“到时候没有P大帮，只有我们中科院帮！”
“先把沃沃斯基的论文翻译成为中文，并且写出读书笔记。
后面学Ibelle也要给出进度，一旦进度不够，就给我回国去。”
“一周汇报一次。”
众人：？
到底谁是他们的导师。
这个一周一次怎么堪比组会啊。
“为了东大的数学事业！”
姬天明喊道。
众人也只有无奈跟着中二喊道：“为了东大的数学事业！”
跟他们说完了之后，姬天明这才接了鲍尔森的电话。
“不是，你到底要什么时候才开始。这都六天了。”
他语气有些无奈与急切。
姬天明也很无奈，谁知道加急出国也要等这么几天。
“我知道你很急，但是您先别急。”
“这几天我一直在思考比尔卡尔交给我的问题如何用Ibelle形式化表示出来。”
“今天，我总算是想到了。”
鲍尔森原本急切的语气慢了下来：“这几天我看你天天跟沃沃斯基走得很近，以为要用coq了呢。为他们搭建框架。”
姬天明瞬间了然，原来是这么回事，他一脸正色的说道：“你放心，我最看不起沃沃斯基这种人了。
更不会帮助他。背弃了自己的母国，虽然他的母国自己没了。
但是也背弃了母国的信仰。”
“这种人，我姬天明十分不屑。”
鲍尔森听到这里悬着的心都放了下来，道：“你这么说我就放心了。”
“姬，我相信你的人品，沃沃斯基就是一个假清高的人。
他要是那幺正直与无私，干嘛不回去？”
姬天明嘴角抽了抽，他也很无奈啊，两个大佬为他争风吃醋。
必须得安抚好了。
一个是别人的不传论文，另一个是带着手下几号人去学别人的技术。
哪边都不能够得罪啊。
关键是其中一个大佬黑尔斯还在天天求他研究克卜勒猜想。
以求更为简单的形式化证明，搭建起离散几何形式化的框架。
明年大概率拿菲奖的比尔卡尔也十分关心他的进展。
要是真能够把他的部分内容形式化，明年的菲奖又多了一项报告成果。
毕竟，今年的菲尔兹奖提名已经提名上去了。
“您放心，明天我就来，不过我带几个师兄学习一下Ibelle的构架没问题吧？”
“放心，明天我一定给你一个惊喜。”
鲍尔森此刻说道：“没问题，不过为啥要明天？今天！”
“我不想看到你与沃沃斯基那么亲密的交流了。”
姬天明嘴角抽了抽，真是同行是冤家，他们恨不得把彼此都一把抓住，然后顷刻炼化。
谁不希望竞争对手死！
死了我就一家独大，甚至形成垄断。
姬天明此刻说道：“师兄来了剑桥，我总得招待一下不是？先挂了。”
挂断电话之后，姬天明此刻仰头看着天，对着新来的几个还不服他的博士生缓缓道：“三句话，让无数大佬为我痴迷。”
“我是一个精通人性、善于让大佬为我着迷的本科生。”
“听懂掌声！”
众人：
论装逼技术，他感觉还得跟他这位爱徒好好学学。
倒是史浩铭此时此刻已经心如止水了，他已经习惯了姬天明随时随地的装逼了。
随地大小装。
