「3-SAT问题」共找到 5039 篇相关文章
从一个公众号智能体说起：好用的Agent，究竟需要什么?
文章从公众号智能体切入，探讨好用的 Agent 所需条件。介绍腾讯云智能体开发平台 3.0，其有知识处理进化等能力；还提及 Agent 在酒店、营销等场景应用，强调可靠工程与用户触达对实现其价值的重要性。
QwenPU：把一台计算机编译进了模型权重里
开发者 div 将一颗 RISC-V CPU 及向量单元直接编译进 Qwen3.5 权重，无需外部运行环境和额外训练，长整数算术准确率从 48.6% 提升至 100%。
这波AI淘金热里，卖“铲子”的公司正闷声发财，“征服"了几十家国内外巨头！
光轮智能联合创始人杨海波表示，AI发展让合成数据需求增大。该公司为具身智能行业提供3D合成数据，服务众多头部企业。其优势在于技术视野与路径独特，强调物理交互、人类示范等。还谈及创业要点与AI赛道变化。
5Y View｜Bill Gurley：AI浪潮如何重塑一级市场结构
知名风投大佬Bill Gurley指出，超级风投基金崛起催生“僵尸独角兽”，零利率使IPO和并购停滞，LP面临流动性问题。AI浪潮打断市场修正，带来投资热潮和估值泡沫，多数AI企业营收靠算力转售。他还看好中国开源AI模型发展。
91% ≈ 0%？谷歌最新研究，戳破工程 Agent 的高正确率泡沫
Google 与 Mercor 联合发布物理工程评测 PLE。测试显示 Claude 模型虽能满足 91% 的单项约束，但因各项条件关联，仅 41.3% 的方案满足全部硬性安全要求。
AI圈“集体开大”！DeepSeek、Claude带头，智谱、阿里、蚂蚁、智源都“卷”起来了
双节前最后一天，AI圈“卷”疯了！智谱发布并开源GLM - 4.6，是国内最强Coding模型；阿里介绍视、听、说全模态同传大模型Qwen3 - LiveTranslate - Flash；蚂蚁开源万亿参数推理大模型Ring - 1T - preview；智源开源跨本体基座大模型RoboBrain - X0。
劈柴哥和哈萨比斯亲自站台！谷歌世界模型Project Genie刷屏，幕后团队揭秘60秒不是极限，内存是巨大约束
谷歌发布世界模型原型产品 Project Genie，只需一句话或图就能一键生成可玩、可交互实时虚拟世界。它借助 Genie 3 等构建，解决了早期世界模型多短板，虽现处实验阶段，但已引发热议，应用潜力大。
容器可观测新视角： SysOM延时监控助力定位业务抖动原因
云原生场景下，资源超卖和混合部署使宿主机与容器化应用资源竞争加剧，引发内核级延迟问题。本文结合实战案例，介绍用ack - sysom - monitor Exporter分析定位内核延迟，还介绍了SysOM监控及解决系统延时的方法。
WPS没有忘记WPS｜甲子光年
在世界人工智能大会上，多家企业推出AI PPT类产品，但大多只能生成，不会使用PPT。金山办公发布WPS AI 3.0版本——WPS灵犀，它是原生Office办公智能体，能像人一样使用办公软件，还带来灵犀语音助手和WPS知识库。
只需1/4预算，性能反超基线：阿里高德提出Tree-GRPO，高效破解智能体RL难题
阿里高德提出Tree - GRPO方法解决智能体RL难题。它以智能体步骤为节点树搜索，在11个数据集中更省预算、表现更好，能在1/4预算超GRPO基线，解决了Rollout成本高和监督稀疏问题。