/
- 人工智能
- 机器人
- AGI
Replit携手RevenueCat，助力“氛围编程“开发者实现应用变现
Replit与RevenueCat达成合作，将订阅变现工具直接集成至Replit平台。用户只需通过自然语言提示（如"添加订阅"），即可完成应用内购和订阅配置，无需离开平台。RevenueCat管理超8万款应用的订阅业务，每月处理约10亿美元交易。此次合作旨在让"氛围编程"用户在构建应用的同时即可实现商业变现，月收入未达2500美元前免费使用，超出后收取1%费用。
所有人都在谈AI护栏，但真正在构建它的人在哪里？
所有人都说AI需要护栏，但真正在构建它的人寥寥无几。SkipLabs创始人Julien Verlaguet深耕这一问题已逾一年，他发现市面上多数"护栏"不过是提示词包装。为此，他打造了专为后端服务设计的AI编程智能体Skipper，基于健全的TypeScript类型系统与响应式运行时，实现增量式代码生成与测试，内部基准测试通过率超90%。他认为，编程语言的"人类可读性时代"正走向终结，面向智能体的精确工具链才是未来。
Chrome版Gemini新增“技能“功能，支持保存并复用常用AI提示词
谷歌为Chrome中的Gemini推出"技能"新功能，允许用户保存并复用常用AI提示词。用户可通过输入斜杠快速调用已保存的提示词，或在侧边栏中打开提示词库。该功能支持编辑与删除，AI Pro/Ultra订阅用户还可结合Auto-Browse功能实现网页浏览操作。目前已向Mac、Windows及ChromeOS英语用户全面推出，登录后可跨设备同步。相比之下，Claude、ChatGPT等竞品早已具备类似功能。
OpenAI推出药物研发专属AI模型GPT-Rosalind
OpenAI发布GPT-Rosalind，专为加速药物发现与生物学研究而设计。该模型以X射线晶体学先驱罗莎琳德·富兰克林命名，可协助研究人员完成证据综合、假设生成及实验规划等早期药物发现任务。目前已与安进、Moderna、艾伦研究所等机构合作落地应用。此次发布是OpenAI生命科学系列模型的首款，现已在ChatGPT及API中提供研究预览版，并支持接入50余种科学工具与数据源。
NanoClaw携手Vercel，为AI智能体敏感操作打造一键审批机制
AI初创公司NanoCo旗下的NanoClaw宣布与Vercel及OneCLI合作，致力于解决AI智能体的"信任问题"。该方案通过Slack、WhatsApp、Microsoft Teams等主流办公通讯应用，为AI执行敏感操作提供"人工审批"环节。当AI智能体需要执行付款或删除云资源等高风险操作时，系统将自动推送审批卡片，用户一键确认即可授权。OneCLI负责加密凭证管理，权限在操作完成后立即撤销，确保安全可控。
SaySo：专为重建新闻信任而生的短视频应用
SaySo是一款面向iOS用户的短视频新闻应用，已于本月在美国和加拿大正式上线。该平台通过审核认证创作者和独立记者来提供可信内容，并要求创作者在视频中注明信息来源。其核心功能"每日摘要"支持用户按兴趣定制内容，每20小时刷新一次。平台结合人工与AI审核机制，所有内容须经审核队列方可发布。未来还将推出类似X平台的众包事实核查功能，并计划于今年夏季拓展至英国市场。
Loop完成9500万美元C轮融资，用AI预测并化解供应链风险
旧金山初创公司Loop完成9500万美元C轮融资，由Valor Equity Partners领投，8VC、Founders Fund、Index Ventures及摩根大通等参投。Loop利用AI将非结构化数据转化为可操作情报，帮助企业预测供应链风险、降低成本、优化库存。公司通过整合ERP软件、运输管理系统及仓储数据，构建覆盖整个供应链的智能层，目标是从诊断问题进阶为主动预测与干预。
Isabelle/HOL：驱动Nitro隔离引擎背后的形式化证明工具
AWS在2025年re:Invent大会上发布了Nitro隔离引擎（NIE），并采用证明辅助工具Isabelle/HOL完成了其正确性与安全性的形式化验证，使NIE成为首个经过形式化验证的云虚拟机监控程序。文章详细介绍了Isabelle/HOL在表达能力、自动化程度、证明可读性和可扩展性方面的优势，以及其在NIE验证中的具体应用，包括分离逻辑实现与25万行证明代码的高效处理。
NanoClaw携手Vercel，为AI智能体敏感操作打造一键审批机制
AI初创公司NanoCo旗下的NanoClaw宣布与Vercel及OneCLI合作，致力于解决AI智能体的"信任问题"。该方案通过Slack、WhatsApp、Microsoft Teams等主流办公通讯应用，为AI执行敏感操作提供"人工审批"环节。当AI智能体需要执行付款或删除云资源等高风险操作时，系统将自动推送审批卡片，用户一键确认即可授权。OneCLI负责加密凭证管理，权限在操作完成后立即撤销，确保安全可控。
SaySo：专为重建新闻信任而生的短视频应用
SaySo是一款面向iOS用户的短视频新闻应用，已于本月在美国和加拿大正式上线。该平台通过审核认证创作者和独立记者来提供可信内容，并要求创作者在视频中注明信息来源。其核心功能"每日摘要"支持用户按兴趣定制内容，每20小时刷新一次。平台结合人工与AI审核机制，所有内容须经审核队列方可发布。未来还将推出类似X平台的众包事实核查功能，并计划于今年夏季拓展至英国市场。
Loop完成9500万美元C轮融资，用AI预测并化解供应链风险
旧金山初创公司Loop完成9500万美元C轮融资，由Valor Equity Partners领投，8VC、Founders Fund、Index Ventures及摩根大通等参投。Loop利用AI将非结构化数据转化为可操作情报，帮助企业预测供应链风险、降低成本、优化库存。公司通过整合ERP软件、运输管理系统及仓储数据，构建覆盖整个供应链的智能层，目标是从诊断问题进阶为主动预测与干预。
Isabelle/HOL：驱动Nitro隔离引擎背后的形式化证明工具
AWS在2025年re:Invent大会上发布了Nitro隔离引擎（NIE），并采用证明辅助工具Isabelle/HOL完成了其正确性与安全性的形式化验证，使NIE成为首个经过形式化验证的云虚拟机监控程序。文章详细介绍了Isabelle/HOL在表达能力、自动化程度、证明可读性和可扩展性方面的优势，以及其在NIE验证中的具体应用，包括分离逻辑实现与25万行证明代码的高效处理。
Mozilla推出Thunderbolt AI客户端，主打自托管基础设施
Mozilla近日发布Thunderbolt AI客户端，定位为面向企业用户的"主权AI客户端"，支持自托管基础设施，无需依赖第三方云服务。该客户端基于开源框架Haystack构建，可接入任何兼容ACP或OpenAI API的模型，包括Claude、DeepSeek等。系统支持本地企业数据集成，采用离线SQLite数据库，并提供端对端加密与设备级访问控制。目前已支持Windows、Mac、Linux、iOS及Android平台，Mozilla正积极推进企业付费授权与本地部署合作。
Meta推出“AI版扎克伯格“，企业高管的镜中倒影
Meta正在构建马克·扎克伯格的AI数字分身，用于与员工互动并模拟高管存在感。这一举措引发业界深思：领导力究竟有多少需要真人参与？专家指出，大量被称为"领导力"的工作本质上是结构化沟通与信息分发，AI可轻松胜任。但问责制与战略决策仍是人类高管的核心价值所在。与此同时，数字分身带来的信息滞后、信任侵蚀和高管认知退化等风险，正考验企业的组织智慧。
-
文本LLM早就过了图灵测试，为什么语音AI还没过？ElevenLabs创始人的回答
-
量子计算机最难的那一关可能被AI搞定？英伟达在世界量子日发布的Ising到底是什么？
-
Nous Research联合创始人：为什么一堆矩阵乘法能让模型像人脑一样推理？
-
哈萨比斯：科幻小说的场景可能在50年内实现
-
Andrej Kaparthy：如何用LLM构建你的个人知识库（LLM Wiki 完整指南）
-
为什么重新造一部宝丽来相机用了十年，人类再登月如此艰难？｜物理学家给出"知识三定律"解释
-
NYU创意写作教授：报纸句式对想象力的伤害比AI更早，隐喻不是修辞技巧，是一种看世界的方式
-
黄仁勋：我的生存哲学是拆解、分享、遗忘
京公网安备 11010802021500号 京网文(2025) 0096-033号 京字第20868号
