以前听说过Kissat和CaDiCaL,...
2024年11月22日

以前听说过Kissat和CaDiCaL,...

以前听说过Kissat和CaDiCaL, 还听说过LSTM(不过我不是做AI的), 当然还尝试看过一些半代数的东西是如何实现的, 发现这些工作居然都是在Linz这个小城市..这个学校也没啥名气.

数据库推荐 | 皮书数据库
2024年11月22日

数据库推荐 | 皮书数据库

数字资源推荐【数据库推荐 | 皮书数据库】

皮书数据库以社会科学文献出版社“皮书系列”为基础,主要涉及分析解读当下中国发展变迁的专业著作、智库报告、学术资讯、调研数

英伟达三季度业绩超预期...
2024年11月22日

英伟达三季度业绩超预期...

英伟达三季度业绩超预期,说明目前搭建AI算力的需求仍十分强劲,目前来看AI应用层面仍停留在聊天,文案生产等领域,实际应用于更深层次的生产制造或是机器人自主决策方面很少有突破

上海老年人卷到开始冲AI课了
2024年11月22日

上海老年人卷到开始冲AI课了

上海老年人卷到开始冲AI课了 很多老人对AI的期待其实很实在,有的希望它能成为生活中的好帮手,比如提醒吃药、整理物品;有的则渴望通过AI与远方的家人保持更紧密的联系。技术发