广东
谷歌打造 Teamwork 系统
谷歌宣布进一步扩展旗下 Antigravity 多智能体系统，利用多个由 Gemini 模型驱动的专业智能体组成 Teamwork 系统，号称可解决“长期悬而未决的数学难题”、“验证复杂数学证明”，并优化各种软件系统性能。
例如，谷歌已成功对韦伊猜想（Weil conjectures）进行形式化证明。这是一组关于有限域上多项式方程解的数量的重要数学结论，最初由数学家皮埃尔 · 德利涅（Pierre Deligne）于 1974 年证明。谷歌 Teamwork-LEAP 系统通过约 2.88 万次子智能体调用，累计生成约 180 万行 Lean 代码，完成了相关数学成果的形式化工作。
谷歌还表示，相应系统近期还成功复现了一项关于三维纳维-斯托克斯方程（Navier–Stokes equations）有限时间爆破问题的形式化证明。并帮助研究人员解决了库尔塔德-库马尔猜想（Courtade–Kumar conjecture）。
来源：IT之家
小米澎湃 OS 4 第三批正式版开启推送
小米官方今天宣布，澎湃 OS 4 第三批机型正式版即日起开启陆续推送，符合条件的设备可在系统更新中检测新版本。
手机名单涵盖小米 5 Ultra 及双卫星版、15S Pro、15 Pro、15、MIX Flip 2、Civi 5 Pro，REDMI K80 Pro 及冠军版、K80 至尊版、K80，以及 Turbo 4 Pro 及哈利波特版、Turbo 4。
平板名单包括小米 Pad 7 Ultra、Pad 7S Pro 12.5、Pad 7 Pro、Pad 7 与 REDMI K Pad。
来源：快科技
openEuler 社区 AI 赋能成果亮相
openEuler 社区分享最新社区运营进展。
数据显示，当前社区中 41.32% 的代码合并请求（PR）有 AI 参与，AI 正深度驱动社区开发流程进化；同期社区新增开发者 2584 位，开发者规模环比提升 21.8%。
来源：DoNews
特斯拉 Cybercab 正式对个人开放订购
特斯拉 Cybercab 开启面向个人用户的订购通道，车辆定价 29990 美元（当前约合人民币 20 万元），不过想要正常使用车辆，车主必须持续订阅每月 299 美元（当前约合人民币 2000 元）的自动驾驶服务包。
按照官方公布的订购规则，本次个人购车采用邀请制，仅面向特斯拉指定服务区域内的受邀客户开放，购车需要支付 1000 美元不可退定金，首批车辆计划于 2026 年 12 月率先在美国得州奥斯汀交付。购车价格包含首月自动驾驶订阅费用，后续按月扣费，用户可随时取消订阅；一旦订阅中断，车辆将无法正常运行。
来源：易车
Cloudflare 开源为 AI 智能体打造的浏览器 Kitesurf
今年 8 月，Cloudflare 推出专为 AI 智能体打造的浏览器 Kitesurf。当地时间 11 月 13 日，Cloudflare 宣布开源 Kitesurf。
据介绍，Kitesurf 运行在 Cloudflare Workers 之上，无需依赖传统的浏览器容器，即可完成 HTML 解析、CSS 应用、执行页面中的 JavaScript 以及网页截图渲染。同时，它支持 Chrome 开发者工具协议（Chrome DevTools Protocol），用户可以直接使用现有工具对其进行驱动，底层完全无需依赖任何 Chromium 进程或容器。
官方表示，Kitesurf 并没有照搬 Chromium 这类完整的桌面浏览器引擎，而是聚焦于智能体真正关心的核心指标（如 Token 消耗量、上下文窗口、可扩展性、性能与成本），同时果断舍弃了仅面向人类用户的功能，例如标签页、外观主题、浏览器扩展以及像素级精确渲染。这意味着可以并发运行更多会话，从而更从容地应对突发性、由 AI 驱动的高并发负载。
来源：IT之家
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
