第100章 名动剑桥（五）——首席架构师！
在场不少人喊了出来。
跟着沃沃斯基、保尔森、黑尔斯等一众博导研究形式化的博士生可不少。
他们也是比谁都希望姬天明成功。
特别是剑桥计算机那边的。
无异于又有新的方向可以发论文了。
姬天明这波操作，不仅是奠定了他的地位。
更是为他们后续发论文提供了一个新的方向。
今天是代数几何，后面是不是可以做微分几何？
而且今天这次的代数几何也有很大的局限性，仅仅是双有理几何之中的一个分类。
还可以在双有理几何之中继续完善水论文。
甚至可以在代数几何之中完善。
总之，所有的人都希望姬天明成功。
他成功了对所有人都好。
甚至于这个方向很可能是未来开创性的主流方向。
他们现在跟着姬天明进场，未来就是这个领域的权威专家。
有这个身份，未来去任何高校任职待遇与地位可不会低。
特别是在场很多人不是普林斯顿大学的博士，也很多不是剑桥大学的博士生。
他们的竞争力与这两个大学比起来，就明显不足。
姬天明看见这群博士生欢呼，忍不住翻白眼，道：“成了，你们成了什么！？”
一旁的菲奖得主沃沃斯基笑着说道：“你让他们有了更多的可能。”
“他们这会感谢你呢。”
“不出意外，未来他们会把你捧上天。”
姬天明：
好家伙。
“还没彻底成呢，只是第一个例子而已，后面还有很多调试的。”
姬天明依旧是一脸不容乐观。
鲍尔森此刻开口说道：“第一个成功已经证明这套框架的可行性。
后面无非是修修改改，大方向没问题，剩下的细节你交给他们做。
我想他们是争先恐后的抢着做，毕竟，是能够上顶刊的论文。”
两个形式化助手开发大佬发话，讲台之下一群人眼巴巴的看着姬天明。
二人对姬天明这框架很自信。
鲍尔森不用说了，姬天明用的是他开发的助手。
而沃沃斯基也看到了这套框架在他的助手上使用的可能。
要知道，沃沃斯基不仅仅是菲尔兹奖得主这么简单。
更是主导UniM项目构建数学全球资料库的一号人物。
不然也不会受邀到剑桥大学了。
姬天明摇了摇头，道：“他们？”
“他们不行的。”
众人：
看不起谁呢？
好歹也是跟着顶尖博导的博士生。
也称得上全球名校博士生。
怎么就不行了？
“下一个例子。”
姬天明没理会他们，这群人太乐观了。
他当初模拟可是实验了好多天。
反复调试才成功。
现在虽然有人打杂，可并不代表一次性就能够成功。
果不其然，后面几个例子，都有很大的局限性。
有的例子一次性成功，有的却反复失败。
姬天明当场让这群博士生修改。
结果根本不懂代数几何，特别是双有理几何。
无法理解数学结构与内容，根本无从下手。
