AI信息差
AI记忆系统首获统一框架！6大操作让大模型拥有人类记忆能力
AI记忆机制团队 投稿 量子位 | 公众号 QbitAI 当AI不再只是“即兴发挥”的对话者，而开始拥有“记忆力”——我们该如何重新定义智能？ 来自香港中文大学、爱丁堡大学、香港科技大学与华为爱丁堡研究中心的研究团队联合发布了一项关于AI记忆机制的系统性综述，旨在在大模型时代背景下，重新审视并系统化理解智能体的记忆构建与演化路径。 大语言模型（LLMs）正...
斯坦福意外用AI生成超强CUDA内核，性能比人类专家优化得还要好！翻倍碾压原生PyTorch，华人主创
明敏 克雷西 发自 凹非寺 量子位 | 公众号 QbitAI 好家伙，AI意外生成的内核（kernel），性能比人类专家专门优化过的还要好！ 斯坦福最近披露了一组新发现，结果真的太亮眼了。 由AI优化的内核，在常见深度学习操作上，翻倍超越原生PyTorch，性能至多可以提升近400%—— 矩阵乘法（Matmul，FP32）：性能达到PyTorch torc...
o3崛起，但推理模型离「撞墙」只剩一年？
新智元报道 编辑：英智 【新智元导读】OpenAI的o3推理模型席卷AI界，算力暴增10倍，能力突飞猛进！但专家警告：最多一年，推理模型可能一年内撞上算力资源极限。OpenAI还能否带来惊喜？ 最多一年，推理模型就会撞上训练算力的「天花板」。 OpenAI的o3这样的推理模型，诞生还不到一年，能力已经突飞猛进。OpenAI的研究人员非常乐观地认为，...
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
闻乐 发自 凹非寺 量子位 | 公众号 QbitAI 陶哲轩转发，AI搞数学证明的标准习题集来了！ DeepMind最新开源形式化数学猜想库—— 猜想库收录了经典的形式化表述的数学猜想集合，例如，解析数论中的四个朗道问题。 不仅如此，资源库中还提供了各种代码函数，以方便用户对自然语言的数学猜想进行形式化的表述。 陶哲轩曾用Lean形式化证明了PFR猜想（多...
阿里通义开源「推理+搜索」预训练新框架：小模型媲美大模型，多个开放域问答数据集表现显著提升
通义实验室 投稿 量子位 | 公众号 QbitAI 为提升大模型“推理+搜索”能力，阿里通义实验室出手了。 最新研究开源全新通用预训练框架——MaskSearch，在域内及跨域开放域问答任务上均较基线方法取得显著性能提升。 小模型甚至能媲美大模型表现。 在推理+搜索方向，通义实验室搜索团队已提出ZeroSearch、OmniSearch等工作，通过在特定的...
Redis 之父：哪怕被喷我也得说，AI 远远落后于人类程序员！开发者跟评：用大模型气得我自己写代码都有劲儿了
本播客由扣子空间（coze.cn）一键生成 整理 | 褚杏娟 核子可乐 Redis 之父 Salvatore Sanfilippo 近日分享了自己的一次研发经历并直接表达了自己的观点：人类程序员仍比大模型更出色。“因为我们能够真正打破常规、设想出一些奇特且并不精确、但就是更有成效的解法，而这对大模型来说则极其困难。” 在社区中，大家更习惯称呼 Sanfil...
对话即界面！微软NLWeb开源：任何网站都能‘一键变身’智能AI助手
在当今数字化时代，人工智能技术正以前所未有的速度改变着我们的生活和工作方式。微软作为全球科技巨头，一直致力于推动人工智能技术的发展与应用。近期，微软推出了一款名为NLWeb的开源项目，它基于自然语言处理技术，旨在简化网站与用户的交互方式，让任何网站都能轻松变成一个AI驱动的应用程序。这不仅为开发者提供了全新的技术思路，也为用户带来了更加便捷、智能的网络体验...
从 15 亿到破产！这家 AI 独角兽，原来全靠印度程序员“人肉演 AI”！
一文记录 Builder.ai 崩盘始末。 一家 AI 独角兽，从高光到塌房，需要多久？ 最新的答案是：不到两年。 还记得 2023 年的 Builder.ai 吗？就是那家被吹成 “像点披萨一样简单开发 App” 的 AI 初创公司，微软亲自下场投钱站台、软银、卡塔尔投资纷纷押注，媒体热捧的科技明星、AI 独角兽。 如今，它破产了。 估值 15 亿美...
关于Agent在实际开发过程中遇到的问题记录
“ Agent智能体技术理论和实际操作完全是两码事，这也是为什么市场一直有人说还看不到大模型的应用价值。” 最近在做基于Agent的数据分析功能，主要使用大模型和工具来实现；通过大模型自主分析的能力获取数据的分析结果，然后调用工具来进行绘图；开发框架使用的是Langchain和Langgraph。 但是本来以为是一个很简单的事情，但等到真正操作起来时才发...
让神探夏洛克唱《因果》Rap，让金丝熊开口说话，实测腾讯混元最新AI数字人模型
作者 | Kino 编辑 | 张洁 想用AI整活的玩家又有“新玩具”了。 这两天，腾讯混元最新开源了一款语音驱动的数字人模型：HunyuanVideo-Avatar。 只要上传一张图片和一段音频，就能让图中的人物说话、唱歌，生成一段音画同步、表情自然的高保真视频。 当然，国内外与HunyuanVideo-Avatar有相似能力的产品已有不少，此前“AI新...