第9节（2 / 4）
路婉婉抽空问了一下陈付山忌口，在得到没有忌口后，交代了科拉。
厨师科拉做好了路婉婉需要的三人份餐，全部放入保温盒，将保温盒陆续送到车上：“小姐，午餐已经准备好了。请问是送到哪里一起用呢？”
路婉婉起身稍微活动了一下身体，脸上挂起甜甜笑容：“就在附近不远处。”
她换上浅淡粉嫩的高跟鞋，扣上草帽，带上厨师和保镖一块儿出门。
另一幢屋子。
陈付山在白板上写定理证明，身后不远处梅杰坐在那儿，开着直播记着笔记。
记号笔的声音吱吱作响，在夏日里听起来意外能让人沉下心来。
陈付山的声音和记号笔一样，在夏日里有种降温效果，如同室内正在积极运作的空调，稳定吹着冷风：“这一块的衍生内容已超出了我课程的授课范围，属于我研究的项目内容之一。定理证明程序的基准测试例题，可以在tptp上找。如果有兴趣参赛，可以考虑去参加casc。”
他手停顿了一下，继续书写：“当然，定理证明百分之八十的问题已经解决，余下很难突破，现在已没落。阿贡小组解散都十四年了。人工智能的深度学习这些年来的进步，完全得益于硬件发展，但定理证明和硬件无关。很可惜。”
所有学生都知道陈付山是研究数学、计算机以及人工智能这一块的。
能在他这里听到可惜，那是真的很可惜。
电脑里有人发出提问：“教授，您最近的项目不是有所进展么？”
陈付山将白板上内容写完：“将深度神经网络应用到定理证明里确实是一个方向。”
他看了眼手表上的时间：“该吃午饭了。”
所有人懵了一下，纷纷看向自己电脑上的时间。
十一点，分毫不差。
梅杰早就知道今天中午终于可以不再吃三明治或者汉堡，飞快将手上东西收好，对着电脑直播镜头挤眉弄眼：“今天有位美丽的女士要请我们一块儿吃饭。再见了各位。”
直播间里所有学生脑袋上问号更多。
啥和啥？咋回事啊？
谁啊？
梅杰记着之前一群人嘲笑他需要看科幻，得意在公屏里打下：不用太羡慕，也就是听说要和我们一起吃饭吃到开学。
学生们又是一脸问号。
梅杰关掉直播间，搓手准备迎接午饭。
门铃响起，他冲在自家教授前面：“教授我去开门！”
态度十分积极。
梅杰满脸堆笑打开门，笑容顿住。
门口两名黑衣人一身西装，双手交错在身前，腰背挺直，身形挺拔，面无表情，气势凌冽。裤子口袋鼓鼓，感觉藏着什么很厉害的东西。
梅杰迅速收敛笑容，举起自己双手投降：“我是良民，学生，来旅游的。”
黑衣人中间突然探出一个可可爱爱，头顶草帽的小脑袋。
路婉婉睁大眼睛好奇问梅杰：“什么？” ↑返回顶部↑
厨师科拉做好了路婉婉需要的三人份餐，全部放入保温盒，将保温盒陆续送到车上：“小姐，午餐已经准备好了。请问是送到哪里一起用呢？”
路婉婉起身稍微活动了一下身体，脸上挂起甜甜笑容：“就在附近不远处。”
她换上浅淡粉嫩的高跟鞋，扣上草帽，带上厨师和保镖一块儿出门。
另一幢屋子。
陈付山在白板上写定理证明，身后不远处梅杰坐在那儿，开着直播记着笔记。
记号笔的声音吱吱作响，在夏日里听起来意外能让人沉下心来。
陈付山的声音和记号笔一样，在夏日里有种降温效果，如同室内正在积极运作的空调，稳定吹着冷风：“这一块的衍生内容已超出了我课程的授课范围，属于我研究的项目内容之一。定理证明程序的基准测试例题，可以在tptp上找。如果有兴趣参赛，可以考虑去参加casc。”
他手停顿了一下，继续书写：“当然，定理证明百分之八十的问题已经解决，余下很难突破，现在已没落。阿贡小组解散都十四年了。人工智能的深度学习这些年来的进步，完全得益于硬件发展，但定理证明和硬件无关。很可惜。”
所有学生都知道陈付山是研究数学、计算机以及人工智能这一块的。
能在他这里听到可惜，那是真的很可惜。
电脑里有人发出提问：“教授，您最近的项目不是有所进展么？”
陈付山将白板上内容写完：“将深度神经网络应用到定理证明里确实是一个方向。”
他看了眼手表上的时间：“该吃午饭了。”
所有人懵了一下，纷纷看向自己电脑上的时间。
十一点，分毫不差。
梅杰早就知道今天中午终于可以不再吃三明治或者汉堡，飞快将手上东西收好，对着电脑直播镜头挤眉弄眼：“今天有位美丽的女士要请我们一块儿吃饭。再见了各位。”
直播间里所有学生脑袋上问号更多。
啥和啥？咋回事啊？
谁啊？
梅杰记着之前一群人嘲笑他需要看科幻，得意在公屏里打下：不用太羡慕，也就是听说要和我们一起吃饭吃到开学。
学生们又是一脸问号。
梅杰关掉直播间，搓手准备迎接午饭。
门铃响起，他冲在自家教授前面：“教授我去开门！”
态度十分积极。
梅杰满脸堆笑打开门，笑容顿住。
门口两名黑衣人一身西装，双手交错在身前，腰背挺直，身形挺拔，面无表情，气势凌冽。裤子口袋鼓鼓，感觉藏着什么很厉害的东西。
梅杰迅速收敛笑容，举起自己双手投降：“我是良民，学生，来旅游的。”
黑衣人中间突然探出一个可可爱爱，头顶草帽的小脑袋。
路婉婉睁大眼睛好奇问梅杰：“什么？” ↑返回顶部↑