第18頁(第1/2 頁)

威森接過文件飛快先整體掃了一眼。

金額支出後面綴有的「0」太多，以至於他不得不從標點符號來判斷路婉婉打算支出的整體金額。這是一座島上幼兒園，進出只能依靠船或者直升機。

監控要覆蓋整座島以及周邊的海面情況，保鏢除了每個學生需要一名之外，還要有足夠的人手輪值巡邏和守衛整個島，確保萬無一失。

島並不在公海之上，所以更高危的東西不太容易會出現。

由於要保護的是孩子，所以在選人時，更側重要一些身體素質強，同時容貌親和一些的保鏢。保鏢身上所配備的設定也要一併購入。

威森考慮了一下可行性，和路婉婉溝通：「具體需要新增的設施還要等上島後再看，我會保證島上所有人的安全。」

路婉婉應了一聲。

威森給路婉婉介紹了一些這幾年新出來的並不違規的自保武器，建議路婉婉回頭一併買了。

路婉婉翻出了自己小金庫，當然不差錢，全部都應下。

一個上午時間過起來飛快。

路婉婉抽空問了一下陳付山忌口，在得到沒有忌口後，交代了科拉。

廚師科拉做好了路婉婉需要的三人份餐，全部放入保溫盒，將保溫盒陸續送到車上：「小姐，午餐已經準備好了。請問是送到哪裡一起用呢？」

路婉婉起身稍微活動了一下身體，臉上掛起甜甜笑容：「就在附近不遠處。」

她換上淺淡粉嫩的高跟鞋，扣上草帽，帶上廚師和保鏢一塊兒出門。

另一幢屋子。

陳付山在白板上寫定理證明，身後不遠處梅傑坐在那兒，開著直播記著筆記。

記號筆的聲音吱吱作響，在夏日裡聽起來意外能讓人沉下心來。

陳付山的聲音和記號筆一樣，在夏日裡有種降溫效果，如同室內正在積極運作的空調，穩定吹著冷風：「這一塊的衍生內容已超出了我課程的授課範圍，屬於我研究的專案內容之一。定理證明程式的基準測試例題，可以在tptp上找。如果有興趣參賽，可以考慮去參加casc。」

他手停頓了一下，繼續書寫：「當然，定理證明百分之八十的問題已經解決，餘下很難突破，現在已沒落。阿貢小組解散都十四年了。人工智慧的深度學習這些年來的進步，完全得益於硬體發展，但定理證明和硬體無關。很可惜。」

所有學生都知道陳付山是研究數學、計算機以及人工智慧這一塊的。

能在他這裡聽到可惜，那是真的很可惜。

電腦裡有人發出提問：「教授，您最近的專案不是有所進展麼？」

陳付山將白板上內容寫完：「將深度神經網路應用到定理證明裡確實是一個方向。」

他看了眼手錶上的時間：「該吃午飯了。」

所有人懵了一下，紛紛看向自己電腦上的時間。

十一點，分毫不差。

梅傑早就知道今天中午終於可以不再吃三明治或者漢堡，飛快將手上東西收好，對著電腦直播鏡頭擠眉弄眼：「今天有位美麗的女士要請我們一塊兒吃飯。再見了各位。」

直播間裡所有學生腦袋上問號更多。

啥和啥？咋回事啊？

誰啊？

梅傑記著之前一群人嘲笑他需要看科幻，得意在公屏裡打下：不用太羨慕，也就是聽說要和我們一起吃飯吃到開學。

學生們又是一臉問號。

梅傑關掉直播間，搓手準備迎接午飯。

門鈴響起，他沖在自家教授前面：「教授我去開門！」

態度十分積極。

梅傑滿臉堆笑開啟門，笑容頓住。

門口兩名黑衣人