手机浏览器扫描二维码访问
她换上浅淡粉嫩的高跟鞋,扣上草帽,带上厨师和保镖一块儿出门。
另一幢屋子。
陈付山在白板上写定理证明,身后不远处梅杰坐在那儿,开着直播记着笔记。
记号笔的声音吱吱作响,在夏日里听起来意外能让人沉下心来。
陈付山的声音和记号笔一样,在夏日里有种降温效果,如同室内正在积极运作的空调,稳定吹着冷风:“这一块的衍生内容已超出了我课程的授课范围,属于我研究的项目内容之一。定理证明程序的基准测试例题,可以在tptp上找。如果有兴趣参赛,可以考虑去参加casc。”
他手停顿了一下,继续书写:“当然,定理证明百分之八十的问题已经解决,余下很难突破,现在已没落。阿贡小组解散都十四年了。人工智能的深度学习这些年来的进步,完全得益于硬件发展,但定理证明和硬件无关。很可惜。”
所有学生都知道陈付山是研究数学、计算机以及人工智能这一块的。
能在他这里听到可惜,那是真的很可惜。
电脑里有人发出提问:“教授,您最近的项目不是有所进展么?”
陈付山将白板上内容写完:“将深度神经网络应用到定理证明里确实是一个方向。”
他看了眼手表上的时间:“该吃午饭了。”
所有人懵了一下,纷纷看向自己电脑上的时间。
十一点,分毫不差。
梅杰早就知道今天中午终于可以不再吃三明治或者汉堡,飞快将手上东西收好,对着电脑直播镜头挤眉弄眼:“今天有位美丽的女士要请我们一块儿吃饭。再见了各位。”
直播间里所有学生脑袋上问号更多。
啥和啥?咋回事啊?
谁啊?
梅杰记着之前一群人嘲笑他需要看科幻,得意在公屏里打下:不用太羡慕,也就是听说要和我们一起吃饭吃到开学。
学生们又是一脸问号。
梅杰关掉直播间,搓手准备迎接午饭。
门铃响起,他冲在自家教授前面:“教授我去开门!”
态度十分积极。
梅杰满脸堆笑打开门,笑容顿住。
门口两名黑衣人一身西装,双手交错在身前,腰背挺直,身形挺拔,面无表情,气势凌冽。裤子口袋鼓鼓,感觉藏着什么很厉害的东西。
梅杰迅速收敛笑容,举起自己双手投降:“我是良民,学生,来旅游的。”
黑衣人中间突然探出一个可可爱爱,头顶草帽的小脑袋。
路婉婉睁大眼睛好奇问梅杰:“什么?”
梅杰:“……”
吓死他了!
攻略那个地下城领主 帝师有喜了,孩子是谁的? 备胎不干了 [清穿]弘昼不想当八贤王 怦然为你 世界上没有我们华国人一口吞不下的 我变成人之后 我在仙界上高中 撑腰 我是不是见过你 穿成总裁原配后我爆红了 穿成男配“女友”后 我在八零做美食[重生] 咸鱼崽崽拯救世界[快穿] 穿成康熙嫡长孙 媚君 全世界我最贪恋你 金殿锁娇 把男神写进小说后我搞到真人了 我的前世是海王
八三年靠山屯唯一的知识分子马大丽光荣地从卫校短训班毕业了本来以为会成为一名光荣的村医,却阴差阳错赶鸭子上架成了村小学唯一的老师。开始了她在农忙的时候看顾小孩,顺便往小孩的脑子里塞点知识,让他们不至于...
东汉末年诸侯混战,多少英雄故事不过是为了争权夺利互相攻伐,他们或许只看见站在高处手握生杀的权利,却不见耗尽了民族的精血。 随着司马氏篡夺天下,八王之乱为...
出生就被送走的丞相府嫡长女,十五年后,强势回归。一手医术,活死人肉白骨。为查母亲死亡真相,替白莲花妹妹嫁给有克妻之名的战神珏王。强强联手,一路虐渣打脸,查真相,破谜案,踏着腥风血雨,素手搅动乾坤...
勉为其难穿越到斗罗世界,陈阳向某位大能许下了三个愿望。1,拥有诸天万界最为俊美的外貌,颜值即是正义!2,拥有随便修炼就能到九十九级的天赋!3,拥有几十个神位的传承道具(如海神的三叉戟,修罗神的剑这一类的道具)大能轻而易举的帮助陈阳实现了愿望,而陈阳也获取了龙神和时空间之神的双神位考核(外加其他一大堆有的没的神位)开局穿越到星斗大森林,误打误撞的被古月娜认为是龙神转生前往圣魂村寻找涛哥,没想到涛哥居然认出了陈阳的武魂加入了武魂殿,居然直接成为了武魂殿的圣子陈阳这才意识到,真正的穿越者,比小说里的要离谱的多。本书不跟原著,不舔唐三,主角不是太监。普通读者群756292802(需回答作者的名字)VIP读者群957145721(作者任何一本书五百粉丝值可加,进群请发截图)...
外公留下的青铜器物竟然是上古大巫遗物!初级医师十八年修炼一朝觉醒,得祖巫传承,传承自上古的巫术与现代医术结合,造就新一代神医!能活死人肉白骨,也能追魂夺命!...
穿越十年后。你杀死了1只魔爆蛙,累计杀死魔爆蛙164250只你的法术抗性提升至100水潭边的罗杰揉了揉发酸的老腰,自语道终于好像变得强力了一点点。这是一个被十九环法术轮番核平洗地后的奇幻废土世界。罗杰携带着侠隐的职业模板穿越而来。他只有一个愿望在真正的浩劫爆发之前,每天变强一点点。...