中国信通院最新数据显示，4 月国内市场手机出货量 2573.3 万部，同比增长 2.8%。其中 5G 手机出货量 2473.6 万部，同比增长 24.4%，占比高达 96.1%，成为市场绝对主力。智能手机出货量同比增长 ...

微软正为 Copilot 打造一套全新的 AI 设计体系，旨在让功能更智能、更贴合用户意图，自然融入操作流程。通过“流转交互”等模式，减少对用户的打扰，提升使用沉浸感。#微软 Copilot# #AI 设计#

小米商城发文，宣布将于近期推出全新会员体系，原 FRIEND 会员将于 6 月 15 日 10:00 起停止开 / 续卡，已开通原 FRIEND 会员的用户在会员有效期届满前，可继续正常使用原 FRIEND 会员享有的各...

在 Waymo、nuScenes 等主流基准测试中全面取得 SOTA，并已在小米汽车合成数据、仿真测试、智能座舱三大核心场景完成业务落地。

微软研究院本月发布开源网页智能体框架 Webwright，让 AI 模型在终端里编写 Playwright（浏览器自动化库）代码、执行 bash 命令、查看日志并反复修正。

谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题。

乔治 · 霍茨（George Hotz）于 5 月 24 日发布博文，指出在当代软件开发过程中，AI 编程智能体可能是代价最高的错误之一。

据介绍，SkyClaw-v1.0 支持百万 token 上下文，深度适配真实智能体工作场景，重点优化复杂工具调用、多轮任务执行、代码生成、文件编辑、交互式应用构建与研究型数据分析。

面壁智能今日联合清华大学、 OpenBMB 开源社区正式发布并开源最新一代端侧文本基座大模型 ——MiniCPM5-1B。

在 Code Arena 全球编程大模型榜单中，阿里 Qwen3.7-Max 得分 1541 分，排名全球第四，国产模型第一。其实际编程能力已超过 Claude Opus 4-6、GLM-5.1 及 Kimi-K2.6 等知名模型，展现了国产 AI ...