算是为极小模型纲领也就是代数几何的核心框架提供了关键支撑，推动了双有理几何的系统化分类，并为后续解决法诺簇模空间的紧化问题奠定基础。”
“这种水平，已经有大师的风采。”
二人：
他与丘成桐的人脉还真不是盖的。
一个能够带他们来这种会议，一个随便找个人就是未来菲尔兹奖得主的有力竞争者。
“那他与恽之伟、张伟等人，谁更有机会？”
袁亚湘瞥了姬天明一眼，道：“当然是比尔卡尔。”
“明年他大概率拿一块菲奖，就看今年对BB猜想的推广做得如何了。”
二人似懂非懂的点了点头，没多久比尔卡尔带着他的博士生一起走了过来。
“你好，袁主席。”
袁亚湘在国际上的地位还是很高的。
“你好，没想到你与丘先生还有联系。”
二人很快热情的打着招呼。
比尔卡尔十分热情，道：“我做BB猜想就是得到了丘先生的肯定与指导。”
“听说丘先生收了一个天才关门弟子，本科阶段就即将发一篇数学年刊。
在数论领域是个新星天才。”
姬天明一脸不好意思，他的名声都已经传到了剑桥大学吗？
还真是让人舒服呢。
“泥嚎！”
姬天明就喜欢跟这种有认知的人一起。
一旁的袁亚湘说道：“那你们聚，劳伦斯·保尔森找我商量大事。”
“有比尔卡尔教授在，我也放心。
他挺忙的，作为一个知名人物。
姬天明点了点头，道：“恩师你尽管去，见势不妙记得切割。”
袁亚湘：...。
没多久，二人就跟着比尔卡尔到了一家义大利餐厅。
“这家义大利餐厅主打西西里披萨和提拉米苏，食材新鲜且分量足，是剑桥大学数学系学生聚餐的热门选择。”
比尔卡尔很热情，这个热情除了姬天明的数学水平之外，更多的还是感激丘成桐对于他的帮助。
毕竟丘成桐都亲自打电话过来说了这是他的关门大弟子。
几个人一边吃，一边聊，不自觉地就聊到了这次的会议。
比尔卡尔说道：“这是未来发展的趋势，但是未来发展得快与慢都不确定。
据我所知，这些工具底层是类型论逻辑，和我们熟悉的集合论思维完全不同。
证明代码晦涩难懂，写完的证明只有开发者自己能看懂，完全不符合数学研究的交流习惯。”
“更别说数学库零散，复用效率极低。
也没有规模化的工程范式。黑尔斯形式化证明克卜勒猜想，是一个核心团队+10年手搓才证明的。”
姬天明一听，果然，有点水平的数学家对这个确实是挺关注的。
