6 月 2 日是独立搜索引擎 Kagi 发布三周年。Kagi 目前拥有近 5 万名付费用户,自去年同期起已实现盈亏平衡。
Kagi 由 Vladimir Prelovac 创立,采用付费订阅模式,承诺不追踪用户、不投放广告。该公司将自己定位为「互联网公司」,致力于构建包含搜索、浏览器和电子邮件的完整生态系统。目前 Kagi 已推出搜索引擎、Orion 浏览器、AI 助手 (Assistant)、翻译工具 (Translate) 等产品。
在产品路线图方面,Kagi 计划今年推出多项新功能。包括 Kagi Mail 电子邮件服务、搜索 API 正式版本、Orion 浏览器 1.0 版本、Kagi Maps 地图服务,以及面向教育机构的 Kagi for Education。
在隐私保护方面,Kagi 今年集成了 Privacy Pass 技术,从技术层面确保搜索记录无法与用户账户关联。公司还推出了 Tor 洋葱服务,并完成了安全审计和漏洞赏金计划。
Kagi 表示,其长期目标是在 5 到 9 年内达到 500 万用户,实现 10 亿美元年收入,同时保持团队规模在邓巴数 (Dunbar's number) 一半以下。公司创始人强调,这一目标体现了对抗注意力经济、为用户提供以人为本的互联网体验的使命。
目前全球仅有 5 家公司同时提供搜索引擎、浏览器和电子邮件服务的完整生态,其余 4 家 (Alphabet[即Google 的母公司]、Microsoft、Yandex、百度、Naver) 均采用广告驱动的商业模式。
(Kagi Blog)
2025 年 5 月 24 日,知名开源对象存储项目 MinIO 发布了一个引发社区强烈争议的版本更新。此次更新以「简化控制台」为名,删除了 114,736 行代码,将原本功能完整的 Web 管理界面大幅精简为仅具备对象浏览功能的基础界面。
被移除的功能包括用户账户管理、访问策略配置、存储桶 (Bucket) 管理工具以及系统配置等核心管理功能。用户现在无法通过 Web 界面执行任何管理员级别的操作,所有管理任务被强制转移到 mc 命令行工具。
MinIO 联合创始人 Harshavardhana 在 GitHub 讨论中表示,维护社区版和商业版的双套图形界面需要「包括设计、用户体验、前后端开发以及安全测试在内的整个团队」投入,对社区版而言成本过高。他建议需要图形化管理的用户转向该公司的商业产品 AIStor,或改用命令行工具。
开源社区普遍认为这是商业利益驱动的决策,是在没有预先通知的情况下强制推动商业化的行为。有用户在 Reddit 等平台发帖警告「避免使用 MinIO」,认为这是典型的「特洛伊木马式更新」。随后 MinIO 锁定了相关 GitHub 讨论。
作为回应,社区迅速启动了名为 OpenMaxIO 的分叉项目,致力于恢复被删除的管理功能。同时,SeaweedFS、Garage 等替代方案也获得了更多关注。
(Github PR) (详细报道)
——————
本频强烈谴责 MinIO 以削减开源版本竞争力来将用户引流至付费版本的做法。
本频建议,在采用开源基础设施时,应当留意其未来发展和授权策略变化,提前备好应对方案,以免陷入类似 MinIO 这样功能突遭削减的困境。也期待 MinIO 及更多开源企业能从中吸取经验,在商业利益与开源精神之间找到更稳健的平衡。
React Router v7 已将 Remix 的核心功能完全整合进来,包括服务端渲染、代码分割和实验性的 React Server Components (RSC) 支持。这为现有的数百万 React Router 项目提供了升级到现代全栈开发的平滑路径。
RSC 是这次更新的亮点,它允许开发者在服务器端渲染组件,然后将结果传送到客户端,实现了更高效的数据加载和更好的性能表现。
Remix v3 将放弃 React 转而基于 Preact 重新构建。团队希望通过这种方式获得完全的技术栈控制权,并专门为 AI 辅助开发进行优化。新框架强调对React 零依赖和运行时优先的设计原则。
(Remix Blog)
该公司首席执行官 Josh Miller 认为,Arc 浏览器对大多数人而言还是过于超前了 —— 用户需要学习太多新东西,但回报太少…… 除此之外,“Arc 的核心功能和核心价值缺乏凝聚力。它具有实验性,这是其魅力的一部分,但也增加了其复杂性”,Miller 说道。
Arc 浏览器基于 Chromium 内核打造,提供了 Windows 和 Mac 版本,均采用 Swift 语言编写,目的是为了让 Windows 与 Mac 版本重用和共享大部分代码库。
2025 年 5 月 18 日起,MathWorks 公司旗下的 MATLAB 软件及相关服务遭遇大规模网络攻击,导致全球用户无法正常访问和使用相关产品。
据多所国外大学确认,此次中断由网络攻击引起,而非常规技术故障。瑞典皇家理工学院 (KTH) 和卡罗林斯卡学院等机构均在官方通知中证实了攻击性质。用户在尝试访问 MathWorks 门户网站时遇到「no healthy upstream」错误信息。
受影响的服务范围广泛,包括 MATLAB 在线版本、软件下载、许可证中心、文件交换平台、MATLAB Grader 教育工具以及技术支持论坛等。由于 MATLAB 近年来采用在线许可验证机制,即使是本地安装的软件也因无法连接许可服务器而无法启动。
西华盛顿大学学术技术服务部门于 5 月 20 日上午 11 时确认了这一「影响 MathWorks 基础设施的大规模服务中断」。英属哥伦比亚大学信息技术部门也发布了类似的服务中断通知。
MathWorks 在其官方状态页面 status.mathworks.com 上持续更新修复进展。截至 5 月 24 日,大部分非核心服务仍处于中断状态。公司表示正在「继续恢复系统」并将「尽快提供更多更新」。
(综合媒体报道)
北京时间 5 月 23 日凌晨,Anthropic 正式推出 Claude 4 系列模型,包括 Claude Opus 4 和 Claude Sonnet 4。两款模型在编码、高级推理和 AI 智能体(AI Agent)任务方面有进步。
Claude Opus 4 被 Anthropic 称为「全球最佳编程模型」,在 SWE-bench Verified 测试中取得 72.5% 的成绩,Terminal-bench 得分为 43.2%,全面领先于 OpenAI 的 o3 和谷歌的 Gemini 2.5 Pro。该模型能够连续稳定工作数小时,日本乐天集团(Rakuten)在测试中让其独立完成了一项开源代码重构任务,连续运行 7 小时且性能始终保持稳定。
Claude Sonnet 4 作为 Sonnet 3.7 的升级,在 SWE-bench 上达到 72.7% 的得分。GitHub 已宣布将其作为 GitHub Copilot 新编码智能体的基础模型。
两款模型均采用混合架构,提供近即时响应和扩展思考两种模式。在扩展思考模式下,模型可以调用网络搜索等工具,并支持并行使用多个工具。当开发者授予本地文件访问权限时,模型展现出显著增强的记忆能力,能够创建和维护「记忆文件」来存储关键信息。
Claude 4 系列现已在 claude.ai、Anthropic API、Amazon Bedrock 和 Google Cloud Vertex AI 全面上线。Sonnet 4 向免费用户开放,Pro、Max、Team 和 Enterprise 用户可使用两款模型及扩展思考功能。API 定价与前代保持一致:Opus 4 每百万词元(Token)15 美元(输入)/75 美元(输出),Sonnet 4 为 3 美元(输入)/15 美元(输出)。
同时发布的还有正式版 Claude Code,支持通过 GitHub Actions 执行后台任务,并与 VS Code 和 JetBrains 实现原生集成。Anthropic API 新增代码执行工具、MCP 连接器、文件 API 以及长达一小时的提示词缓存等四项新功能。
(综合媒体报道)
收购完成后,Jony Ive将携其独立设计工作室LoveFrom,全面负责OpenAI未来的创意与硬件产品设计。io团队约55名核心成员也将整体并入OpenAI,其中不乏多位曾参与iPhone、Apple Watch等标志性产品的苹果前设计骨干。
目前,双方正联合研发一款“超越屏幕”的AI消费设备,预计将在2026年推出。
(Moomoo)
- 炫耀 Gemini 2.5 Pro I/O 版本在各项基准测试中登顶
- 发布 Gemini 2.5 Pro Deep Think 版本,号称超越 OpenAI o3
- 上线 Veo 3 视频模型,首次实现视频与原生音频结合
- 发布 Imagen 4 图像模型,显著提升细节表现与排版能力
- Flow 工具整合 Veo、Imagen 和 Gemini,支持一站式视频创作
- Google 搜索引入 AI Mode,支持复杂查询及深度研究
- Project Aura 智能眼镜回归,与 Xreal 合作,集成 Gemini 能力
- Google AI Ultra 订阅推出,249.99 美元 / 月(约 1800 元)
- 编程助手 Jules 进入公测,可直接集成用户代码库
(综合媒体报道)
据爱范儿,今年 WWDC 主题演讲的重点将放在苹果软件生态的更新上,包括 iPhone 操作系统 iOS 19 在内的多套操作系统将迎来新的接近于 visionOS的视觉风格,以及大量的交互和功能升级。
目前 Jules 测试版已无需 waiting list,任何开发者均可访问 jules.google.com,用谷歌账号登录并同步 GitHub 仓库后,立即对指定问题赋予「assign-to-jules」标签启动任务。免费配额限制为每天五个任务,谷歌计划今年晚些时候推出高级使用和企业管理功能。
——————
与此同时,Microsoft 宣布将开源 VS Code 的 AI 编辑器功能。
VS Code 团队在 5 月 19 日的博客中直言:「我们相信代码编辑器的未来应该是开源且由 AI 驱动的」。团队计划将 GitHub Copilot Chat 扩展的代码以 MIT 许可开源,随后重构到 VS Code 核心中。
——————
与此同时,Anthropic 宣布,「Code with Claude」活动将在北京时间 5 月 23 日凌晨 0:30 开始,还将通过 anthropic.com/events 进行直播。预期该活动将发布对标前述产品的 AI 编程智能体。
(AGI Hunt)
NVIDIA 创始人兼 CEO 黄仁勋 19 日在 Computex 2025 发表主题演讲。
黄仁勋强调,AI 已成为继电力和互联网之后的新一代基础资源,NVIDIA 正致力于打造「AI 工厂」。他在演讲中提出「The more you buy, the more you make」的理念,认为 AI 算力将成为驱动各行各业创新和增长的核心引擎。
黄仁勋宣布,NVIDIA 将与富士康、台积电等台湾伙伴合作,在台建设首个大型 AI 超级计算机,还将在台北北投士林区建立新的大型办公园区「Nvidia Constellation」。
AI 算力方面,NVIDIA 宣布其旗舰 Blackwell 平台将迎来重大升级,今年第三季度将推出 Grace Blackwell GB300 超级芯片,预计带来 1.5 倍的推理性能和 HBM 显存提升,以及 2 倍的网络能力增强。
针对个人开发者和研究者,NVIDIA 推出了 DGX Spark(搭载 GB10 芯片)个人 AI 计算机。更为强大的 DGX Station(搭载 GB300,内存高达约 800GB)则能让用户在桌面上运行万亿参数级别的 AI 大模型。
此外,NVIDIA 还展示了包括用于创建数字孪生的 Omniverse 平台、与谷歌 DeepMind 和迪士尼合作开发的 Newton 物理引擎(7 月开源)、包含 Jetson Thor 处理器和 GR00T 基础模型的 Isaac GR00T 机器人平台、面向企业负载的 RTX PRO 服务器、AI 数据平台「IQ」和 AI Ops 生态系统等成果。
(综合媒体报道,图:REUTERS)
- 免费用户:基于 o4-mini 的阉割版,5 次 / 月
- Plus&Team:基于 o3 的完全版 25 次 / 月;基于 o4-mini 的阉割版,额外 15 次 / 月
- Pro:基于 o3 的完全版 250 次 / 月;基于 o4-mini 的阉割版,额外 150 次 / 月
(OpenAI)
OpenAI 发布了 Codex,一款集成在 ChatGPT 中的云端软件工程智能体 (Agent),旨在提升开发者的编码效率。Codex 由 codex-1 模型驱动,这是 OpenAI o3 模型的一个特调版本,专为软件工程任务进行了优化。
Codex 能够并行处理多项任务,如编写新功能、解答代码库疑问、修复程序错误 (bug) 及提交拉取请求 (Pull Request) 以供审核。每项任务均在独立的云端沙盒环境中执行,并预加载用户代码库,开发者可通过 AGENTS.MD 文件指导其行为。OpenAI 表示,codex-1 通过强化学习训练,力求生成风格贴近人类且能精确遵循指令的代码,并可持续迭代测试直至通过。
该功能已开始向 ChatGPT Pro、Team 和 Enterprise 用户推送,Plus 及 Edu 用户也将「很快」获得访问权限。初期,Codex 作为研究预览版免费提供,后续将引入用量限制和按需付费方案。
此外,OpenAI 还更新了其本地终端工具 Codex CLI,将默认采用 codex-mini-latest 模型 (codex-1 的 o4-mini 版本)。该模型通过 API 调用的价格为每百万输入词元 (Token) 1.50 美元,每百万输出词元 (Token) 6 美元。
——————
另外,AI 编程公司 Windsurf 在其被 OpenAI 收购的消息传出后,发布了自研的 SWE-1 AI 编程模型系列。该系列旨在覆盖整个软件工程流程,核心理念为「流动感知」 (Flow Awareness),强调 AI 与开发者间的自然协作。
SWE-1 系列包含三款模型:核心模型 SWE-1,官方称其具备与 Claude 3.5 Sonnet 类似的工具调用推理能力且成本更低,推广期内付费用户可免费使用;SWE-1-lite 模型,将取代此前的 Cascade Base 版本,向所有用户免费开放;以及体积最小、速度最快的 SWE-1-mini 模型,专为 Windsurf Tab 中的低延迟体验设计,亦适用于所有用户。SWE-1 系列模型目前均已在 Windsurf 中上线。
(综合媒体报道)
Google 近日在其手机应用程序的 Icon 上应用了新的 LOGO 设计,原本四种标准色块的「G」标识,被赋予了更自然流动的渐变处理——从块状颜色转向柔和过渡,质感更高级、情绪更丰富。
Google 暂未更新其网页端的完整 LOGO,官方也暂未提供新 Icon 的解读和新闻稿。
(品牌美)
洛杉矶 CoreSite LA1 数据中心断电 影响多家托管商
2025年5月7日7时41分(北京时间),位于洛杉矶 West 7 Center 的 CoreSite LA1 数据中心因双路电源故障断电,导致包括 DMIT、搬瓦工 DC1、ZgoCloud 洛杉矶在内的多家云服务中断。
事故起因是一家第三方施工团队在街道作业时意外损坏了水管,触发建筑防火机制切断了主供电和备用电源。断电后,UPS 系统未能正常接管,机柜断电但环境照明及冷却系统仍在运行,消防喷淋和水压均无异常。
– 8时10分,(DMIT)确认网站和管理系统部署在该机房,其他区域服务不受影响,但控制面板仍然离线;
– 8时14分,工程师闻到机房局部烟味,机柜与机房无可见热损或水损,冷却系统和环境照明正常;
– 8时19分,确认并非真实停电,而是火警报警后为防火自动切断;未触发喷淋,无人员疏散;
– 8时48分,UPS 供应商工程师正在赶赴现场,电气工程师已到位,初步判定 UPS 自动切换出现故障,未能接管断电;
– 10时50分,UPS 技术人员即将抵达并开展修复。
(综合DMIT 公告、Bandwagonhost 状态页面)
——————
本站核心服务由CDN 集群托管,容灾策略已经完成切换;后端部署于美国东部,不受事故影响.
——————
北京时间 12:30 许,机房已经恢复供电。
2025年5月7日7时41分(北京时间),位于洛杉矶 West 7 Center 的 CoreSite LA1 数据中心因双路电源故障断电,导致包括 DMIT、搬瓦工 DC1、ZgoCloud 洛杉矶在内的多家云服务中断。
事故起因是一家第三方施工团队在街道作业时意外损坏了水管,触发建筑防火机制切断了主供电和备用电源。断电后,UPS 系统未能正常接管,机柜断电但环境照明及冷却系统仍在运行,消防喷淋和水压均无异常。
– 8时10分,(DMIT)确认网站和管理系统部署在该机房,其他区域服务不受影响,但控制面板仍然离线;
– 8时14分,工程师闻到机房局部烟味,机柜与机房无可见热损或水损,冷却系统和环境照明正常;
– 8时19分,确认并非真实停电,而是火警报警后为防火自动切断;未触发喷淋,无人员疏散;
– 8时48分,UPS 供应商工程师正在赶赴现场,电气工程师已到位,初步判定 UPS 自动切换出现故障,未能接管断电;
– 10时50分,UPS 技术人员即将抵达并开展修复。
(综合DMIT 公告、Bandwagonhost 状态页面)
——————
本站核心服务由CDN 集群托管,容灾策略已经完成切换;后端部署于美国东部,不受事故影响.
——————
北京时间 12:30 许,机房已经恢复供电。
Google 称其编程能力大幅提升,在所有编程排行榜上名列第一,超越 Claude 3.7 Sonnet (20250219)。
4 月 29 日,阿里巴巴开源了第三代千问大模型 Qwen3 系列,一口气发布了 8 个不同参数规模的模型。其中包括 6 个稠密模型和 2 个混合专家模型(MoE),覆盖从手机端到企业级服务器的各种应用场景:最小的 Qwen3-0.6B 仅有 6 亿参数,量化后只需 0.6GB 显存;最大的旗舰模型 Qwen3-235B-A22B 总参数量达 2350 亿,推理时激活 22 亿参数。
Qwen3 系列最大的创新是支持混合推理模式,通过 enable_thinking 参数控制,用户可将同一模型切换为快速响应或深度思考模式。对数学、编程等需要逻辑推理的问题启用思考模式,而摘要等简单任务则使用非推理模式提升速度。
在性能方面,旗舰模型 Qwen3-235B-A22B 在 LiveCodeBench 编程评测中得分达 70.7 分,超过了 OpenAI 的 o1、DeepSeek-R1 等顶级模型。体积较小的 Qwen3-4B 性能已可媲美上一代的 Qwen2.5-72B-Instruct。此外,Qwen3 系列支持 119 种语言(上一代仅 29 种),强化了 Agent 能力和 MCP 协议支持,并将上下文窗口扩展至最大 128K。
所有 Qwen3 系列模型均采用 Apache 2.0 协议开源,完全免费商用,部署成本约为 DeepSeek-R1 的三分之一。用户可在 Hugging Face、ModelScope 和 Kaggle 等平台获取模型权重。
(DataLearner)