搜索：模型可解释性

「模型可解释性」共找到 10038 篇相关文章

百度搜索 10 年来最大改版，支持超千字长文本输入和 MCP 调用

7月2日，百度搜索宣布十年来最大改版，搜索框变“智能框”，支持超千字输入，集成AI写作等功能。“百看”功能、AI助手升级，接入视频生成模型MuseSteamer，还接入1.8万+MCP，提升搜索体验。

陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。

文章指出大模型竞争短期拼产品体验，长期靠系统化落地能力。谷歌和百度虽被误解，但前者在I/O大会展示AI布局，后者营收利润双增，两家都构建生态，在AI下半场迎头赶上。

在今年 Google I/O 大会上，谷歌发布 Gemini 3.5 系列模型，升级 '智能体优先' 开发平台 Antigravity，展示新工具和技能，助力开发者构建应用，还介绍了多项新技术及功能，另有招募活动。

Claude 宣布 Managed Agents 进入公测，可大幅降低 Agent 开发成本。它能自动生成配置和代码，接管多项任务，实现长时间自主运行。多家早期客户使用后效果显著，还介绍了定价、接入方式及与自建的差异。

今年 CES 上 AMD 专场演讲亮点多。苏姿丰称未来五年50亿人每天用 AI；李飞飞和她探讨空间智能与世界模型；Helios 平台受关注，MI455 GPU 解决内存墙；Ryzen AI 推动 AI 下放到本地。

OWL团队开源多智能体Manus类工具Eigent，能多智能体协作处理复杂任务。它可整合工具和数据，处理任务时清晰拆解执行。有多种预定义智能体，内置200+MCP工具，还支持人工干预。

清华团队推出AI Mathematician（AIM）框架，可将LRMs推理能力延伸至前沿数学研究。它由三大模块驱动，有两大核心策略。实验显示其能解决多个挑战性问题，虽有不足，但未来有望成数学研究核心驱动力。

GitHub星标超28万的AI Agent开源项目OpenClaw，在周六与周日迎来两轮重量级更新，集中在模型能力、Agent架构、工程部署及安全机制四个方向。2026奇点智能技术大会将邀专家探讨其产业实践价值。

AI人才抢夺战升级，Anthropic两周揽四将，包括诺奖得主John Jumper等。7月1日，UC伯克利计算机科学部掌门人Jelani Nelson加入Anthropic。当下AI竞争从模型能力转向算法理论，‘休假入职’成潮流。