「搜索能力」共找到 3502 篇相关文章
Google：王者归来
Google在传统搜索与AI结合模式不明时，推出搜索AI模式。虽资本市场不看好，但巨头必须主动AI First。I/O大会发布众多成果，涵盖基础、赋能、体验层，若GPT - 5不够惊艳，2025年或成Google天下。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
腾讯网关TGW：用户无感知快速迁移及故障自愈能力 | USENIX ATC '25
腾讯与清华联合论文入选USENIX ATC '25，阐述稳定运行多年的TGW网关架构，展示无损迁移、故障自愈及定位系统。该架构应对业务流量挑战，有高性能、高可用等特性，还分享运营经验。
CoT 之后，CoF 如何让帧间逻辑从「隐式对齐」变成「显式思考」？
CoT 虽提升语言模型推理能力，但在 C 端场景有局限，且被质疑并非真实推理。视觉领域提出 CoF 概念，Google DeepMind 团队引入理论，让视频模型通过帧链推理提升帧间一致性，还具强大泛化能力。
制造企业如何实现 AI 产品经理“能力复制”？｜极客时间 AI 人才培养实践
在数智化转型中，企业 AI 培训常难以转化业务价值。极客时间为某制造企业定制 AI 产品经理 OMO 训练营，以业务场景为导向，采用三阶段闭环培养模式，课程覆盖全链路，助企业培养人才、建立培养体系。
浙大开源HugAgentOS：三引擎一体自进化，每步可归因/回放/回滚
过去一年，Agent任务执行能力提升，但不会自主积累与进化。浙大开源的HugAgentOS把Harness拆成三个可自我成长的引擎，设归因和本体两道关卡，解决经验成能力等问题，还覆盖智能体完整链路。
魔笔 AI Chat Builder：让 AI 对话秒变可交互界面
文章介绍阿里云魔笔AI Chat Builder，它能将AI对话变可交互界面。对比现有AI应用开发方式，阐述其综合优势，还介绍核心能力、搭建方法、多端发布等，未来将打磨能力并推新功能。
硅谷资深工程师：不止是 AI 产品，Coding 也需要好的 taste
硅谷资深工程师sean goedecke指出，技术品味与能力不同，其核心是为项目选适配工程价值观的能力。文章给出判断技术品味的方向，还阐述了好坏品味的识别方法及培养良好品味的建议。
OpenAI发布GPT-5.1 Codex Max，编程能力比Gemini 3更强、更持久
为换回注意力，OpenAI紧急发布GPT - 5.1 Codex Max。它在编程测试中表现优于Gemini 3 Pro，还实现24小时项目级开发。引入自动压缩与扩展推理改进，效率提升，现已多途径可用，API访问将开放。
多模态长文本理解测评首发：46款模型无一攻克128K难关
香港科大等研究者联合提出MMLongBench，用于评估多模态模型长文本理解能力。它覆盖5大类型任务的16个数据集，对46个模型测试显示，闭源和开源模型在长上下文任务均面临挑战，OCR和跨模态检索能力是瓶颈。