Contexi

全部动态

22 条 · 第 1/1

7/3 16:3336氪产品雷达67

阿里云发布Qoder企业版,推出云端知识库QMind与Credits资源池

阿里云正式发布Qoder企业版,为企业提供名为QMind的个人云端知识库,支持跨产品、跨设备、跨人员的知识共享功能。同时,该版本引入了资源池化的Credits付费模式,企业管理员可根据实际需求,动态地为团队成员分配使用额度,以提升资源管理的灵活性和效率。

7/2 23:40Hacker News ShowAI80

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

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

7/2 21:2236氪AI36

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

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

7/2 18:24量子位AI78

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

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

7/2 12:14Product Hunt产品雷达50

Basedash Actions:为内部工具添加自动化工作流

Basedash Actions 是一款新产品,旨在为基于数据库构建的内部工具添加自动化工作流功能。它允许用户根据数据库变更等事件触发自定义操作,例如发送通知、更新记录或调用外部 API,从而简化团队内部流程,减少手动操作。该产品专注于提升内部工具的效率和自动化水平,帮助团队更高效地管理数据和业务流程。

7/2 07:54Product Hunt产品雷达52

Quick Sub 2:AI视频字幕生成工具

Quick Sub 2是一款专注于为视频快速生成字幕的工具。该产品在Product Hunt平台上发布,旨在简化视频内容创作者的字幕添加流程,提升视频制作效率。目前公开信息主要围绕产品链接和社区讨论展开,具体功能细节与性能数据有待进一步披露。

7/2 04:19Product Hunt产品雷达35

PieterPost MCP:开源AI代理协作平台

PieterPost MCP 是一款基于模型上下文协议(MCP)的开源AI代理协作平台,旨在促进不同AI代理之间的高效通信与任务协调。该平台通过标准化接口简化了代理集成流程,支持开发者构建复杂的多代理系统,适用于自动化工作流、数据分析及智能助手等场景。其开源特性鼓励社区贡献与生态扩展,为AI代理技术的实际应用提供了基础设施支持。

7/1 22:20TechCrunch AIAI82

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

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

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

7/1 20:00The Verge AIAI69

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

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

7/1 18:43Product Hunt产品雷达48

NXT:与你的待办清单对话的AI助手

NXT是一款AI驱动的待办清单应用,允许用户通过自然语言对话与任务列表进行交互。用户可以直接向应用提问,如“我今天需要完成什么?”或“将会议推迟到明天”,系统会理解并执行相应操作。该产品旨在简化任务管理流程,通过对话式界面提升效率,目前已在Product Hunt上发布。

7/1 15:34爱范儿AI71

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

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

7/1 05:50MIT Tech Review AIAI84

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

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

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

7/1 03:59Product HuntAI57

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

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

7/1 03:24The Verge AIAI60

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

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

6/30 23:30The Verge AIAI67

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

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