那边留有人脉，曾经的博士生导师牛逼，加上他现在的身份地位，就水到渠成的去了。
允许带两个学生。
袁亚湘说道：“这次来的人不多，但在数学界都算有名的人物。”
“其中一个还解决了数学界四百多年的猜想。”
二人颇为好奇的问道：“谁？”
袁亚湘缓缓说道：“托马斯·黑尔斯，形式化证明了克卜勒猜想。”
“这个猜想，他证明了二十年，今年才被期刊正式接收。不过有些人还是不认可。”
“认为他的论文是计算机验证的，所以如果有更好的方法，也许可以踩着他的头出名”
o
二人：
克卜勒猜想，三奖得主米尔诺当年都没能解决，他们真的可以吗？
黑尔斯不也证明了二十年，还被数学年刊给拒稿过...，最后只刊登了理论部分。
其余部分直接不认可。
“不过此次去最主要的不是这些事情，而是计算机辅助验证数学证明，应该要被写入数学史了。”
二人皱着眉头，计算机辅助验证数学证明。
这确实是不被数学界主流认可。
袁亚湘缓缓道：“这次参会的80%以上是计算机领域的，主流数学家几乎完全不参与、不认可，也就一位菲尔兹奖得主参与。”
“可它的的确确是一个发展的方向。也许未来哪天I智能化能达到小说和影视中的水平。
甚至于I来破解数学猜想，找出数学猜想的反例，大部分数学家也许只能够担任一个验证I推理证明的工具。
数学界的研究方向也许就得变天了。”
“这种敏锐的认知被他们捕捉到了。
其中一个原因就是克卜勒猜想已被形式化证明。”
“而剑桥大学艾萨克·牛顿数学科学研究所作为全球最顶级的纯数学研究机构之一.
