发现了乔喻的存在之后,弗兰克在登陆了华夏的互联网搜索了许多关于乔喻的信息。
恰好乔喻之前上热搜之后,许多本来只在铁一中公众号上的信息也被有心人放到了网上。
比如乔喻一次模拟考被老师定为范文的作文。
那篇作文里,乔喻用细腻的文字讲述了清明节他如同往常一样跟妈妈去陵园祭祀他的父亲,表达了他对父亲的思念跟缅怀,感情极为真挚。
真的,当时弗兰克都被浅浅的感动了……当然也有愤怒。
他认为是乔曦欺骗了乔喻,告诉乔喻他已经死了,那个女人甚至明知道他还活着,却给他立了个碑。
是的,弗兰克根本没想到那篇作文还有最后一段,只不过太过欧亨利,老师怕教坏其他同学,在公众号里给删去了……
以至于他看到乔喻微博中说他父亲在很小的时候就已经走了,也跟其他网友一样,认为这句话的意思是他已经死了……
看吧,很多时候,信息就是在传播过程中,这样逐渐变得残缺,并带给人们诸多可怕的误解。
网络上的信息也许不全是假的,但最可怕的地方也在于,这些信息不全是假的……
……
巴黎,皇家莫奈酒店,乔喻跟舒尔茨很愉快的聊了一整个下午。
他提出了一些问题,也从舒尔茨教授口中得到了回答,既包含了关于完备空间理论的问题,也包含了现在舒尔茨正在做的事情。
这次交谈也让乔喻大开眼界,得知了许多关于舒尔茨最近研究的第一手信息,也就是液态张量实验的具体信息。
针对这一项目,舒尔茨提出了液体同调理论。
简单来说就是借助完备空间,构造一个更进一步高度抽象的框架,涉及大量的高度抽象的代数和几何构造,以至于传统的手工验证难以保证其严格的正确性。
所以必须通过液态张量实验,利用计算机辅助的形式化证明,来验证这些构造的正确性跟一致性。
这个项目让乔喻很感兴趣,除了因为很赚钱外,更让乔喻看到了诸多可能。
让人工智能辅佐数学家对进行数学定理的证明,这着实是太抽象了。
然而这个让乔喻兴奋不已的项目,带给他的打击也是巨大的。
因为数学家在这个项目中需要做的事情是把诸多的数学定理和命题进行细致的分解,让计算机可以理解的同时,还要确保每个步骤在形式化过程中都是准确的