“抱歉，我曾经拒绝了一份50万欧的年薪工作。”
众人：？？？
你咋不上天？
吹牛也不是这么吹的啊。
五十万欧？
只有袁亚湘知道姬天明说的是真的。
他当初真怕姬天明答应啊。
三百万年薪啊，他一年到头都没这么多。
虽然，西北勘测局那边看中的是姬天明拉大项目的能力。
鲍尔森与沃沃斯基面面相觑，看着袁亚湘，好像在问是真的假的。
袁亚湘缓缓道：“嗯，当初他拒绝了一份这么高工资的工作。
辛巴威与尚比亚那边的水电站设计工作就是他做的，差不多拉了20多亿美刀的投资给了法国与东大这边的建筑公司。”
“参与的有欧洲银行、非洲银行以及阿美利坚等等。”
众人：！！！
尼玛，这小子这么恐怖吗？
那可是20多亿刀的投资啊。
日，难怪愿意花这么高的年薪。
是他们也愿意花五十万欧找这么一个财神爷啊。
甚至一百万欧元都愿意。
“可我们形式化验证工作离不开你啊。”
他们真的找不到精通高阶数学又懂他们这个小众分类编程的人了。
现在形式化证明还不是数学主流，这次会议之后也许才会慢慢进入数学界的视野。
但是也需要发展啊。
搭建代数几何其余的库，也需要人懂代数几何啊，搭建微分几何的基础数学库，也需要人懂微分几何的整体框架啊。
不至于到时候瞎弄一个框架，然后承接不了高深的微分几何知识，那有什么用。
不能够做高阶数学证明推导，毫无意义。
姬天明嘴角抽了抽。
说实话，他一个人也无法完善这个助手。
沃沃斯基那边有整个美国的团队。
而鲍尔森这边也是整个欧洲的团队。
研究的人虽然不是那么多，可也不少。
他回国之后，啥都没，自己培养人来都得好几年。
等他培养出一系列的人才，黄花菜都凉了。
即便是coq、Ibelle、Ien这些是免费的，但未来哪一天制裁一手，就知道厉害
了。
唯一的方式是他学会这几门的底层框架与代码，回国先申请一份项目基金，把史浩铭拉过来，再弄点中科院的研究生，搭建一个草台班子。
然后做一做。
“我可以帮你们，甚至免费做。”
“我还可以先完善Ibelle的全部代数几何库。”
“不过我还需要了解一下Ibelle完整框架，另外需要带我师兄学一下。”
鲍尔森：！？
这小子野心很大啊，想要学走他的技术。
不过这可不是一个人能够完成的。
可是他还有几十年积累下来的数学库。
他立马说道：“可以！”
姬天明答应，这无异于领先普林斯顿，领先微软的Ien。
即便是现在的Len根本没有竞争力，既不如沃沃斯基的助手开发的系统，也不如Ib
elle。
可后劲很足。
背靠微软，发展起来是迟早的事情。
砸钱就行了。
沃沃斯基一脸难看。
他想要说什么吧，可这是别人欧洲研究理事会赞助的钱。
总不能给他们普林斯顿吧？
