【请问是否抽奖?】
姬天明没有迟疑,直接内心默念说道:“抽!”
【恭喜宿主获得银级科研模拟*2,模拟值*100,一份原定历史线未来数学发展的大致信息。】
姬天明听到这里愣了一下。
出金了?
竟然还多了一份未来数学发展的大致信息。
他立马查看了起来。
很快就看完了。
果不其然,与当初鲍尔森、沃沃斯基等人预测的一样。
未来数学的发展将会由Ibelle与len主导。
利用I,将证明或者证否很多的数学中小猜想。
甚至是一些重要猜想的反例也会被找出来。
还有不少未来的菲尔兹奖得主将会加入openI。
研究I在数学之中的应用。
数学未来的天变了。
等等,coq呢?
姬天明一愣。
沃沃斯基致力于开发的coq呢。
怎么没名字。
真让len后来居上了?
该不会真是沃沃斯基嘎了之后没了主心骨,团队的核心成员被微软大价钱挖走了。
带走了核心数据与技术,才让Ien成为了后面的主流吧。
文稿之中还说陶哲轩、舒尔茨都会利用Ien完成四大期刊级别的成果。
解决不少的重要猜想。
姬天明看完之后觉得在情理之中,又在意料之外。
舒尔茨也会用len,还发表重大成果。
陶哲轩就不用说了,一直追潮流。
肯定会插一手。
姬天明看完之后,只是得到了一个未来发展的肯定,但也没得到哪些重要猜想被找到反例。
可惜。
出金了,但是金不是很纯。
算了算手中的模拟值,总计350,银级科研模拟*3,金色科研模拟*1。
回到自己的房间之后,姬天明嘀咕了一下。
要不要使用一次银级科研模拟呢?
现在他的理解力15,按理来说水平不会太弱。
“30天真的可以找到一条确切的思路吗?”
“这可是悬而未决数百年的猜想,即便是强如米尔诺都没有能够证明。
最后只得把他写在自己的书里,让后人想办法去证明。”
姬天明目前想的思路是学习维亚佐夫斯卡。
用证明8维与24维的想法,结合几何分析,看能否找到一个确切的思路。
完全摒弃黑尔斯的那种证明思路,就得从头开始。
一连多天,得益于理解力突破到15,加上他对几何分析的了解越来越多。
很多想法都涌现了出来。
维亚佐夫斯卡的论文并不多,姬天明读起来十分容易。
这篇论文与黑尔斯的论文比起来,完全是展现什么叫纯粹数学的极致之美。
数学猜想的证明就该这么优美!
除去上个世纪70年的部分内容,其余的内容放在19世纪末,都可能被当代的数学家理解。
其核心的内容,甚至就是19世纪的数学。
“这世界,还真是天才辈出,天下英雄如同过江之鲫啊。”
即便是他15的理解力,不深耕这个领域多年,也无法找到如此精妙的方法与辅助函数。