「可验证计算」共找到 5057 篇相关文章
Windsurf 收购尘埃落定
Windsurf 收购尘埃落定，Devin 开发商收购其剩余人员和资产，Windsurf IDE 可重使用 Anthropic 模型。回顾收购时间线，此前 OpenAI 收购要约到期，谷歌获非独家许可权，现 Cognition 收购并计划集成平台。
终于，NotebookLM 和 Gemini 合体了。这是什么神之更新？
NotebookLM社交账号更新，现用户可将其笔记本上传到Gemini App，Pro会员在Gemini Web版能用此功能。二者合体类似Agentic RAG，但目前整合欠佳，未来体验有望提升。
Cursor团队把内部开发流程打包成插件：18个技能+2个规则+1个代理
Cursor团队将内部工作流打包成插件，即插即用，无需第三方服务集成。套件含18个技能、2个规则和1个代理，可通过`/add-plugin cursor-team-kit`安装，插件地址为https://cursor.com/marketplace/cursor/cursor-team-kit。
LLM的快速、慢速与工具增强思维模式综述
大型语言模型在不同任务中对推理策略需求差异大，策略选择不当会影响效率与可靠性。本文提出双重知识边界框架，梳理LLMs推理模式，将策略选择形式化，还分析了决策因素及策略选择机制。
QoderWork Design 上线，设计即代码，不输 Claude Design
阿里 QoderWork 上线设计工作台，定位用自然语言做专业设计。与 Claude Design 接近平手且小有优点，有 140 种风格参考，画笔和 Nudge 工具方便修改，产出可直接用于开发的工程文件。
中科院甩出多模态“核弹”！类GPT-4o多模态模型开源！支持语言-视觉-语音任意组合交互！
中国科学院计算技术研究所（ICTNLP）开源类GPT - 4o多模态模型Stream - Omni，支持文本、视觉和语音任意组合交互，核心是高效模态对齐技术，少量多模态数据即可训练，有多种使用场景。
GPT-5.4发布，拥有原生计算机操作能力，像是给OpenClaw量身打造的模型。
OpenAI凌晨发布GPT-5.4，或是4o模型后提升最大的一次。它价格较合理，有原生计算机操作能力，支持100万token上下文，还有工具搜索功能可降47% token损耗，与OpenClaw适配性佳。
Claude一夜吞掉所有APP，全球打工人变天！AI时代「操作系统」诞生
Anthropic官宣十大办公神器可在Claude中交互，集成「MCP Apps」打破AI与软件工具隔阂。Claude从单一对话助手向「AI工作站」演进，新功能已向部分用户开放，MCP Apps带来交互革命。
【开源】Multica：让 AI Agent 成为真正的团队成员
Multica 是开源的 Managed Agents 平台，能统一分配任务、跟踪进度、积累经验。它把 AI Agent 当团队成员管理，有5个关键能力，兼容8种主流 Agent，支持自部署，5分钟可上手，但生态尚处早期。
8.9K Star！号称 Notebook LM 开源平替，支持 16+AI 模型，一键部署！
Google Notebook LM 虽方便，但有数据泄露风险且被平台绑定。开源工具 `open-notebook` 是其平替，支持 16 + 家 AI 模型提供商，可处理多模态内容，能本地部署保障数据安全，还具备多种实用功能。