88看书>青春校园>蓝星海钻>第176章自动机
错误的。所以说我们现在正在研发了第三台机器证明3.0,能用不同的几个数学模块相互组合。这种机器证明出来的东西我们就能看懂,当然也可以推动第四台机器证明4.0,可以创立新命题,对数学有重大推动作用。”

祖文远说:“我跟你们一起参与3.0的研究吧,我都很感兴趣了。”

吴俊说:“你最重要的就是需要理解很多数学理论与逻辑符合的联系,这样找到一种算法就可以制造机器证明3.0。”

祖文远说:“如果能够得到机器证明4.0,那是很多数学家梦寐以求的事情。”

吴俊说:“不过呢,你还是需要见见那个女孩,时间长了,说不定可以培养出感情,而且她是做基因编辑研究的,基因计算或许需要你的帮忙。”

祖文远说:“好吧,她不排斥我就行。”

之间吴俊画出了黎曼zeta函数的各种不同角度的图案,祖文远大为惊奇。

祖文远说:“你能教教我吗?你能画出连电脑都难以计算的图形?”

吴俊说:“能追上吉妮,我再教你。”


状态提示:第176章自动机
本章阅读结束,请阅读下一章
回到顶部