祖文远说:“我跟你们一起参与3.0的研究吧,我都很感兴趣了。”
吴俊说:“你最重要的就是需要理解很多数学理论与逻辑符合的联系,这样找到一种算法就可以制造机器证明3.0。”
祖文远说:“如果能够得到机器证明4.0,那是很多数学家梦寐以求的事情。”
吴俊说:“不过呢,你还是需要见见那个女孩,时间长了,说不定可以培养出感情,而且她是做基因编辑研究的,基因计算或许需要你的帮忙。”
祖文远说:“好吧,她不排斥我就行。”
之间吴俊画出了黎曼zeta函数的各种不同角度的图案,祖文远大为惊奇。
祖文远说:“你能教教我吗?你能画出连电脑都难以计算的图形?”
吴俊说:“能追上吉妮,我再教你。”