全部动态

GitHub Copilot 接入首个开源模型 Kimi K2.7

月之暗面公司宣布，其开发的 GitHub Copilot 已成功接入首个开源模型 Kimi K2.7。此举标志着 GitHub Copilot 在模型选择上开始引入开源生态，为用户提供了除原有闭源模型之外的新选项。具体的技术集成细节、性能表现以及对开发者工作流的影响，有待进一步观察和评估。

Claude-real-video：让任意大语言模型都能“观看”视频

开源项目 Claude-real-video 发布，旨在使任何大语言模型（LLM）具备视频理解能力。该项目在 Hacker News 上获得 123 分，引发 39 条讨论。其核心思路是通过技术方案处理视频数据，并将其转化为 LLM 能够解析的格式，从而扩展模型的多模态应用场景。

Meta 低调推出 AI 游戏生成应用 Pocket

Meta 近日悄然发布了一款名为 Pocket 的实验性 AI 应用。该应用允许用户通过文本提示来生成并分享交互式迷你游戏。目前，Pocket 已在特定应用商店上线，标志着 Meta 在 AI 驱动的游戏创作与社交分享领域的一次新探索。

zkGolf：基于LLM的形式化验证电路优化竞赛

zkGolf项目通过形式化验证与大型语言模型（LLM）结合，探索零知识证明（ZKP）电路的自动化优化。团队首先在Lean中为SHA-256压缩编写形式化规范，引导LLM生成并优化R1CS算术化电路，以降低约束数量为目标。LLM在优化过程中能自主提出方案、验证正确性，并在无法证明时回溯调整，最终得到了超越当前人工优化水平的SHA-256压缩电路。该项目现已开放为竞赛平台zk.golf，旨在推动形式化验证电路的发展，降低ZKP应用门槛并提升效率。

联想天禧AI短剧《“禧”从天降》：AI Agent化身职场系统流爽文主角

联想天禧AI推出定制短剧《我的AI搭档之“禧”从天降》，将网文中的“系统流”爽文题材与职场现实结合。该剧讲述职场新人叶天在获得天禧AI后，借助AI Agent能力处理营销方案、恢复被删PPT、实时翻译等任务，实现逆袭。短剧通过情景化叙事，直观展示了AI Agent如何理解用户历史数据、自动备份、多端协同等核心功能，将技术概念转化为普通用户可感知的办公助手。剧中天禧AI的离线守护、企业云备份等功能，对应了其零部署、端云协同的产品特性。

AReaL 2.0开源：打造面向自演进智能体的RL基础设施

AReaL 2.0作为强化学习基础设施正式开源，旨在与社区共同推进自演进智能体生态的发展。该项目专注于为智能体提供持续学习和自我优化的能力，通过构建可扩展的RL框架，支持智能体在复杂环境中实现长期性能提升与自主演进。

天工 3.2 发布：Skywork Tags 功能上线，Agent 可加入工作群聊

昆仑万维天工 3.2 版本迎来重磅升级，核心新功能 Skywork Tags 正式上线。该功能旨在让 AI Agent 更深度地融入工作流程，用户可为 Agent 生成专属“工牌”，并将其邀请至飞书、钉钉、企业微信等工作群聊中。此举使得 Agent 能够像人类同事一样，在群聊中接收信息、理解上下文并执行任务，实现“和人并肩工作”的协作模式。此次升级标志着大模型应用正从工具型向协同型 Agent 演进，进一步探索 AI 在具体工作场景中的落地方式。

Google 智能助手 Gemini Spark 登陆 Mac，支持实时追踪与多应用

Google 的 24/7 智能助手 Gemini Spark 现已正式登陆 Mac 平台。此次更新不仅带来了 Mac 版本，还引入了实时追踪功能，并扩展了对更多应用程序的支持。Gemini Spark 作为一款具备自主行动能力的智能助手，旨在为用户提供全天候的自动化服务体验。

推荐理由：我认为Mac用户和效率控值得看：Gemini Spark的24/7自主行动能力加上实时追踪，可能直接改变桌面自动化玩法，开发者也能抄它的多应用支持思路。

Google Home 智能音箱硬件出色，但 Gemini 助手尚未就绪

Google 推出了六年来首款全新智能音箱 Google Home Speaker，这是其首款“专为 Gemini 设计”的硬件产品，标志着 Google 重新重视智能家居领域。该音箱设计美观，硬件表现良好。然而，内置的 Gemini 助手目前仍处于未完成状态，功能体验尚不完善，未能充分发挥 AI 在智能音箱场景下的潜力。文章指出，尽管硬件清晰展示了 Google 的回归意图，但软件层面的 Gemini 仍需进一步开发才能兑现其承诺。

飞书新AI同事：从表格处理到群聊@，脏活累活全包

飞书引入新型AI智能体，深度集成于工作场景。该智能体不仅能处理复杂的表格数据，还能直接在群聊中被@提及并执行任务，旨在自动化处理各类繁琐的日常工作。其设计理念是将AI作为“住在表格里的同事”，接管重复性高、耗时长的“脏活累活”，以提升团队协作效率。

Anthropic发布旗舰产品Claude Science，专为科学研究设计

在面向制药高管、生物科技创始人和研究人员的活动中，Anthropic宣布推出Claude Science，这是继Claude Code之后又一重要旗舰产品，旨在以类似方式支持科学研究。该产品能够根据简洁的高层指令自主执行有意义的科学工作，并具备相应的访问能力，标志着AI在专业科研领域的进一步应用拓展。

推荐理由：我认为这条消息对科研人员和AI产品经理很有价值，它展示了AI如何从编程助手延伸到自主科研，可以直接参考其产品定位和落地场景。

Adam CAD Copilot：AI驱动的CAD设计副驾

Adam CAD Copilot是一款基于人工智能的CAD设计辅助工具，旨在通过自然语言交互帮助工程师和设计师更高效地完成CAD建模与设计任务。该工具能够理解用户的设计意图，自动生成或修改CAD模型，减少重复性操作，提升设计流程的智能化水平。目前产品已在ProductHunt平台发布，具体功能细节与性能数据有待进一步披露。

Google NotebookLM 新增 TikTok 风格 AI 视频摘要功能

Google 的 AI 笔记应用 NotebookLM 正在为 Ultra 和 Pro 订阅用户推出一项新功能：TikTok 风格的 AI 视频。该功能可根据用户上传至应用的研究资料，自动生成 60 秒的竖屏 AI 视频摘要。Google 展示的示例以澳大利亚对鸸鹋的“战争”为主题，结合了剪纸风格的 AI 生成鸸鹋图像和旁白解说。此功能是对 NotebookLM 现有 AI 播客、电影式视频和可视化解释等研究交互方式的补充。

Libby 将引入 AI 内容过滤器应对生成式书籍浪潮

电子书借阅应用 Libby 的母公司 OverDrive 新任 CEO Marc DeBevoise 表示，AI 已成为其业务的新前沿。面对 AI 生成书籍可能带来的巨大冲击，Libby 正准备引入 AI 内容控制功能，允许读者在应用设置中选择是否过滤掉 AI 生成的内容。此举旨在帮助用户在海量数字出版物中识别和筛选 AI 创作，以应对出版行业即将面临的颠覆性变化。