手机浏览器扫描二维码访问
另一幢屋子。
陈付山在白板上写定理证明,身后不远处梅杰坐在那儿,开着直播记着笔记。
记号笔的声音吱吱作响,在夏日里听起来意外能让人沉下心来。
陈付山的声音和记号笔一样,在夏日里有种降温效果,如同室内正在积极运作的空调,稳定吹着冷风:“这一块的衍生内容已超出了我课程的授课范围,属于我研究的项目内容之一。定理证明程序的基准测试例题,可以在TPTP上找。如果有兴趣参赛,可以考虑去参加CASC。”
他手停顿了一下,继续书写:“当然,定理证明百分之八十的问题已经解决,余下很难突破,现在已没落。阿贡小组解散都十四年了。人工智能的深度学习这些年来的进步,完全得益于硬件发展,但定理证明和硬件无关。很可惜。”
所有学生都知道陈付山是研究数学、计算机以及人工智能这一块的。
能在他这里听到可惜,那是真的很可惜。
电脑里有人发出提问:“教授,您最近的项目不是有所进展么?”
陈付山将白板上内容写完:“将深度神经网络应用到定理证明里确实是一个方向。”
他看了眼手表上的时间:“该吃午饭了。”
所有人懵了一下,纷纷看向自己电脑上的时间。
十一点,分毫不差。
梅杰早就知道今天中午终于可以不再吃三明治或者汉堡,飞快将手上东西收好,对着电脑直播镜头挤眉弄眼:“今天有位美丽的女士要请我们一块儿吃饭。再见了各位。”
直播间里所有学生脑袋上问号更多。
啥和啥?咋回事啊?
谁啊?
梅杰记着之前一群人嘲笑他需要看科幻,得意在公屏里打下:不用太羡慕,也就是听说要和我们一起吃饭吃到开学。
学生们又是一脸问号。
梅杰关掉直播间,搓手准备迎接午饭。
门铃响起,他冲在自家教授前面:“教授我去开门!”
态度十分积极。
梅杰满脸堆笑打开门,笑容顿住。
门口两名黑衣人一身西装,双手交错在身前,腰背挺直,身形挺拔,面无表情,气势凌冽。裤子口袋鼓鼓,感觉藏着什么很厉害的东西。
梅杰迅速收敛笑容,举起自己双手投降:“我是良民,学生,来旅游的。”
黑衣人中间突然探出一个可可爱爱,头顶草帽的小脑袋。
路婉婉睁大眼睛好奇问梅杰:“什么?”
梅杰:“……”
吓死他了!
作者有话要说: 幼儿园在抓紧开了,在抓紧开了。
现在主要是女主和男主初好感互动阶段,动完就开。
感谢灌溉营养液的小天使:阿树懒子17瓶;
第11章
简介关于末世天灾,抢艘航母当基地末世天灾降临,世界一片狼藉。周麟重生在天灾降临前三天,获得了共生能力。经过深思熟虑后,他坐上了前往岛国的航班。两天后,举世震惊漂亮国最大最先进的核动力航母,在岛国港口完成了补给后凭空消失!漂亮国岛国和夏国毛国因此一级战备。然而仅仅二十四小时后,岛国的士富山和漂亮国的石黄火山同时爆,末世天灾降临...
诸天流,前期影视剧。(中后期动漫小说)藏锋一穿越过来就被通缉了,这事儿弄的真悲催,然后,竟然发现身边的人物都是所熟悉的影片中角色和美女。那么由此我来,我见,我征服。第一世界余zui第二世界港综读者1群六九六五五五九零四(期待加入)...
作品简介关于四合院傻柱不傻,智斗众禽魂穿四合院?成了傻柱子那个大怨种恰逢第二次遇到了美女老师冉秋叶是抓住这个第二次改变命运的机会?还是顺其自然,让秦寡妇搅黄姻缘?然后帮寡妇养活一家子白眼狼?最后安详的冻死在桥洞里?不行绝对不能和傻柱子一样,有机会重活一世,我有权选择新的人生,我觉对不走傻柱的老路!与众禽斗智斗勇,摆脱算计反向pua众禽,让每个人都有不一样的结局!总之我的命运我做主,你们的命运我帮你们改变!多角度描写四合院家常里短,让你看到一个不一样的四合院看何雨柱如何改变悲惨命运,反转人生!...
路一刚一落地,她爸就撇了嘴,是个丫头片子。路一刚三个月,罚款两千八,她妈就觉得,这孩子可真邪性。路一刚七个月,路爷爷去世,她奶就觉得,这孩子不能要了!种啥因,结啥果,结果这家就把啥都推到路一身上了。爹不像是个亲爹,妈像是个后妈,奶更不用提,看都不带看这孩子一眼。小小的路一随随便便的长大了,她在家就活成了仨字受气包路一的春天...
简介关于奈何江总裁又撩又欲(又名被前任上司狂撩宠爱)佛系咸鱼女主容简vs人前矜贵高冷总裁只在女主面前温柔粘人男主江应淮矜贵禁欲二十七年的江总裁去c市出了趟差,结果把心丢在那里了,江氏集团常年处于寒冬冷气的三十二楼终于迎来了属于它春天。容简第一次见到江应淮,是在假男友公司的庆祝会上,对方就站在人群之外,表情淡然,带着高位掌权人的冷然和疏离,引人瞩目又让人不敢靠近。她却忍不住想要去亵渎。后来这位矜贵冷漠的江总裁一次次地低声诱哄着叫她的名字,露出一副副破坏人设的面孔。故意不接他的电话,会委屈巴巴地消息说简简,我想和你打电话。调侃他变脸和小孩子一样的时候,会心不红心不跳地江小淮想要吻你,可不可以。分别再聚的时候,会缱绻缠绵地低声说宝宝,我好想你。已解锁人设男主上班人设江总裁,纯情人设江应淮,撒娇人设江小淮排副cp有BL再排全文甜腻撒狗粮,路过的狗都要被塞一口那种慎入,十六岁以下慎入,蠢作者会突然加踩油门,疯起来连自己都会被塞狗粮最后排工作内容全部都是自己瞎编的,没有参考意义,...
简介关于铠甲之主角和反派都看我来气李如松作为前世一个996的卑微打工仔,在周末看铠甲勇士之时,被系统稀里糊涂的带到了铠甲世界,让他亲身体验一把!可浏览完系统的功能以及,他所处的环境之后。李如松狗系统,老子不干这事,有伤天和太丧良心了!系统咳咳咳,宿主请注意言辞,还有你确定不干吗?想想你上辈子穷的就剩下良心和品德了!李如松好吧,不过我提前声明一下,我是为了生存不得已而为之,此非我所愿也!多年以后李如松我有一件事很好奇,北三水我暴揍过你很多次,你恨我,我能理解,可是美真,炘南,我是屠城了,还是灭国了?你们用这种悲愤的眼神看着我?我所作所为一直都是为了维护世界粉和平而奋斗,只是过程中的手段,有些不光彩。系统锤爆了人家的铠甲,还不够,还把光影石拍碎了李如松好吧,就算是我对主角团的行为有些过分,但是,恶金,你们五个没良心的,还有黑帝这个白眼狼,你们凭什么痛恨我?系统你虽然救了黑帝一命,却把他放进了一个黑心养老院,让他晚年的生活过的还不如之前当乞丐的时候呢。至于暗影五护法,也不知道是谁在五位当事人不知道的情况下,就以他们的名义,向暗影大帝传讯已经弃暗投明了!你哪边的...