笔看阁

手机浏览器扫描二维码访问

第18章（第1页）

威森接过文档飞快先整体扫了一眼。

金额支出后面缀有的“0”

太多，以至于他不得不从标点符号来判断路婉婉打算支出的整体金额。

这是一座岛上幼儿园，进出只能依靠船或者直升机。

监控要覆盖整座岛以及周边的海面情况，保镖除了每个学生需要一名之外，还要有足够的人手轮值巡逻和守卫整个岛，确保万无一失。

岛并不在公海之上，所以更高危的东西不太容易会出现。

由于要保护的是孩子，所以在选人时，更侧重要一些身体素质强，同时容貌亲和一些的保镖。

保镖身上所配备的设置也要一并购入。

威森考虑了一下可行性，和路婉婉沟通：“具体需要添加的设施还要等上岛后再看，我会保证岛上所有人的安全。”

路婉婉应了一声。

威森给路婉婉介绍了一些这几年新出来的并不违规的自保武器，建议路婉婉回头一并买了。

路婉婉翻出了自己小金库，当然不差钱，全部都应下。

一个上午时间过起来飞快。

路婉婉抽空问了一下陈付山忌口，在得到没有忌口后，交代了科拉。

厨师科拉做好了路婉婉需要的三人份餐，全部放入保温盒，将保温盒陆续送到车上：“小姐，午餐已经准备好了。

请问是送到哪里一起用呢？”

路婉婉起身稍微活动了一下身体，脸上挂起甜甜笑容：“就在附近不远处。”

她换上浅淡粉嫩的高跟鞋，扣上草帽，带上厨师和保镖一块儿出门。

另一幢屋子。

陈付山在白板上写定理证明，身后不远处梅杰坐在那儿，开着直播记着笔记。

记号笔的声音吱吱作响，在夏日里听起来意外能让人沉下心来。

陈付山的声音和记号笔一样，在夏日里有种降温效果，如同室内正在积极运作的空调，稳定吹着冷风：“这一块的衍生内容已超出了我课程的授课范围，属于我研究的项目内容之一。

定理证明程序的基准测试例题，可以在tptp上找。

如果有兴趣参赛，可以考虑去参加casc。”

他手停顿了一下，继续书写：“当然，定理证明百分之八十的问题已经解决，余下很难突破，现在已没落。

阿贡小组解散都十四年了。

人工智能的深度学习这些年来的进步，完全得益于硬件发展，但定理证明和硬件无关。

很可惜。”

所有学生都知道陈付山是研究数学、计算机以及人工智能这一块的。

能在他这里听到可惜，那是真的很可惜。

电脑里有人发出提问：“教授，您最近的项目不是有所进展么？”

陈付山将白板上内容写完：“将深度神经网络应用到定理证明里确实是一个方向。”

他看了眼手表上的时间：“该吃午饭了。”

所有人懵了一下，纷纷看向自己电脑上的时间。