单一来源
当前只有一个可用来源，尚未完成多源交叉核验中国科技企业亮相全球网络峰会 展示AI及人形机器人
中国科技企业在葡萄牙举行的全球网络峰会（Web Summit）上大举展示人工智能（AI）及机器人技术，从能跳舞、打太极的人形机器人，到低成本AI模型，凸显中国在全球科技领域日益增强的影响力。
综合法新社和新浪科技报道，峰会星期一（11月9日）在里斯本开幕，将持续至星期四（12日），预计吸引来自164个国家的至少7万名与会者，包括初创企业及投资者。峰会创办人科斯格雷夫（Paddy Cosgrave）在开幕式上说：“未来的科技明星越来越多不再来自加利福尼亚，而是来自中国。
” 他指出，今年有超过50名来自中国领先AI实验室、机器人初创企业、汽车制造商，以及量子计算和能源领域的代表受邀演讲。中国机器人企业成为峰会焦点之一。智元机器人的人形机器人星期一登台表演舞蹈和太极，银河通用及优必选也将展示各自的人形机器人。
出席峰会的中国科技企业高管包括宇树科技联合创始人陈立、智元机器人欧洲区总裁William Shi，以及AI企业Manus联合创始人张涛。张涛在开幕式上展示Manus 2.0，现场演示利用AI自主搜集资料并生成视频智能出行方面，自动驾驶企业小马智行联合创始人也将出席峰会。
该公司已在中国及欧洲开展无人驾驶出租车业务。小鹏汇天创始人赵德力则介绍公司的飞行汽车发展计划，并在星期一的开幕活动上展示一款原型机。在国内需求疲弱、美国以国家安全为由限制中国部分科技产品进入市场的背景下，中国科技企业正积极拓展海外业务。
与此同时，中国开发的开放权重AI模型，因可免费下载并进行一定程度的修改，吸引欧洲企业关注，包括电信运营商Orange、汽车制造商雷诺、金融科技公司Revolut及德国工业集团西门子。
Evidence
来源与证据
当前仅有一个可用来源，尚未完成多源交叉核验。
- 发布时间
- 内容处理
- AI 翻译 / 摘要，需结合原文核对
相关资讯
我国算力总规模达 310 万 PFLOPS，位居世界第二
IT之家 11 月 10 日消息，据央视新闻报道，今天，全国数据标准化技术委员会 2026 年第二次“标准周”活动在福建厦门举行。据相关负责人介绍，全国数据标准化技术委员会此次正式成立具身智能数据标准起草工作组及气象、卫生健康、电力、商务等 4 个行业应用标准起草工作组，加快推进“十五五”期间数据领域相关标准制定，赋能行业产业数字化发展。IT之家从报道中获悉，最新数据显示，我国算力总规模已达到 310 万 PFLOPS，位居世界第二。2025 年 8 月的信息显示，近年来，我国算力总规模年增速达到 30% 左右。在人工智能的快速发展带动下，智能算力需求呈现迅猛增长态势。中国电信研究院发布的《智
英伟达于 CoRL 发布世界动作模型 GR00T2 五次示范成功率 95%
英伟达于 CoRL 发布世界动作模型 GR00T2 五次示范成功率 95% 10 分钟前 11 月 9 日英伟达发布新一代世界动作模型 GR00T2，该模型基于 10 万小时人类第一视角数据预训练，在 50 项评测任务中，仅给 1 次示范时平均成功率为 71%，给 5 次示范时成功率达 95%，且无需目标机器人的任务专用示范，可直接实现跨本体迁移。 英伟达在 CoRL 大会上推出 GR00T 2、Isaac Lab 3.0 及新的开放基准测试。 英伟达：在 CoRL 大会上推出 GR00T 2、Isaac Lab 3.0 以及全新的开放式基准测试。 华尔街见闻 英伟达于 CoRL
谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证，数学证明其端到端加密可靠性
IT之家 11 月 10 日消息，长期以来，Signal 加密协议一直被视为端到端加密消息传递的黄金标准。如今，谷歌 DeepMind 团队利用人工智能，对这一协议的安全性进行了正式验证（Formal Verification）。据IT之家了解，除了 Signal 应用本身，这套加密协议也被 WhatsApp 和谷歌信息（Google Messages）采用，这项研究成果被描述为“一项具有里程碑意义的进展”。所谓“形式化验证”，是指通过数学方法，严格证明或证伪某种加密算法或协议是否满足其安全性承诺。与传统测试不同，形式化验证旨在证明协议在所有符合既定模型的条件下都能满足安全要求，而不只是通过测
DeepMind 用 AI 工具形式化验证 Signal 协议安全
DeepMind 用 AI 工具形式化验证 Signal 协议安全 15 分钟前 Google DeepMind 研究人员借助新 AI 框架 AlphaProof Code，在四周内完成 Signal 协议的形式化验证，确认当前受检协议部分未发现新漏洞，且可正确识别存在已知旧漏洞的旧版 Signal 的问题，判定其无法通过验证。该成果是形式化验证向全球各类软件拓展的里程碑，相关研究人员已公开本次分析开发的规范与证明，为其他形式化验证工作提供助力。 DeepMind 用 AI 工具形式化验证 Signal 协议安全 techflowpost.com 谷歌 DeepMind 用 AI 完
AI 翻译、摘要和解读仅用于辅助判断；涉及重要决策时，请回到上方来源核实。