「可验证智能」共找到 7238 篇相关文章
才发现 Google 出了个 Mac 版 AI 会议助手，居然还完全离线的
本文作者池建强介绍Google新推出的Mac端实验性AI会议助手Foresight，该产品核心AI功能可完全离线运行，基于本地Gemma模型，具备会议转写、笔记增强、个人知识库检索等功能，分析了产品特点与行业影响。
登上 GitHub 日榜 TOP5，收获 1.2 万标星的自动剪辑视频开源工具。
video-use是browser-use团队开源的自动剪视频项目，登上GitHub日榜TOP5、获1.2万标星。它改变剪辑交互方式，让用户描述意图，有智能剪辑、调色等功能。技术亮点是双层读取系统，成本和效率更优。
亚马逊云科技 AI 助手终于来了，一出手就对标 Cowork
亚马逊云科技推出 AI 助手 Amazon Quick，对标 Claude Cowork。它是 AI 驱动的桌面办公助手，可通过自然语言完成多项办公任务，还能连接多种办公工具，在国内使用体验好，体现了 AI 办公从‘工具增强’走向‘流程重构’。
OpenAI突然发布Sora 2：好一个“AI版抖音”！
OpenAI重磅上新，带来依托Sora 2的“AI版抖音”——Sora iOS APP。Sora 2是音视频同步生成模型，更遵循物理定律、可控性强，还能注入现实元素。实测效果佳但画质低，Pro版可改善，后续还会发布API。
AI不会重写所有传统软件，但在重构产品逻辑！2025全球产品经理大会圆满收官
2025全球产品经理大会8月15 - 16日举办，超40位专家与近千名产品经理探讨AI产品构建。一线企业代表分享全链路经验，涉及十余个核心议题。还成立奇点智能研究院，各分论坛展示AI产品创新多维度亮点。
李飞飞自曝详细创业经历：五年前因眼睛受伤，坚定要做世界模型
在a16z播客节目中，“AI教母”李飞飞讲述创业经历。五年前眼伤失立体视觉，让她意识到其对空间交互的决定性作用。她认为真正通用智能需理解物理世界，与Martin Casado一拍即合创立World Labs，加速世界模型突破。
阿里通义发布并行计算新策略：1.6B等效4.4B，内存消耗骤降95%
阿里通义团队提出PARSCALE并行计算新策略，受CFG双路径推理机制启发，将并行思想扩展到训练和推理全流程。能让1.6B模型性能接近4.4B模型，内存占用大降，还可用于现有模型，无需从头训练。
一夜之间，Claude Code删掉了80%系统提示词
本周五，Anthropic 技术团队成员 Thariq Shihipar 介绍新一代大语言模型工程趋势变化。Anthropic 发现旧提示词工程范式在新一代强推理模型发布后或过时，新的 Claude.md 应精简，大砍系统提示词后可把特定任务上下文交给 Skill。
Karpathy：大模型交互的第三种范式来了？这是不是夸大其词
Anthropic 上线 Claude Tag，可让团队在 Slack 与 Claude 协作，能完成写 PR、数据分析等任务，有多人协作、积累上下文等特点。Karpathy 认为这是大模型 UI 第三次大改，但评论区有质疑，不过有大咖背书或成‘数字员工’。
从「悟道」到「悟界」，智源走进大模型的新时代
在2025智源大会上，智源研究院院长王仲远表示大模型技术演进未到终点。会上推出「悟界」系列大模型，包含Emu3、见微Brainμ等，推动AI从数字走向物理世界。还介绍了具身智能成果，且与企业合作打造生态。