第426章 罗宇，《数学年刊》？

第426章 罗宇，《数学年刊》？ (第2/2页)

【莎拉罗薇博士因其对安德鲁斯–柯蒂斯猜想的证伪作出了突破性贡献而获此殊荣。】
　　
　　【她构造了挠精化态和不变量，首次在稳定等价意义下给出反例，从根本上改变了组合群论中关於呈示化简问题的方法论。】
　　
　　【该成果的大规模符号验证与形式化证书，由燕大数学专用模型未央协助完成。】
　　
　　【莎拉罗薇博士将受邀访问高等研究院，并作布尔甘讲座。】
　　
　　新闻稿虽然不算长，但在数学圈子里却掀起了不小的波澜。
　　
　　之前塞勒姆奖的得主，大家都知道大概率是普林斯顿的博後，卢卡斯维斯特贝里。
　　
　　他解决的三维波动方程的局部光滑猜想，确实很漂亮。
　　
　　论成果的重要程度，拿塞勒姆奖确实是没有问题的。
　　
　　可谁也没想到，临到塞勒姆奖前夕，获奖人居然变成了莎拉。
　　
　　当然莎拉的成果在分量上确实甩了维斯特贝里不止一条街，这一点没有人会有异议。
　　
　　真正让人诧异的是新闻稿里的那句“由燕大数学专用模型未央协助完成”。
　　
　　这可是高等研究院的官方稿件呀。
　　
　　这句话出现在里面就相当於ias承认了未央，是一个合格的数学研究夥伴。
　　
　　所以圈子里很快就争论了起来。
　　
　　“普林斯顿高等研究院正式承认ai可以参与顶级数学研究了？”
　　
　　“有什麽不认可的？到现在为止，全世界跑过那份证书的课题组加起来快三位数了，有谁能指出其中哪怕一个错误吗？”
　　
　　……
　　
　　不过就算争论的声音再大，一个不争的事实也摆在了圈子里所有人的面前。
　　
　　数学界正在慢慢接受未央这个能干苦力而且绝不会出错的夥伴。
　　
　　……
　　
　　京城，京师大。
　　
　　罗宇的办公室里，他坐在电脑前，屏幕上一半是数学推导，另一半是未央的对话窗口。
　　
　　那个窗口里是一份刚完成的验证报告。
　　
　　他让未央帮他核验的是一条关於galois表示形变环的结果：对一类在特定素数处“奇分歧”的剩余表示，他证明了其kisin形变环是形式光滑的，从而在一个新的情形下完成了模性提升。
　　
　　简单来说就是……他证明了某一类来自几何的对象，确实能被自守形式所“捕获”。
　　
　　这个结果算不上石破天惊，但绝对不小。
　　
　　在这个方向上，taylor–wiles方法是公认的主干道，但它对表示的分歧条件卡得很死。
　　
　　罗宇做的事是在taylor–wiles框架之外，用一种新的局部－整体相容性论证，绕过了那些最刁钻的分歧限制。
　　
　　思路不算全新，但技术上处理的干净利索。
　　
　　足以让他在《数学年刊》上发一篇一作了。
　　
　　而有了这篇论文，他去麻省理工拿终身教职这件事，就再也不需要看任何人的脸色。
　　
　　甚至都不用再依赖之前那些人帮他牵线搭桥了。
　　
　　不受制於人，这对罗宇来说太重要了。
　　
　　他长长地松了一口气，然後闭上了眼，嘴角浮起一丝压都压不住的笑。
　　
　　他睁开眼，看了看桌上散落的草稿纸。
　　
　　这上面全是他这大半年反反复复推导的草稿。
　　
　　他也不得不感叹，未央确实太好用了。
　　
　　可想到未央是燕大弄出来的。
　　
　　他的笑容就淡了一些。
　　
　　然後他又想到了那个人——李东