tptp上找。如果有兴趣参赛,可以考虑去参加casc。”
他手停顿了一下,继续书写:“当然,定理证明百分之八十的问题已经解决,余下很难突破,现在已没落。阿贡小组解散都十四年了。人工智能的深度学习这些年来的进步,完全得益于硬件发展,但定理证明和硬件无关。很可惜。”
所有学生都知道陈付山是研究数学、计算机以及人工智能这一块的。
能在他这里听到可惜,那是真的很可惜。
电脑里有人发出提问:“教授,您最近的项目不是有所进展么?”
陈付山将白板上内容写完:“将深度神经网络应用到定理证明里确实是一个方向。”
他看了眼手表上的时间:“该吃午饭了。”
所有人懵了一下,纷纷看向自己电脑上的时间。
十一点,分毫不差。
梅杰早就知道今天中午终于可以不再吃三明治或者汉堡,飞快将手上东西收好,对着电脑直播镜头挤眉弄眼:“今天有位美丽的女士要请我们一块儿吃饭。再见了各位。”
直播间里所有学生脑袋上问号更多。
啥和啥?咋回事啊?
谁啊?
梅杰记着之前一群人嘲笑他需要看科幻,得意在公屏里打下:不用太羡慕,也就是听说要和我们一起吃饭吃到开学。
学生们又是一脸问号。
梅杰关掉直播间,搓手准备迎接午饭。
门铃响起,他冲在自家教授前面:“教授我去开门!”
态度十分积极。
梅杰满脸堆笑打开门,笑容顿住。
门口两名黑衣人一身西装,双手交错在身前,腰背挺直,身形挺拔,面无表情,气势凌冽。裤子口袋鼓鼓,感觉藏着什么很厉害的东西。
梅杰迅速收敛笑容,举起自己双手投降:“我是良民,学生,来旅游的。”
黑衣人中间突然探出一个可可爱爱,头顶草帽的小脑袋。
路婉婉睁大眼睛好奇问梅杰:“什么?”
梅杰:“……”
吓
本章未完,请点击下一页继续阅读! 第3页 / 共5页