申请经费都得靠两个导师。
只见沃沃斯基缓缓道:“据我所知,你们国内的研究生想要申请经费,怕是不容易。
而且人才也不够,无法彻底完善代数几何的库。
更别说未来代数几何要是再次发展,那又该怎么办?”
姬天明也想过这些问题,模拟的时候回去根本干不赢微软。
打不过就加入?
又不换国籍。
可一旦加入,那就得被全网黑了。
但沃沃斯基说的又是事实,谁会相信一个研究生?
失败了谁来担这个责任,长久不出成果谁来负责?
P大与复旦怕是不会放过这个机会。
哪怕是他们自己出国不回来拿绿卡的学生也比比皆是。
但姬天明可是有着信仰的,断然不可能,哪怕是多费一点模拟的机会。
“我应该不大会入职微软,也不大会出国留学了,顶多学术交流会出国。
类似剑桥这种。”
沃沃斯基听到姬天明这话,眼中闪过一丝异样。
他本以为姬天明也是类似前沙俄的那批人。
经过如此深的利益剖析之后,会跟他走。
没想到这小子真能够忍住上百万美元年薪的诱惑。
还有入职普林斯顿高等研究院当终身教授的诱惑。
沃沃斯基说道:“我打算在待半个月就离开了。”
“见你在代数几何这么有天赋,只要能够把代数几何的库全部给整出来大部分,我告诉你一个惊喜。”
姬天明:?
模拟的时候这家伙怎么不给个惊喜。
难不成是因为今天的聊天?
“有话直说,我会不断完善代数几何这个框架的,即便是无法强过微软,但微软的工具也是开源了的,至少我未来以合作者的身份可以用。”
姬天明讨厌谜语人。
沃沃斯基想了想,道:“见你都敢公布克卜勒猜想的证明思路,我也给你一个惊喜,我认为三维雅可比猜想是错的,用这种助手寻找反例,很可能找出反例来。”
“到时候你真用自己的助手找到这种级别猜想的反例。
你在你们国内应该能够获得一些支持才对。”
姬天明:?
沃日,这还真是惊喜了。
特征零下,雅可比行列式非零常数的多项式映射,必然是双有理映射。
他这段时间对于双有理研究可谓是十分深入了。
都快成为不弱于比尔卡尔的这种高手了。
雅可比猜想的反例,本质就是双有理多项式自映射,只是不是全局同构。
换句话说就是逆映射有理、但不是多项式,对应原映射存在多对一的点。
他现在研发的CLoF不断完善,完全可以做到。
姬天明此刻好奇的问道:“您是怎么发现的?”
沃沃斯基缓缓道:“我年轻的时候做过双有理等价刻画,知道这个问题的死结。
理论上猜得到高维大概率有反例,但没人能把具体构造试出来。多项式系数组合太多了,人工试一百年也碰不到。
之前我想过用Coq做批量筛选,但UniM的代数几何库太薄,撑不起这种规模的遍历。你这套CLoF不一样,有结构继承,有奇点模式匹配,能把搜索空间压下来。”
姬天明此刻语气都变了,都用上了谦辞,说道:“您可以回去立马开始做啊。”
沃沃斯基瞪了他一眼,道:“沃特玛的,我都要死了,回去还要处理后事。”
“别得了便宜还卖乖。”
姬天明:...
“回去忙着做这些,也不一定短时间可以做出来,我能活多久?”
“一个月,两个月?还是三个月?”