手机浏览器扫描二维码访问
另一幢屋子。
陈付山在白板上写定理证明,身后不远处梅杰坐在那儿,开着直播记着笔记。
记号笔的声音吱吱作响,在夏日里听起来意外能让人沉下心来。
陈付山的声音和记号笔一样,在夏日里有种降温效果,如同室内正在积极运作的空调,稳定吹着冷风:“这一块的衍生内容已超出了我课程的授课范围,属于我研究的项目内容之一。定理证明程序的基准测试例题,可以在TPTP上找。如果有兴趣参赛,可以考虑去参加CASC。”
他手停顿了一下,继续书写:“当然,定理证明百分之八十的问题已经解决,余下很难突破,现在已没落。阿贡小组解散都十四年了。人工智能的深度学习这些年来的进步,完全得益于硬件发展,但定理证明和硬件无关。很可惜。”
所有学生都知道陈付山是研究数学、计算机以及人工智能这一块的。
能在他这里听到可惜,那是真的很可惜。
电脑里有人发出提问:“教授,您最近的项目不是有所进展么?”
陈付山将白板上内容写完:“将深度神经网络应用到定理证明里确实是一个方向。”
他看了眼手表上的时间:“该吃午饭了。”
所有人懵了一下,纷纷看向自己电脑上的时间。
十一点,分毫不差。
梅杰早就知道今天中午终于可以不再吃三明治或者汉堡,飞快将手上东西收好,对着电脑直播镜头挤眉弄眼:“今天有位美丽的女士要请我们一块儿吃饭。再见了各位。”
直播间里所有学生脑袋上问号更多。
啥和啥?咋回事啊?
谁啊?
梅杰记着之前一群人嘲笑他需要看科幻,得意在公屏里打下:不用太羡慕,也就是听说要和我们一起吃饭吃到开学。
学生们又是一脸问号。
梅杰关掉直播间,搓手准备迎接午饭。
门铃响起,他冲在自家教授前面:“教授我去开门!”
态度十分积极。
梅杰满脸堆笑打开门,笑容顿住。
门口两名黑衣人一身西装,双手交错在身前,腰背挺直,身形挺拔,面无表情,气势凌冽。裤子口袋鼓鼓,感觉藏着什么很厉害的东西。
梅杰迅速收敛笑容,举起自己双手投降:“我是良民,学生,来旅游的。”
黑衣人中间突然探出一个可可爱爱,头顶草帽的小脑袋。
路婉婉睁大眼睛好奇问梅杰:“什么?”
梅杰:“……”
吓死他了!
作者有话要说: 幼儿园在抓紧开了,在抓紧开了。
现在主要是女主和男主初好感互动阶段,动完就开。
感谢灌溉营养液的小天使:阿树懒子17瓶;
第11章
当宇智波阳一穿越后,忍界的画风就歪了起来。顺手牵羊和他人接触时,随机拿走一件对方身上的物品。纲手我的胖刺呢?为什么搭了一下肩膀就没了?双向透视任何东西都阻挡不了你的视线,各位书友要是觉得木叶我,宇智波,满满正能量还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦!...
获得了门矢士能力的陈俊很高兴,以为自己能够变身成为假面骑士帝骑,从此走上了人生巅峰!??只可惜他继承的只是门矢士的能力,而假面骑士帝骑却并不是门矢士的能力之一。门矢士想要成为假面骑士?想要成为帝骑?那么你去努力吧,用自己的双手去创造属于你自己的帝骑,少年哦,我看好你哟陈俊泥奏凯!!!...
落魄的皇朝储君,得始皇绝学,承龙神血脉,一朝蜕变!以身为炉,意志为火,融合奇珍异铁神兵宝刃,成就无上肉身。纵横天地唯我尊,宇宙星空谁能敌?高歌猛进,踏天而行!吾之意志,浩瀚磅礴,吾之战力,盖世无双!我名林寒,古今第一战皇!...
简介关于我,哥布林,开局拯救精灵宅男悠一因熬夜玩游戏猝死,转生为一只弱小的哥布林,却意外获得成为哥布林贤王的进化道路,一路上遇到各种魔物娘同伴,精灵,猫妖,龙娘,等等,更是遇到了同为异世界的敌对来客。在这片由骑士和魔法主导的大6,魔物和外神的入侵时有生,他能否带领众魔物娘在帝国战姬和圣女的围剿下活下去?毕竟,活着才是这片混乱的莱登堡大6的主旋律!(ps尽量做到每一个重要角色都配备插图)(ps如果没有意外的话,我想做一本类似魔物娘图鉴,尽可能把每一个知道的魔物娘都出场一遍…所以…内容应该是足够丰富的,敬请期待吧!此致!)...
简介关于马斯克竟是反派?掌握国家机密的计算机天才突遭绑架,好友侦探解开谜题却死于非命。当越人类知识水平的现象出现后,权利财富,似乎都变得不再重要。...
凤鸣村位于大别山腹地,四面环山。山高出美女,深山藏佳丽,这句话说得很有道理。凤鸣村区区几千人口,竟然有一千多号长相出众的女人。所谓祸福相依,凤鸣村的女人虽然长得漂亮,但却寂寞无比,难道他们缺少男...