手机浏览器扫描二维码访问
另一幢屋子。
陈付山在白板上写定理证明,身后不远处梅杰坐在那儿,开着直播记着笔记。
记号笔的声音吱吱作响,在夏日里听起来意外能让人沉下心来。
陈付山的声音和记号笔一样,在夏日里有种降温效果,如同室内正在积极运作的空调,稳定吹着冷风:“这一块的衍生内容已超出了我课程的授课范围,属于我研究的项目内容之一。定理证明程序的基准测试例题,可以在TPTP上找。如果有兴趣参赛,可以考虑去参加CASC。”
他手停顿了一下,继续书写:“当然,定理证明百分之八十的问题已经解决,余下很难突破,现在已没落。阿贡小组解散都十四年了。人工智能的深度学习这些年来的进步,完全得益于硬件发展,但定理证明和硬件无关。很可惜。”
所有学生都知道陈付山是研究数学、计算机以及人工智能这一块的。
能在他这里听到可惜,那是真的很可惜。
电脑里有人发出提问:“教授,您最近的项目不是有所进展么?”
陈付山将白板上内容写完:“将深度神经网络应用到定理证明里确实是一个方向。”
他看了眼手表上的时间:“该吃午饭了。”
所有人懵了一下,纷纷看向自己电脑上的时间。
十一点,分毫不差。
梅杰早就知道今天中午终于可以不再吃三明治或者汉堡,飞快将手上东西收好,对着电脑直播镜头挤眉弄眼:“今天有位美丽的女士要请我们一块儿吃饭。再见了各位。”
直播间里所有学生脑袋上问号更多。
啥和啥?咋回事啊?
谁啊?
梅杰记着之前一群人嘲笑他需要看科幻,得意在公屏里打下:不用太羡慕,也就是听说要和我们一起吃饭吃到开学。
学生们又是一脸问号。
梅杰关掉直播间,搓手准备迎接午饭。
门铃响起,他冲在自家教授前面:“教授我去开门!”
态度十分积极。
梅杰满脸堆笑打开门,笑容顿住。
门口两名黑衣人一身西装,双手交错在身前,腰背挺直,身形挺拔,面无表情,气势凌冽。裤子口袋鼓鼓,感觉藏着什么很厉害的东西。
梅杰迅速收敛笑容,举起自己双手投降:“我是良民,学生,来旅游的。”
黑衣人中间突然探出一个可可爱爱,头顶草帽的小脑袋。
路婉婉睁大眼睛好奇问梅杰:“什么?”
梅杰:“……”
吓死他了!
作者有话要说: 幼儿园在抓紧开了,在抓紧开了。
现在主要是女主和男主初好感互动阶段,动完就开。
感谢灌溉营养液的小天使:阿树懒子17瓶;
第11章
赶海捕鱼赚灵石照顾嫂嫂刷熟练度,生活系长生类修仙。本书又名长生从捕鱼开始我真不是草贼。心急吃不了热豆腐。因为有前戏,有铺垫。答应我,往后看,绝对有你们想看的内容。我认真写,你们闲暇时解闷,希望能博君一乐,谢谢!...
简介关于我打造了救世组织得到了一个末日救世系统,只要拯救世界就可以拥有一切。吸纳顶级人才,打造泛人理守护协会,以人理守护者的姿态降临于一个个末日世界中,让整个世界瞻仰他的身姿,将他奉若神明。究极天灾。变异狂潮。邪神低语。于是,一个横跨诸多世界,以守护人理为己任,于毁灭命运中拯救文明的庞大组织,逐渐在世人眼中显现。书友群623592973...
有人说网游无经典,那我的书立在这里就是一个里程碑!本书写作认真,风趣幽默,不给你震撼也给你眼前一亮的感觉。...
作品简介双男主冷面阎王假装柔弱的校霸甜宠被各殿阎王看上是什么感受?这破天地运气砸自己身上了一中校霸宋淼被死党钱飞喊去江湖救急在学校后巷打架被人在后面袭击打了后脑勺留了好多血晕了过去送到医院的时候抢救了过来却一直昏迷着那天晚上刚好是七月十五因为白无常着急参加一年一次的集市灯会勾错了魂把校霸宋淼给勾到了地府当宋淼睁开眼睛时就看到身边站着个穿着白色衣服轻衣飘飘地美男子又环顾了四周我是在做梦吗?这是哪里?不对钱飞呢?我刚刚不是在帮他打架?旁边那男的对他说道快点跟上今天集市人多小心挤丢了我可没那么多闲功夫找你宋淼一脸疑惑地看着身旁地男子白无常不耐烦地拉着他地手别傻楞着了叫你跟上先陪我逛一下集市买点东西我在送你去大殿见阎王宋淼问道什么大殿?什么阎王?你们在拍电影嘛?兄弟我对拍电影可没兴趣请你把手松开我要回家了?...
突然醒来,美容师许多多现躺在沙上,她看看周边的环境,现自己穿越了重生了。原主是个开美容院的老板娘,因为生意一直不好,卖掉了房子,男朋友出轨,自己郁郁而终。还好空间在手,里面都是自己前世的护肤养生医疗珍宝,许多多开始重新装修升级店面。这天,一位刁钻客户找上门来许多多,你给我用的什么淡斑产品,你看看我都毁容了我开美容养生院,数钱数到手抽筋...
揍渣男打女主配角逆袭...