Server 六月曝九项安全漏洞，AI 助力发现八项
据 Phoronix 报道， Server 及 XWayland 组件在六月初被发现九项新的安全漏洞。其中八项由趋势科技（Trend Micro）的 TrendAI 零日计划利用人工智能技术发现，另一项由 Red Hat 资深输入开发者 Peter Hutterer 发现。这些漏洞涵盖栈缓冲区溢出、释放后使用、越界读写等多种类型，包括 Font Alias 栈缓冲区溢出、XSYNC 释放后使用（miSyncDestroyFence、FreeCounter、SyncChangeCounter）、XKB 键类型与 SetMap 栈缓冲区溢出、GLX ChangeDrawableAttributes 越界读写、CreateSaverWindow 释放后使用信息泄露以及 DRI2 越界写入等。为修复这些问题，xorg-server 21.1.23 和 xwayland 24.1.24 已紧急发布。 安全漏洞问题已持续十余年，随着 AI 在安全研究中的广泛应用，预计今夏还将有更多漏洞被发现。 #Xorg #安全漏洞 #AI #趋势科技 #零日漏洞 #Linux #开源软件 #网络安全
据 Phoronix 报道， Server 及 XWayland 组件在六月初被发现九项新的安全漏洞。其中八项由趋势科技（Trend Micro）的 TrendAI 零日计划利用人工智能技术发现，另一项由 Red Hat 资深输入开发者 Peter Hutterer 发现。这些漏洞涵盖栈缓冲区溢出、释放后使用、越界读写等多种类型，包括 Font Alias 栈缓冲区溢出、XSYNC 释放后使用（miSyncDestroyFence、FreeCounter、SyncChangeCounter）、XKB 键类型与 SetMap 栈缓冲区溢出、GLX ChangeDrawableAttributes 越界读写、CreateSaverWindow 释放后使用信息泄露以及 DRI2 越界写入等。为修复这些问题，xorg-server 21.1.23 和 xwayland 24.1.24 已紧急发布。 安全漏洞问题已持续十余年，随着 AI 在安全研究中的广泛应用，预计今夏还将有更多漏洞被发现。 #Xorg #安全漏洞 #AI #趋势科技 #零日漏洞 #Linux #开源软件 #网络安全
LLM辅助编程引发CS学习思考，学生面临新挑战
据海外科技博主撰文，近期AI编程助手Claude Code的爆发式应用揭示了软件开发行业的新现实：过去大量被视作生产力的工作，如今不过是AI循环调用命令行工具的结果。九个月前，Anthropic CEO曾预测AI助手将在3-6个月内编写90%的代码，如今这一预言正加速成真。面对AI可轻松完成从概念到完整应用的构建，许多计算机科学专业学生开始质疑：还有必要继续系统学习CS吗？作者指出，尽管AI能写大量实用代码，但仍存在其无法胜任的领域。但更关键的是，学生应转变方向，从重复性生成任务转向真正考验智力、需深度思考的难题，利用AI帮助突破思维瓶颈，而非依赖AI放弃理解技术细节。 #计算机科学 #LLM #AI编程 #ClaudeCode #技术教育 #软件开发
据海外科技博主撰文，近期AI编程助手Claude Code的爆发式应用揭示了软件开发行业的新现实：过去大量被视作生产力的工作，如今不过是AI循环调用命令行工具的结果。九个月前，Anthropic CEO曾预测AI助手将在3-6个月内编写90%的代码，如今这一预言正加速成真。面对AI可轻松完成从概念到完整应用的构建，许多计算机科学专业学生开始质疑：还有必要继续系统学习CS吗？作者指出，尽管AI能写大量实用代码，但仍存在其无法胜任的领域。但更关键的是，学生应转变方向，从重复性生成任务转向真正考验智力、需深度思考的难题，利用AI帮助突破思维瓶颈，而非依赖AI放弃理解技术细节。 #计算机科学 #LLM #AI编程 #ClaudeCode #技术教育 #软件开发
明略科技正式纳入港股通，黄仁勋宣布Agent AI时代到来
2026年6月1日，被称为“港股Agentic AI第一股”的明略科技-W（ ）正式获纳入“港股通”交易标的，内地投资者可直接参与交易。该公司自2025年11月上市以来股价涨幅超40%。同日，英伟达CEO黄仁勋在台北电脑展上宣布代理式AI（Agent AI）时代已到来，并发布面向AI智能体的CPU Vera。明略科技自研的DeepMiner大模型及Octo多Agent协作平台已内部部署超2900个AI Agent，实现Agent to Agent深度协同。其首款AI硬件Octic及端侧模型Mano-P也取得进展。2025年年报显示，新业务“Agentic Services”首年贡献收入超1亿元，毛利率提升至55.4%，大客户续约率达96%，标志着专业服务从“卖人力”向“卖AI劳动力”的范式转移。 #明略科技 #港股通 #AgentAI #英伟达 #黄仁勋 #AI智能体 #大模型 #科技新闻
2026年6月1日，被称为“港股Agentic AI第一股”的明略科技-W（ ）正式获纳入“港股通”交易标的，内地投资者可直接参与交易。该公司自2025年11月上市以来股价涨幅超40%。同日，英伟达CEO黄仁勋在台北电脑展上宣布代理式AI（Agent AI）时代已到来，并发布面向AI智能体的CPU Vera。明略科技自研的DeepMiner大模型及Octo多Agent协作平台已内部部署超2900个AI Agent，实现Agent to Agent深度协同。其首款AI硬件Octic及端侧模型Mano-P也取得进展。2025年年报显示，新业务“Agentic Services”首年贡献收入超1亿元，毛利率提升至55.4%，大客户续约率达96%，标志着专业服务从“卖人力”向“卖AI劳动力”的范式转移。 #明略科技 #港股通 #AgentAI #英伟达 #黄仁勋 #AI智能体 #大模型 #科技新闻
OpenAI 在 AWS Bedrock 推出 GPT-5.5 等最新 AI 模型，韩国企业受益
OpenAI 于 2 日宣布，将在亚马逊云服务（AWS）的生成式 AI 平台 Amazon Bedrock 上正式推出最新模型 GPT-5.5、GPT-5.4 以及编码代理 Codex。这意味着韩国企业可以在 AWS 环境下更便捷地使用 OpenAI 的最新模型，且使用量将统一计入现有 AWS 云协议，有助于降低费用负担。GPT-5.5 能快速理解用户意图并自主完成多阶段任务；GPT-5.4 兼顾高性能与成本效率，适合大规模业务；Codex 每周有超 500 万用户，可自动执行代码编写、调试等任务，并按 token 计费。这些模型将在 Bedrock 的新一代推理引擎及 AWS 安全体系上运行，具备自动容量管理功能，确保高负载下响应速度稳定，硬件故障时任务不中断。OpenAI 韩国代表金京勋表示，此次合作让韩国企业能在已信赖的 AWS 环境中轻松利用 OpenAI 最新模型，基于现有系统快速扩展使用范围。 #OpenAI #AWS #GPT5.5 #人工智能 #韩国 #云计算 #AI模型 #亚马逊Bedrock #Codex
OpenAI 于 2 日宣布，将在亚马逊云服务（AWS）的生成式 AI 平台 Amazon Bedrock 上正式推出最新模型 GPT-5.5、GPT-5.4 以及编码代理 Codex。这意味着韩国企业可以在 AWS 环境下更便捷地使用 OpenAI 的最新模型，且使用量将统一计入现有 AWS 云协议，有助于降低费用负担。GPT-5.5 能快速理解用户意图并自主完成多阶段任务；GPT-5.4 兼顾高性能与成本效率，适合大规模业务；Codex 每周有超 500 万用户，可自动执行代码编写、调试等任务，并按 token 计费。这些模型将在 Bedrock 的新一代推理引擎及 AWS 安全体系上运行，具备自动容量管理功能，确保高负载下响应速度稳定，硬件故障时任务不中断。OpenAI 韩国代表金京勋表示，此次合作让韩国企业能在已信赖的 AWS 环境中轻松利用 OpenAI 最新模型，基于现有系统快速扩展使用范围。 #OpenAI #AWS #GPT5.5 #人工智能 #韩国 #云计算 #AI模型 #亚马逊Bedrock #Codex
Bloc 推出 AI 视频画布编辑器，颠覆传统时间线工作流
Bloc 发布了一款名为“AI 视频画布编辑器”的创新工具，它摒弃了 Runway、Pika 等竞品依赖的“时间线”范式，转而采用“画布”模式。用户可在无限画布上自由放置多个独立视频区块（blocs），每个区块可独立编辑，修改其中任意一个时其他区块保持不变，解决了传统工具中“改一处需重做整个视频”的痛点。Bloc 集成了 Seedance 2.0、Claude 4、GPT 等 AI 模型，支持 VACE 扩展、AI 聊天指令编辑和关键帧预览。产品主要面向创意机构、学习发展团队和自由职业者，声称能大幅节省修订时间和成本。目前提供 250 个免费积分，无需信用卡即可在 Mac、Windows 和 Web 端使用。 #AI视频 #Bloc #画布编辑器 #时间线 #视频制作 #创意工具 #AI工具 #科技
Bloc 发布了一款名为“AI 视频画布编辑器”的创新工具，它摒弃了 Runway、Pika 等竞品依赖的“时间线”范式，转而采用“画布”模式。用户可在无限画布上自由放置多个独立视频区块（blocs），每个区块可独立编辑，修改其中任意一个时其他区块保持不变，解决了传统工具中“改一处需重做整个视频”的痛点。Bloc 集成了 Seedance 2.0、Claude 4、GPT 等 AI 模型，支持 VACE 扩展、AI 聊天指令编辑和关键帧预览。产品主要面向创意机构、学习发展团队和自由职业者，声称能大幅节省修订时间和成本。目前提供 250 个免费积分，无需信用卡即可在 Mac、Windows 和 Web 端使用。 #AI视频 #Bloc #画布编辑器 #时间线 #视频制作 #创意工具 #AI工具 #科技
Amazon Bedrock AgentCore Gateway 实现 OAuth 授权码流认证
在现代化开发流程中，开发者越来越多地依赖 AI 编码助手与远程工具交互，但企业需要强大的认证机制确保安全。Amazon Bedrock AgentCore Gateway 作为托管服务，提供集中入口来路由和保护智能体与工具间的通信。本文演示如何为基于该 Gateway 托管的 MCP 服务器实现 OAuth 授权码流作为入站认证机制。通过此方案，每个 AI 助手请求都需携带身份提供商颁发的有效用户令牌，实现生产级安全访问。架构涵盖身份提供商、AI 客户端和 MCP 服务器，确保请求经过身份验证后方可调用工具。 #AI #认证 #OAuth #AWS #Bedrock #MCP #网络安全 #云服务
在现代化开发流程中，开发者越来越多地依赖 AI 编码助手与远程工具交互，但企业需要强大的认证机制确保安全。Amazon Bedrock AgentCore Gateway 作为托管服务，提供集中入口来路由和保护智能体与工具间的通信。本文演示如何为基于该 Gateway 托管的 MCP 服务器实现 OAuth 授权码流作为入站认证机制。通过此方案，每个 AI 助手请求都需携带身份提供商颁发的有效用户令牌，实现生产级安全访问。架构涵盖身份提供商、AI 客户端和 MCP 服务器，确保请求经过身份验证后方可调用工具。 #AI #认证 #OAuth #AWS #Bedrock #MCP #网络安全 #云服务