第103章 传奇的开始
关于克卜勒猜想另外一种证明方式，姬天明还要花一点时间整理一下思路。
至少得把理解力再提升一点。
然后模拟一下。
大任务一与二，一个是参与到BB猜想的后续应用与特征p推广，一个是撬动Big
Proof计划的架构革命！
基本上完成得七七八八了。
这两个任务基本上算是完成了。
就等后面的收官了。
剑桥这边为姬天明安排了很高规格的报告会。
两个小猜想的反例激励了他们很多人。
也让很多人看到了这个工具的未来。
这是寻找很多猜想反例的重要手段。
现在还需要不断搭建代数几何其余方向的框架。
然后需要找人无限往里面填充各种定义与定理，发展代数几何的库。
这是一个长期的大工程。
有了之前的经验，加上很多人的帮助，姬天明工作倒是少了很多。
有时间研究其余的。
比如把当初比尔卡尔给出的问题更一般化。
因为比尔卡尔那边告诉姬天明，这些问题即便是整理成为一个分支的合集，上四大期刊也有点难度。
《数学发明》的主编要求姬天明把之前的十来个问题也都形式化，这样就可以形成一个解决重要问题→开拓双有理几何空白领域→形成理论合集→形式化证明。
这样一来，也算是有极强的原创性与实质性的数学分支推进。
还有一个新生的数学手段。
算得上一篇比较不错的稿子。
最后形式化的问题其实并不难，辛苦一些史浩铭、谢斐然、赵小文等人就是。
反正他们是来学习的，不过一遍手是不行的。
也算是帮姬天明本人节约一点时间。
倒是沃沃斯基听说了这个事情，找到姬天明，问道：“干嘛不投数学年刊，你不知道我在普林斯顿的地位？”
“我打声招呼就可以了。”
“甚至让德利涅亲自给你审稿，他可是代数几何皇帝格罗滕迪克的亲传弟子啊。”
姬天明：
有这种关系怎么不早说？
现在都确定给德国的《数学发明》投了。
人家甚至都给了很好的修改意见，他怎么可能这个时候投数学年刊。
这沃沃斯基这么来问，肯定是因为那十多个问题都可以用形式化证明才来的。
姬天明此刻说道：“这个事情是比尔卡尔教授决定的，我没办法。”
“而且我只是合作者，这个论文也有比尔卡尔教授的名字。
毕竟这些问题他其实是有解决的思路，这些问题也是他发现提出来的。
碍于丘先生的面子才给我做的。”
沃沃斯基点了点头，就好像卡拉比丘流形这种嘛。
这在学术界很常见。
也是老人带新人的常规手段。
给出具体问题，甚至还给一些思路，以及做错过的思路，让手底下的博士生去研究。
而人家明年要冲击菲奖，自然需要更多的成果。
一些垃圾导师别说共一，二作都够呛。
“比尔卡尔已经有数学大师的样子，明年菲奖应该稳了。”
然后他换了个话题，“奥，行吧，我准备八月份就回普林斯顿高等研究院了。
你真的不去吗？”
“你代数几何的天赋很高，我可以向德利涅教授推荐你，去他那里读博。”
姬天明摆了摆手，他知道德利涅，菲尔兹奖、沃尔夫数学奖与阿贝尔奖三大奖大满贯得主。
