Google 与 Epic 达成协议，第三方 Android 应用商店即将入驻
Epic Games 与 Google 联合撤回此前就反垄断诉讼达成的追溯性解决方案，这意味着 Google 必须允许其他应用商店进驻其 Play 商店平台。据 Google 向法院提交的文件，该公司已准备从 7 月 22 日起开放第三方应用商店入驻。这一变化源于 Epic 诉 Google 垄断案，法院此前裁定 Google 非法限制应用分发渠道。此举可能为微软等厂商在 Android 上推出 Xbox 游戏商店铺平道路，但具体实施细节尚待观察。 #Google #EpicGames #Android #应用商店 #反垄断 #科技新闻 #微软 #Xbox
Epic Games 与 Google 联合撤回此前就反垄断诉讼达成的追溯性解决方案，这意味着 Google 必须允许其他应用商店进驻其 Play 商店平台。据 Google 向法院提交的文件，该公司已准备从 7 月 22 日起开放第三方应用商店入驻。这一变化源于 Epic 诉 Google 垄断案，法院此前裁定 Google 非法限制应用分发渠道。此举可能为微软等厂商在 Android 上推出 Xbox 游戏商店铺平道路，但具体实施细节尚待观察。 #Google #EpicGames #Android #应用商店 #反垄断 #科技新闻 #微软 #Xbox
GPT-5.6 Sol和Luna在智能与成本上超越Terra
据Artificial Analysis发布的最新报告，OpenAI的GPT-5.6系列模型（Sol、Luna、Terra）在智能指数与每任务成本对比中呈现出明显差异。其中，Luna和Sol在帕累托前沿上全面领先于Terra，意味着Terra在任何成本水平下都无法在智能或效率上匹敌另外两个版本。具体而言，GPT-5.6 Sol在智能指数上仅次于Claude Fable 5，但成本仅为后者的三分之一；同时它在OpenAI Codex的编程代理指数中位居榜首。此外，Meta的Muse Spark 1.1在三个月内智能指数提升8点，达到51分，在成本和token效率上表现出色。该分析还展示了各模型在智能、速度与成本方面的完整基准对比。 #GPT5.6 #AI #成本效率 #OpenAI #模型对比 #智能指数 #ClaudeFable5 #MuseSpark1.1
据Artificial Analysis发布的最新报告，OpenAI的GPT-5.6系列模型（Sol、Luna、Terra）在智能指数与每任务成本对比中呈现出明显差异。其中，Luna和Sol在帕累托前沿上全面领先于Terra，意味着Terra在任何成本水平下都无法在智能或效率上匹敌另外两个版本。具体而言，GPT-5.6 Sol在智能指数上仅次于Claude Fable 5，但成本仅为后者的三分之一；同时它在OpenAI Codex的编程代理指数中位居榜首。此外，Meta的Muse Spark 1.1在三个月内智能指数提升8点，达到51分，在成本和token效率上表现出色。该分析还展示了各模型在智能、速度与成本方面的完整基准对比。 #GPT5.6 #AI #成本效率 #OpenAI #模型对比 #智能指数 #ClaudeFable5 #MuseSpark1.1
Sailboxes 云环境正式上线，专为长周期 AI 代理设计
Sail 公司宣布其专为长周期 AI 代理打造的云环境 Sailboxes 正式全面可用。该环境通过实时虚拟机迁移技术提升底层硬件利用率，尽管偶尔会产生数秒延迟，但能显著降低成本，特别适合对延迟不敏感的长周期任务。目前已被 Quadrillion Labs 等机构用于自动研究平台，实现多代理并行实验与结果协调。Sailboxes 可在代理等待推理结果时自动休眠，非常适合强化学习 rollout 场景，结合异步推理接口可大幅提升每美元产出效率。用户可通过命令行快速创建和连接，并支持开发工作。 #Sailboxes #云计算 #AI代理 #强化学习 #虚拟机迁移 #技术发布
Sail 公司宣布其专为长周期 AI 代理打造的云环境 Sailboxes 正式全面可用。该环境通过实时虚拟机迁移技术提升底层硬件利用率，尽管偶尔会产生数秒延迟，但能显著降低成本，特别适合对延迟不敏感的长周期任务。目前已被 Quadrillion Labs 等机构用于自动研究平台，实现多代理并行实验与结果协调。Sailboxes 可在代理等待推理结果时自动休眠，非常适合强化学习 rollout 场景，结合异步推理接口可大幅提升每美元产出效率。用户可通过命令行快速创建和连接，并支持开发工作。 #Sailboxes #云计算 #AI代理 #强化学习 #虚拟机迁移 #技术发布
AI编程助手如何悄然破坏你的“心流”状态
心理学家米哈里·契克森米哈赖曾提出“心流”理论，指完全沉浸于工作、时间感消失的理想状态。编程曾是典型的心流活动——明确目标、即时反馈、挑战与技能匹配。但AI编程助手引入了一种隐秘的破坏机制：提示-等待-评估的循环。开发者需要频繁撰写提示、等待模型生成、评估结果并调整，这一过程打断了持续专注。加州大学欧文分校教授格洛丽亚·马克的研究显示，一次干扰后平均需要23分15秒才能恢复原有注意力深度，而人们单屏停留时间已从2004年的2.5分钟降至47秒。AI助手带来的认知切换比传统干扰（会议、消息）更不易察觉，却系统性地瓦解了深度工作。许多开发者坦言感受到效率提升，但内心清楚——那种融贯的创作畅快感正在流失。 #AI #编程 #心流 #注意力 #效率 #科技 #深度学习 #人工智能
心理学家米哈里·契克森米哈赖曾提出“心流”理论，指完全沉浸于工作、时间感消失的理想状态。编程曾是典型的心流活动——明确目标、即时反馈、挑战与技能匹配。但AI编程助手引入了一种隐秘的破坏机制：提示-等待-评估的循环。开发者需要频繁撰写提示、等待模型生成、评估结果并调整，这一过程打断了持续专注。加州大学欧文分校教授格洛丽亚·马克的研究显示，一次干扰后平均需要23分15秒才能恢复原有注意力深度，而人们单屏停留时间已从2004年的2.5分钟降至47秒。AI助手带来的认知切换比传统干扰（会议、消息）更不易察觉，却系统性地瓦解了深度工作。许多开发者坦言感受到效率提升，但内心清楚——那种融贯的创作畅快感正在流失。 #AI #编程 #心流 #注意力 #效率 #科技 #深度学习 #人工智能
AI 辅助破解统计学多年猜想，BH 过程在相关数据下失效
统计学家 Edgar Dobriban 借助 AI 系统（GPT-5.6 Sol Pro）解决了多重假设检验领域一个长期悬而未决的问题。Benjamini-Hochberg（BH）过程自1995年提出后，被广泛应用于基因组学、天文学等领域，以控制错误发现率（FDR）。但其原始证明仅适用于独立数据，而实际数据往往存在相关性。二十年来，多位学者猜想 BH 过程对于任意相关高斯数据的双尾检验仍能控制 FDR。Dobriban 通过构建高斯因子模型，在名义水平 α=0.01 下证明实际 FDR 超过 0.0104，否定了该猜想。AI 仅用 90 分钟推理便“一次性”给出反例，而此前人类迭代尝试均未成功。尽管偏差幅度较小（0.0104 vs 0.01），结果主要具有概念意义，实际影响尚待评估。相关预印本已发布。 #AI #统计学 #多重假设检验 #FDR #BenjaminiHochberg #GPT5_6 #科学突破 #数据科学
统计学家 Edgar Dobriban 借助 AI 系统（GPT-5.6 Sol Pro）解决了多重假设检验领域一个长期悬而未决的问题。Benjamini-Hochberg（BH）过程自1995年提出后，被广泛应用于基因组学、天文学等领域，以控制错误发现率（FDR）。但其原始证明仅适用于独立数据，而实际数据往往存在相关性。二十年来，多位学者猜想 BH 过程对于任意相关高斯数据的双尾检验仍能控制 FDR。Dobriban 通过构建高斯因子模型，在名义水平 α=0.01 下证明实际 FDR 超过 0.0104，否定了该猜想。AI 仅用 90 分钟推理便“一次性”给出反例，而此前人类迭代尝试均未成功。尽管偏差幅度较小（0.0104 vs 0.01），结果主要具有概念意义，实际影响尚待评估。相关预印本已发布。 #AI #统计学 #多重假设检验 #FDR #BenjaminiHochberg #GPT5_6 #科学突破 #数据科学
AI 云平台推出 200M Token 无限计划测试，招募高 Token 工作流开发者
某 AI 云服务平台宣布启动“无限 Token 计划”（Unlimited Token Plan）的测试活动，面向具有高 Token 消耗需求的 AI 工作流开发者，提供 200M Token 的免费测试额度。该计划旨在让开发者体验其模型平台、AI 云算力及推理服务，包括 Serverless Inference、Dedicated Endpoint 以及 Canopy Wave 等产品。平台同时提供 NVIDIA HGX B300、GB200 NVL72 等多款 GPU 配置选项，并支持 InfiniBand 和 RoCEv2 网络。测试期间，开发者可以评估服务的性能、延迟及成本效益。平台已开放注册，并鼓励用户订阅获取后续更新。此举有望吸引从事大模型训练、高并发推理的开发者群体，推动 AI 基础设施的试用与推广。 #AI云 #无限Token #开发者 #算力 #大模型 #推理服务 #NVIDIA #GPU #云计算
某 AI 云服务平台宣布启动“无限 Token 计划”（Unlimited Token Plan）的测试活动，面向具有高 Token 消耗需求的 AI 工作流开发者，提供 200M Token 的免费测试额度。该计划旨在让开发者体验其模型平台、AI 云算力及推理服务，包括 Serverless Inference、Dedicated Endpoint 以及 Canopy Wave 等产品。平台同时提供 NVIDIA HGX B300、GB200 NVL72 等多款 GPU 配置选项，并支持 InfiniBand 和 RoCEv2 网络。测试期间，开发者可以评估服务的性能、延迟及成本效益。平台已开放注册，并鼓励用户订阅获取后续更新。此举有望吸引从事大模型训练、高并发推理的开发者群体，推动 AI 基础设施的试用与推广。 #AI云 #无限Token #开发者 #算力 #大模型 #推理服务 #NVIDIA #GPU #云计算
Oracle 发布 AI 原生智能体应用开发平台，支持无代码与专业编码
Oracle 推出全新 AI 原生智能体应用开发平台，该平台支持无代码、低代码及专业编码三种开发模式，让不同水平的开发者都能参与构建智能应用。平台引入 AI Studio Skill，兼容 Visual Studio Code、命令行工具和 Git 等现代开发工具，并可与 OpenAI Codex 和 Claude Code 等 AI 编程助手集成，大幅提升开发效率。融合智能体应用具备环境感知、自主规划、工具调用和多步执行能力，能理解复杂企业目标并完成端到端业务流程。当前企业级 AI 开发平台竞争激烈，微软、Salesforce 等纷纷布局，Gartner 预测未来三年内此类平台将成为企业数字化转型核心基础设施。Oracle 此举旨在巩固其企业软件市场领先地位。 #Oracle #AI #智能体 #低代码 #企业级 #数字化转型 #开发平台 #科技新闻
Oracle 推出全新 AI 原生智能体应用开发平台，该平台支持无代码、低代码及专业编码三种开发模式，让不同水平的开发者都能参与构建智能应用。平台引入 AI Studio Skill，兼容 Visual Studio Code、命令行工具和 Git 等现代开发工具，并可与 OpenAI Codex 和 Claude Code 等 AI 编程助手集成，大幅提升开发效率。融合智能体应用具备环境感知、自主规划、工具调用和多步执行能力，能理解复杂企业目标并完成端到端业务流程。当前企业级 AI 开发平台竞争激烈，微软、Salesforce 等纷纷布局，Gartner 预测未来三年内此类平台将成为企业数字化转型核心基础设施。Oracle 此举旨在巩固其企业软件市场领先地位。 #Oracle #AI #智能体 #低代码 #企业级 #数字化转型 #开发平台 #科技新闻
AWS Summit Hong Kong 2026：Agentic AI 从实验走向落地，企业需转变心态
6月17日，AWS Summit Hong Kong 2026在香港湾仔会展举行，数千名企业领袖与技术专家聚焦Agentic AI的实际应用。麦肯锡报告显示，62%的企业在实验AI Agent，但仅23%实现全公司规模化部署。AWS宣布与香港科技园深化合作，联合创新中心升级，计划三年内支持超300家AI初创，重点涵盖医疗与生命科学领域。企业案例中，Vistra通过AI工具实现13,000小时效率提升，八达通则从封闭系统转向开放，以应对熵增危机。香港政府已拨出30亿港币AI补贴计划，旨在打造领先AI枢纽。峰会传递核心信号：AI不再是Demo，而是必须上线的生产力工具。 #AWS #AI #AgenticAI #香港科技 #数字化转型 #初创企业 #八达通 #Vistra #云服务 #科技新闻
6月17日，AWS Summit Hong Kong 2026在香港湾仔会展举行，数千名企业领袖与技术专家聚焦Agentic AI的实际应用。麦肯锡报告显示，62%的企业在实验AI Agent，但仅23%实现全公司规模化部署。AWS宣布与香港科技园深化合作，联合创新中心升级，计划三年内支持超300家AI初创，重点涵盖医疗与生命科学领域。企业案例中，Vistra通过AI工具实现13,000小时效率提升，八达通则从封闭系统转向开放，以应对熵增危机。香港政府已拨出30亿港币AI补贴计划，旨在打造领先AI枢纽。峰会传递核心信号：AI不再是Demo，而是必须上线的生产力工具。 #AWS #AI #AgenticAI #香港科技 #数字化转型 #初创企业 #八达通 #Vistra #云服务 #科技新闻
不让大模型决定临床决策
一个被要求进行心理治疗的大模型会即兴发挥，它被训练成迎合模式，而临床中最关键的决策——采用哪种技术、探索多深、当前是否安全——恰恰是最不应该由迎合型模型做出的。团队最初尝试通过提示词控制，但提示词不可靠：足够情绪化的信息会让模型绕过指令，且失败是无声的——模型会生成流畅、温暖、自信但临床上错误的回复，没有任何异常可以捕获。因此，团队将决策权从模型中剥离。 每一轮交互都运行固定管道：评分→选择状态桶→准入门→选择动作→微观实践→危机预筛→生成。其中只有两步涉及大模型，其余都是Python实现的确定性代码。模型从不决定临床步骤是否合适，它看不到准入表，也不会被要求推理——当它被调用来生成时，决策已经计算完毕。具体而言，九种疗法流派×四种客户状态构成一张表格，每个单元格规定允许的技术范围：例如，认知行为疗法配合稳定客户可进行思维记录、证据核查和行为实验；同样疗法配合失代偿客户则只允许接地练习。技术集不会因模型判断而谨慎收窄，而是因状态评分指向了不同行。 表格下方是58个基于证据的微观实践，每个都有自身禁忌。深度在会话中逐步积累，失代偿时重置——这是状态机，而非倾向性。这种设计带来的特性是：准入门无法被“说服”。一个能言善辩声称自己很好的客户并不会比不善表达的客户获得更深层次的处理。他们的状态评分决定了这一切，评分读取的是他们说了什么，而非说得有多有说服力。 关键设计在于顺序。常见模式是事后过滤：模型先写，分类器检查，阻止或重新生成。这是默认放行模式——模型输出是默认结果，过滤器是例外，因此过滤器每个漏洞都会导致问题回复被发送。而团队的设计是在任何治疗性回复生成之前运行：遇到触发条件，生成完全跳过，发送固定消息而非生成内容；指定的主管临床医生会收到邮件和实时控制台推送，不可变的记录会写入警报表。安全标记不会衰减：三周前的风险信号仍会约束今天允许的操作。固定消息是故意的——急性风险时刻最不适合让语言模型发挥创造力。 团队也刻意明确了不触发警报的情况：隐喻（“这快杀死我了”）、对过去事件的反思性谈论、没有明确意图的普通悲伤或倦怠、外向型愤怒。
一个被要求进行心理治疗的大模型会即兴发挥，它被训练成迎合模式，而临床中最关键的决策——采用哪种技术、探索多深、当前是否安全——恰恰是最不应该由迎合型模型做出的。团队最初尝试通过提示词控制，但提示词不可靠：足够情绪化的信息会让模型绕过指令，且失败是无声的——模型会生成流畅、温暖、自信但临床上错误的回复，没有任何异常可以捕获。因此，团队将决策权从模型中剥离。 每一轮交互都运行固定管道：评分→选择状态桶→准入门→选择动作→微观实践→危机预筛→生成。其中只有两步涉及大模型，其余都是Python实现的确定性代码。模型从不决定临床步骤是否合适，它看不到准入表，也不会被要求推理——当它被调用来生成时，决策已经计算完毕。具体而言，九种疗法流派×四种客户状态构成一张表格，每个单元格规定允许的技术范围：例如，认知行为疗法配合稳定客户可进行思维记录、证据核查和行为实验；同样疗法配合失代偿客户则只允许接地练习。技术集不会因模型判断而谨慎收窄，而是因状态评分指向了不同行。 表格下方是58个基于证据的微观实践，每个都有自身禁忌。深度在会话中逐步积累，失代偿时重置——这是状态机，而非倾向性。这种设计带来的特性是：准入门无法被“说服”。一个能言善辩声称自己很好的客户并不会比不善表达的客户获得更深层次的处理。他们的状态评分决定了这一切，评分读取的是他们说了什么，而非说得有多有说服力。 关键设计在于顺序。常见模式是事后过滤：模型先写，分类器检查，阻止或重新生成。这是默认放行模式——模型输出是默认结果，过滤器是例外，因此过滤器每个漏洞都会导致问题回复被发送。而团队的设计是在任何治疗性回复生成之前运行：遇到触发条件，生成完全跳过，发送固定消息而非生成内容；指定的主管临床医生会收到邮件和实时控制台推送，不可变的记录会写入警报表。安全标记不会衰减：三周前的风险信号仍会约束今天允许的操作。固定消息是故意的——急性风险时刻最不适合让语言模型发挥创造力。 团队也刻意明确了不触发警报的情况：隐喻（“这快杀死我了”）、对过去事件的反思性谈论、没有明确意图的普通悲伤或倦怠、外向型愤怒。