「可验证计算」共找到 5250 篇相关文章
Cursor现在可以直接控制浏览器了
随着Claude4.5发布，Cursor更新了“@Browser”，可控制浏览器、截图、改进UI、调试客户端等。无需安装其他工具，任何模型输入@browser即可控制浏览器，在Windows下调用顺滑，需启用预览版功能。
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。
ChatGPT共同创造者Liam Fedus：数学之后，AI该去实验室了
本文整理了ChatGPT共同创造者Liam Fedus的播客对谈，回顾ChatGPT诞生的内部细节，分享AI领域突破逻辑，提出AI需搭建实体实验室获取真实实验数据，推进材料科学等领域突破，介绍了其创立的Periodic Labs布局。
从记忆到自进化：Agent 走向 RSI 的关键一步
本文结合OpenAI、Anthropic的最新AI研发动向，指出RSI是Agent自进化的核心方向，记忆是RSI的关键基础，介绍了MemoraX的记忆驱动RSI体系与多场景实践成果。
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适配性佳。