2024年11月22日
以前听说过Kissat和CaDiCaL,...
以前听说过Kissat和CaDiCaL, 还听说过LSTM(不过我不是做AI的), 当然还尝试看过一些半代数的东西是如何实现的, 发现这些工作居然都是在Linz这个小城市..这个学校也没啥名气.
以前听说过Kissat和CaDiCaL, 还听说过LSTM(不过我不是做AI的), 当然还尝试看过一些半代数的东西是如何实现的, 发现这些工作居然都是在Linz这个小城市..这个学校也没啥名气.
数字资源推荐【数据库推荐 | 皮书数据库】
皮书数据库以社会科学文献出版社“皮书系列”为基础，主要涉及分析解读当下中国发展变迁的专业著作、智库报告、学术资讯、调研数
【Logica – Declarative logic programming language for data】网页链接 Logica – 开源的数据声明性逻辑编程语言。
乡村孩子用AI看到了10年后的自己AI的意义就在于能改变每个行业，让每个人都能通过AI去实现自己的梦想，让梦想的实现变的更轻松，更具象化，此刻感受到了科技的魅力
甘肃山区孩子的
英伟达三季度业绩超预期，说明目前搭建AI算力的需求仍十分强劲，目前来看AI应用层面仍停留在聊天，文案生产等领域，实际应用于更深层次的生产制造或是机器人自主决策方面很少有突破
上海老年人卷到开始冲AI课了 很多老人对AI的期待其实很实在，有的希望它能成为生活中的好帮手，比如提醒吃药、整理物品；有的则渴望通过AI与远方的家人保持更紧密的联系。技术发
这个故事是AI（claude 3.5）告诉我的，实际上有这个故事吗（或传说、小说都可以）？只要有来历就行，能证明不是AI编的就行。
![[LG]《BONE: a unifying...](http://wx4.sinaimg.cn/bmiddle/5396ee05ly1hvr3xdvqxuj21cc0y0nb1.jpg)
[LG]《BONE: a unifying framework for Bayesian online learning in non-stationary environments》G Duran-Martin, L Sánchez-Betancourt, A Y. Shestopaloff, K Murphy