「部分观测」共找到 602 篇相关文章
CVPR 2026｜DROID-W：复杂室外动态场景，也能稳定SLAM
苏黎世联邦理工与微软团队提出 DROID - W 动态 SLAM 框架，即将发表于 CVPR 2026。它不预设动态物体，从多视角观测识别不可靠区域，还提出交替优化方案，在多个数据集表现优。
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。
坚决抵制！CCF亮最狠一招，AI顶会NeurIPS新规或自掘坟墓
AI顶会NeurIPS 2026手册新增条款，限制部分国内机构研究人员评审、投稿。中国计算机学会CCF发起反制，倡议科研人员拒绝为其服务和投稿，若不改正将移出推荐目录，或重创该会议。
OpenAI将发布AI Agent浏览器，挑战谷歌Chrome
路透社消息，OpenAI将在未来几周发布AI Agent驱动的网络浏览器，或挑战谷歌Chrome。其设计让部分交互在聊天界面完成，还能整合产品自动执行任务，不过也面临激烈竞争。
60个量子比特顶百万倍内存：量子机器学习找到新的突破口
4月8日，加州理工学院等联合团队在arXiv发布论文，证明小型量子计算机处理部分机器学习任务时，可用指数级更少内存超越经典计算机。研究绕开QRAM，提出算法框架验证优势，但仍待真实硬件验证。
The Batch: 847 | 为蜜蜂健康而生的机器人蜂箱
Beewise推出的BeeHome 4高科技蜂箱，能扫描蜜蜂群体状况，提醒养蜂人并自动处理部分问题。已在北美部署超30万台，宣称将蜜蜂年死亡率降至8%，还介绍了其工作原理等内容。
xAI 新模型 Grok 4 Fast 卷疯了！少用 40% token 还能追平 Grok 4，限定范围可直接免费用
近日，马斯克旗下 xAI 推出新 AI 模型 Grok 4 Fast，将非推理与推理能力整合，少用 40% token 追平 Grok 4，运行成本降 98%。它有 200 万 token 窗口，多平台可用，部分范围免费。
Claude推出Agent View：一次管理所有编码会话
Anthropic为Claude Code新增Agent View功能，可集中管理编码会话，已开放研究预览。开发者操作路径清晰，早期用户总结出实用玩法，解决了常开多任务的切换难题，目前部分计划可体验。
完全取代Claude Code？OpenAI反击来了，推出Codex app「限时免费使用」
OpenAI推出macOS版Codex应用，反击Claude Code。它有全新交互界面，助开发者管理多AI Agents，支持并行任务。限时内，ChatGPT部分用户可免费使用，速率限制有调整，还具备多种新特性。
TypeScript 6 Beta 版发布：开发者受邀升级以迎接 Go 重写计划
TypeScript团队发布6 Beta版，它是过渡版本，专注消除技术债务和标准化，为7生态做准备。7将用Go重写代码解决性能问题。6在默认设置等方面改进，还弃用部分特性，建议开发者升级。