「3-SAT问题」共找到 5039 篇相关文章
Efficiency Law, 物理精确世界模型，及世界模型引擎驱动的具身智能学习新范式
2025年秋具身智能赛道火热，特斯拉、英伟达动作不断，数据问题成落地症结。跨维智能贾奎、港中大（深圳）刘桂良探讨突破具身智能学习枷锁的方法，提出Efficiency Law和GS - World世界模型引擎及新学习范式。
疯狂！也就2500辆车上路，完成8760亿估值新融资
Waymo官宣完成160亿美元融资，估值超8760亿，较1年半前翻近3倍。其业务分Robotaxi和新业务，今年将扩张至全球20多城。中国Robotaxi玩家萝卜快跑等在业务上有进展，但与Waymo的估值差距大。
AI 应用开发的破局之路：字节跳动 Eino 框架实践
在 InfoQ 举办的 QCon 全球软件开发大会上，字节跳动沈桐介绍 Eino 框架在组件抽象和业务编排的创新实践。该框架以大模型为基础，解决应用开发中节点、信息流转和沉淀框架的问题，还给出开发实例，展望了未来重点方向。
超级麦吉：职场人 Vibe Working 的开源 LLM OS
文章介绍了开源项目超级麦吉，它是为职场人打造的 LLM OS，采用三层结构设计，有专业功能和完整产品矩阵。与闭源软件对比，其开源诚意足，虽有颜色和邀请码机制等小问题，但助力职场人向 Vibe Worker 转型。
台积电这份最新财报，让我们对AI的2026有数了
美东时间15日，台积电公布2025年Q4财报，营收、毛利、净利均高于预期。分析从先进制程和终端设备占比入手，指出3nm需求旺，2nm将出货，HPC增速或受封装限制，台积电看好AI，2026年资本开支增加。
全国首部可信AI“技术安全+数据合规”标准来了，欢迎参与起草！
2025年国家数据局开展可信数据空间试点，在多领域落地经验。但实践中技术、合规等问题凸显。中国电子商会归口、智合标准中心起草《人工智能大模型可信数据协作安全与合规指南》，有诸多亮点，现公开征集起草单位和起草人。
数据合成篇｜多轮ToolUse数据合成打造更可靠的AI导购助手
文章以租赁导购助理“小不懂”为例，介绍Tool Use训练数据合成方案。先分析训练数据的目标与难点，提出动态多智能体对话生成框架，阐述多轮数据、复杂问题合成及过滤方案，展示数据和模型效果，还提及未来工作方向。
估值 7 亿美元的 AI 语音输入产品：语音输入的关键问题是听写，不是转录
AI语音输入产品Wispr Flow发展迅猛，ARR 5个月翻10倍，公司估值超7亿美元。其创始人Tanay Kothari认为，该产品与其他同类最大区别是理解用户意图，解决听写而非转录问题，还分享了产品特点等内容。
为什么 DeepSeek 大规模部署很便宜，本地很贵
文章探讨了DeepSeek-V3大规模服务便宜但本地运行贵的原因。指出推理服务存在吞吐量和延迟的权衡，受批处理大小影响。还分析了不同模型需大批次的原因，如专家混合模型、大型管道模型等。
GRPO遭遇瓶颈？G²RPO-A让自适应指导为小模型推理能力「开外挂」
大模型推理能力难迁移到小模型，现有强化学习方法如GRPO在小模型上性能提升有限。香港中文大学（深圳）唐晓莹教授团队提出G²RPO - A算法，缓解小模型奖励稀疏问题，在多模型实验中表现优于vanilla GRPO。