他也十分认可你的数学天赋与潜力。
不幸的是,沃沃斯基回到普林斯顿不足一个月就因动脉瘤逝世。
享年51岁。
他没能看到你开发的数学证明助手。
也没能见到你功成名就,在数学史上留下浓墨重彩的一笔。
你这时候才知道,这是他的遗作,也是他后半生追求的遗愿,甚至是说夙愿。
你感觉这八篇论文沉甸甸的。
他原本是想要给阿美利坚的大型科技公司的,最后到了你的手中。
【模拟结束。】
光影如同潮水一般从姬天明意识中退去,他坐在房间缓缓睁眼。
60天的模拟让他脑袋发胀。
未来60天的信息太多了。
特别是沃沃斯基竟然逝世了。
难不成在剑桥大学吵架把他气的?
然后回去药石无医?
心态对于病情的影响看来确实是十分重大的。
那八篇论文,嗯,必须要搞到手!
【模拟结算。】
【本次人生评级:B—】
【评价:还行。
11.0的理解力让你在菲奖级别的成果中如鱼得水。
你在计算机辅助数学证明做出了一项开创性的工作。
得益于你之前数学建模的时候深入学过编程,也得益于你不断学习听报告会,还得益于你的基础确实雄厚。
数学未来的发展到底会如何,我想你的内心应该已经有了答案!】
【奖励发放:理解力+1,记忆力+1;
当前天赋面板:理解力12,记忆力8,模拟值130,金、银级科研模拟*1(30天)。
额外信息:未来计算机辅助数学证明将会成为主流,当I大模型发展到一定程度,绝大多数数学工作者将会从解决成千上万的数学猜想转变为验证I证明数学猜想的证明论文。
模拟之中关于代数几何库的构造灵感保留。】
姬天明:?
“这就没了?”
“我勒个去,我给比尔卡尔解决的数学问题的那些思路、证明过程呢?
我那么多的代码也没有吗?
那么多的基础集合库也没有吗?”
“还有那四部分的知识也不同步?”
姬天明人傻了。
普通模拟好是好,可有点坑啊。
这么多工作,他一个人,即便是模拟了,也得做很久。
好在是关键灵感保留了。
不然真得花费两个月。
姬天明叹了口气,不能太贪了。
他得到了两份最为关键的东西。
未来I时代数学的发展方向问题,以及菲尔兹奖得主沃沃斯基手中的八篇论文。
其余的,都可以慢慢来。
还有一个问题,那就是黑尔斯克卜勒猜想的问题。
姬天明准备先看看,看看真能改进一下他的证明不。
他那证明,足足有250页笔记和3GB的电脑程式、数据与结果,涉及求解约10万个线性规划问题,覆盖5000多种球体构型。
这听上去就离谱。
丝毫不具备数学证明的美感。
也难怪《数学年刊》不给他刊登。
他要是改进了证明方式。
那就两次名动剑桥咯!
就在姬天明这么想的时候,系统直接给颁发了一个任务。
【叮,发布大任务三—名动剑桥:改进克卜勒猜想的证明方式。
黑尔斯如此丑陋的证明方式完全不具备任何的数学的美感。
你作为一个未来的数学宗师,怎么可以见证此等证明?
来吧,让剑桥的人颤抖吧!
让他们见识一下你的风采!
名动剑桥!
奖励:金色抽奖机会一次,理解力+2,模拟值+100。】
姬天明看着系统对黑尔斯的这份工作的评价忍不住抽了抽嘴。