设备采购、博士生和博士后的工资等,以及未来与I的结合都需要经费。”
“恩师你在剑桥也这么久了,他们那边已经申请了一亿多欧元的I开发项目。
国内哪个高校有这么多经费,也根本没I前沿研究者,总不能与那几个大厂合作吧。
那到时候成果算谁的,谁是主导权,利益怎么分,这些都需要考虑进去。”
袁亚湘点了点头,姬天明考虑的确实是没错。
与国内大厂结合,最关键的就是利益问题。
以及合同。
这些可都是吃人不眨眼的企业啊。
马虎不得。
他缓缓说道:“你还没考虑一个关键的问题。”
姬天明问道:“什么问题?”
袁亚湘带着一丝深意说道:“你猜国内的老一辈数学家们会同意吗?”
“特别是你的同行们。”
姬天明:..
“这不是还有您嘛。”
袁亚湘摇了摇头,道:“我不是万能的。
要不你尽快毕业,再发表几篇四大顶刊论文,我们这边直接让你当正教授。”
姬天明点了点头,道:“比尔卡尔的双有理问题我基本解决了,今年审稿完毕,下半年就可以发表一篇。
刚好我半年毕业。”
袁亚湘眼皮子跳了跳,半年硕士毕业,手握两篇四大顶刊。
还是形式化证明的奠基人与首席架构师。
他还不知足,道:“最好来个稍微大点的猜想的证明。”
姬天明白了他一眼,袁亚湘也是真敢想。
“大一点的猜想,很难的。”
“不过倒是有个现成的猜想。”
姬天明缓缓道。
袁亚湘好奇,问道:“什么猜想?”
姬天明没隐瞒,直接说道:“克卜勒猜想的三维情况。”
袁亚湘:?
“这能行吗?黑尔斯那证明没问题的,主流数学界基本认可。”
“除非你能够给出不同的证明方式,与他的思路完全不一样。”
“否则没可能上顶刊的。”
姬天明前前后后一个多月,几乎天天与黑尔斯交流,也在看他的理论部分。
在12.0的理解力之下,总算是看完了。
姬天明此刻说道:“我已经隐隐有了一个大概的思路。”
“不过具体的还需要花点时间来验证。”
袁亚湘一愣,道:“不会吧,这才多久,那可是离散几何领域的东西啊。”
“你就看完了?”
姬天明点了点头,道:“我之前学了很多分支的东西,可以无缝衔接,他这个论文的数学板块虽然涉及得多。”
“可我几乎全部都有涉猎。入手起来没啥难度。”
“而且黑尔斯也会跟我解释其中的一些东西,这样一来,就更快了。”
袁亚湘:“不过黑尔斯想的是让我简化他的形式化证明过程。”
袁亚湘:“你直接给出另外一种证明思路是吧,你小子,这么做有点不厚道啊。”
姬天明说道:“没办法,有时候灵感就是来得这么突然。”
“而且他那个证明,我觉得无论怎么优化都不如优化一开始的证明思路。”
“与其在原有的论文上浪费时间,不如从一开始就选择其余的思路与方向。”
“也算是给黑尔斯以及数学界的同仁们一个交代。
这个跨越了三百多年的猜想,是对的。”
袁亚湘愣了一下,看着姬天明意气风发与自信的样子,感觉像极了当年的他。
“很好,有我当年的风范,不愧是我袁亚湘的学生。”
“走之前,给剑桥来个大的!”
姬天明点了点头,道:“走之前,给剑桥来个大的!”
P:求订阅