上周DeepSeek-V4-Flash调用超7.22万亿 Token登顶；Visa斥资24亿美元收购BioCatch；2025年中国外骨骼机器人市场规模超16亿元|极新早报

—— ·要点速览· ——

1 、2025年中国外骨骼机器人市场规模超16亿元 出货量约2.6万台

2 、DeepSeek API出现性能下降情况，现已恢复

3、AI 辅助“推翻”考拉兹猜想失败，Lean 4.32.2 修复内核漏洞

4、Visa斥资24亿美元收购网络安全公司BioCatch，应对AI驱动的诈骗激增

5、全球第一！OpenRouter 称上周 DeepSeek-V4-Flash 调用超 7.22 万亿 Token 登顶

6、个人AI定义新一轮增长，消费电子产业链加速拥抱变革

7、微软测试其首款自研全双工 AI 语音 MAI Realtime 模型：支持中文等 16 种语言、2 种风格

8、腾讯音乐、SM娱乐在北京成立合资公司，注册资本4000万

9、创业板指大涨超5%

10、科创50指数收涨4.09% AI硬件方向领涨

更聚焦的科技行业交流群，捕捉每一条科技动态，诚挚邀请创业者、发烧友加入我们。微信扫码进群：

进群后，你有机会得到：

• 最新、最热的科技资讯；
  

• 最精准的行业资源对接；
  

• 论坛、沙龙、企业游学门票。

1、智能学习引擎通开发商「风火轮萤图」完成3000万元种子轮+融资，由高信资本领投，华源资本、上海天使会、新威集团、DNA Fund跟投。

风火轮萤图是一家主动交互型具身智能大脑研发商，聚焦具身智能领域，自主研发"主动交互大脑"，构建"持续感知—场景理解—需求预测—主动决策—具身执行—反馈优化"端到端闭环架构，致力于让机器人从"等待指令"走向"主动服务"。公司采用PAMI主动自适应多模态交互架构，融合视觉、语音、环境状态、用户行为与长期记忆，使机器人能够持续理解人与环境变化。公司旗下小京机器人已在家庭陪伴场景实现规模化落地，以自然主动互动陪伴孩子成长，同时为人形、服务机器人提供核心大脑方案。

2、空间态势感知服务提供商「清博空天」完成数千万元天使+轮融资，由明荟致远投资领投，兴湘投资、泰亚鼎富跟投。

清博空天是一家空间态势感知服务提供商，聚焦太空安全领域，专注空间碎片编目定轨、航天器碰撞预警及空间异动事件感知综合处理系统的研发与运营，致力于为商业卫星运营商和星座建设方提供商业化空间态势感知解决方案。公司具体服务包括空间碎片的编目定轨、空间目标的碰撞预警、空间异动事件感知综合处理系统等，服务对象涵盖卫星运营商、科研院所及相关航天机构。

3、人工智能听力解决方案提供商「听象科技」完成数千万元股权投资，由元禾璞华领投。

听象科技是一家人工智能听力解决方案提供商，聚焦轻中度听损人群，以AI语音增强、自验配技术和消费电子级交互体验为核心，持续提升助听器声音性能与使用体验，降低产品在价格、购买和使用上多重门槛，让高质量听力解决方案真正进入日常生活。公司目前的核心产品包括Beyond、Beyond Pro以及Delight。其中，旗舰产品Beyond Pro搭载自研VOCCLEAR 2.0语音增强技术，集成智能降噪、蓝牙通话与音频串流、耳鸣掩蔽、App调节及远程听力支持等完整功能，为用户提供从佩戴到服务的一体化体验。

4、智能实验室仪器及自驱动解决方案提供商「术也科技」完成Pre-A轮融资，由太朴生科领投，万原点资本跟投。

术也科技是一家智能实验室仪器及自驱动解决方案提供商，聚焦生命科学实验室数智化领域，以"融智能于工具"为核心理念，专注智能电动移液器、实验室自动化设备及AI驱动的实验工作流系统的研发与制造，致力于推动生命科学实验室从手动操作向智能化分析革命转型。公司核心产品@Pette系列智能移液器已斩获德国红点奖Best of the Best、日本优良设计奖、伦敦设计金奖三大国际顶尖设计奖项，主要服务于西湖大学、浙江大学、复旦大学等百余家高校科研院所及迪安诊断、快奥森多等头部企业实验室场景。

5、电力电子装备及综合能源解决方案提供商「为光能源」完成数亿元B轮融资，投资方为元祐投资，达晨财智，架桥资本，华泰紫金投资，阿特斯(688472)，河南投资集团，唐兴资本，常州政府基金，西交1896等。

为光能源是一家电力电子装备及综合能源解决方案提供商，以“成为能源互联网领域的电能路由器引领者”为愿景，专注于以固态变压器（SST）为核心的新型电力电子装备的技术研究与产品开发，致力于推动能源基础设施的智能化升级，为构建新型电力系统和实现全球碳中和目标提供领先的技术解决方案。

1、2025年中国外骨骼机器人市场规模超16亿元 出货量约2.6万台

8月4日消息，国际数据公司（IDC）发布《中国外骨骼机器人市场份额，2025》研究报告显示，2025年中国外骨骼机器人市场规模超过16亿元，出货量约2.6万台。其中，医疗康复市场仍占据主要市场价值，消费助力市场则贡献了七成以上出货量，行业应用持续拓展新的增长空间。（科创板日报）

2、DeepSeek API出现性能下降情况，现已恢复

8月4日消息， 海外开源AI Coding Agent平台OpenCode发文称：DeepSeek V4 Flash当前因前所未有的访问量而出现容量不足问题，可能会遇到报错，正在紧急修复中。也有网友发文表示：DeepSeek V4 Flash官方API上午几乎不可用，和Kimi K3刚发布时情况差不多，国产模型能力赶上来了，但可用性与容量仍有改善空间。DeepSeek官方披露，今日上午DeepSeek V4 Flash API出现性能下降情况，目前问题已解决，服务已恢复。（一财）

3、AI 辅助“推翻”考拉兹猜想失败，Lean 4.32.2 修复内核漏洞

8月4日消息，科技媒体 Gigazine 昨日（8 月 3 日）发布博文，报道称一项借助 AI 完成、声称推翻考拉兹猜想的 Lean 形式化证明被确认无效。

考拉兹猜想（又称奇偶归一猜想 / 3n+1 猜想）由德国数学家洛塔尔 · 考拉兹（Lothar Collatz）于 1937 年提出，是一个表述极其简单但至今未解的数学难题，断言任意正整数在经过特定规则的反复迭代后，最终都一定会回到 1。

形式化验证专家 Ramana Kumar 于 7 月 25 日在 GitHub 发布项目，最初称借助 AI 推翻了考拉兹猜想。项目没有给出一个具体反例整数，只是在 Lean（定理证明辅助系统）中证明“存在一个无法到达 1 的数”。

Lean 是一款定理证明辅助系统，支持用户将数学公式和逻辑编写成程序，并由计算机验证证明的准确性。用户编写的 Lean 代码会把数学命题和证明写成可检查的程序，并由内核验证类型与逻辑一致性。

不过他随后在审查反驳内容时发现，相关方法甚至能让 Lean 无条件接受“False”（代表假命题），因此目前相关代码并不能反驳考拉兹猜想。

形式化验证研究者 Kiran Gopinathan 将问题缩减为小型复现代码，并于 2026 年 7 月 28 日报告给 Lean 开发团队。

漏洞位于内核处理“嵌套归纳类型”部分，导致有时候会忽略“幽灵类型参数”（即不直接出现在数据结构组件中的参数），导致原本应该被判定为错误的参数逃过了验证。Lean 开发者 Leonardo de Moura 表示问题在于内核实现未完成应有的检查。

Lean 团队在收到报告约 1 小时后创建修复拉取请求，于 7 月 28 日发布 Lean 4.32.2 版本，修复了这个问题。（IT之家）

4、Visa斥资24亿美元收购网络安全公司BioCatch，应对AI驱动的诈骗激增

8月4日消息，Visa公司周一宣布，将以24亿美元现金收购欺诈检测初创公司BioCatch。此举旨在扩大这家支付巨头在网络安全领域的布局，因为银行业正面临由人工智能驱动的诈骗和账户接管事件的激增。此次收购凸显了支付公司正竞相加强欺诈防御，因为生成式人工智能使得攻击成本更低、速度更快且更具迷惑性。Visa估计，诈骗和账户接管每年给全球经济造成的损失超过1万亿美元。（新浪财经）

5、全球第一！OpenRouter 称上周 DeepSeek-V4-Flash 调用超 7.22 万亿 Token 登顶

8月4日消息，根据全球最大 AI 聚合平台 OpenRouter 的周度统计中，DeepSeek-V4-Flash 以 7.22 万亿 Token 的调用量位居全球第一。

OpenRouter 是全球最大的 AI 大模型 API 聚合平台，聚合了超过 400 款来自全球的顶尖和开源大模型，平台拥有约 800 万注册用户，每月处理的 Token 数量约为 100 万亿个。

根据 OpenRouter 公布最新周报，在最近一周（7 月 27 日至 8 月 2 日）榜单上，DeepSeek V4 Flash 以 7.22 万亿 Token 的周调用量位居第一。

开源项目团队 OpenCode 发文称，其平台上 DeepSeek V4 Flash 的调用量大幅飙升，单日处理达 8T（万亿）Token。其中 5T 为免费试用额度消耗，3T 为开发者通过 OpenCode 平台付费使用。（IT之家）

6、个人AI定义新一轮增长，消费电子产业链加速拥抱变革

8月4日 消 息，荣耀首款机器人手机Robot Phone预约量已突破20万台，超越历代旗舰；OPPO“小布Next计划”开启多机型内测，让AI（人工智能）助手化身“24小时待命的专家团队”；华为新款鸿蒙折叠电脑定档8月5日发布；苹果首款折叠屏手机将于今秋亮相，“Apple智能”已完成国内备案……从手机到PC，从可穿戴到智能眼镜，一场以AI为核心引擎的产业变革正在消费电子领域全面铺开。专家表示，构建以用户为中心的个人AI体验，正成为消费电子终端厂商决胜的关键。围绕着这一方向，消费电子行业算力架构将走向端边云协同发展，而以高通 、英伟达等为代表的产业链企业已提前布局。（证券时报）

7、微软测试其首款自研全双工 AI 语音 MAI Realtime 模型：支持中文等 16 种语言、2 种风格

8月4日消息，科技媒体 TestingCatalog 于 8 月 2 日发布博文，报道称微软正测试其首款原生实时语音模型 MAI Realtime，支持 16 种语言、2 种语音，可在对话中听说并行，支持自动识别和中途切换语言。

测试方面，消息称微软已邀请部分合作伙伴，在 MAI Playground 平台测试该模型，目前尚不清楚何时上线 Microsoft Foundry，以及扩展到 Copilot 语音功能上。

运行方面，MAI Realtime 采用双向、全双工交互方式，无需严格按“用户说完、模型再答”的轮次交替，可支持同步聆听和回应。

在语音风格方面，消息称该模型测试提供 Victoria 和 Grant 两种语音，比 Copilot 目前的语音模式更加自然。用户可以主动地指定语言，也可以启用自动检测。

全双工语音（Full-duplex voice）指系统可在同一时间接收用户语音并输出回复，不必等待一方完全说完。它依靠端点检测识别说话开始、停顿和结束，也需要在用户插话时调整输出。

微软此前发布的 MAI 语音模型均为单向模型，包括用于语音合成的 MAI-Voice-2 及其 Flash 版本，以及用于语音识别的 MAI-Transcribe-1.5。（IT之家）

1、腾讯音乐、SM娱乐在北京成立合资公司，注册资本4000万

8月4日消息，天眼查App显示，近日，爱斯腾（北京）文化传播有限公司成立，法定代表人为周觅，注册资本4000万人民币，经营范围包括文化娱乐经纪人服务、版权代理、文艺创作、会议及展览服务等。股东信息显示，该公司由腾讯音乐（北京）有限公司、SM娱乐旗下卡斯梦（上海）文化传播有限公司共同持股。（天眼查）

2、创业板指大涨超5%

8月4日消息 ，创业板指大涨超5%，沪指涨0.19%，深成指涨2.91%，算力硬件、算力租赁、半导体芯片、医药医疗等方向涨幅居前，沪深京三市上涨个股超3700只。（36氪）

3、科创50指数收涨4.09% AI硬件方向领涨

8月4日消息 ， 今日，科创50指数收涨4.09%。盘面上，光通信、半导体、PCB等AI硬件链集体爆发，联讯仪器、和林微纳20CM涨停，鼎通科技涨超18%，欧莱新材、仕佳光子涨超17%，源杰科技、南亚新材涨超14%。算力租赁板块走强，青云科技20CM涨停，优刻得涨超11%。CXO概念表现活跃，近岸蛋白涨超14%，美迪西、药康生物涨超13%，奥浦迈涨超12%。 （科创板日报 ）

“年轻消费群体持续迁徙，英国电商迎来代际重构。”

更多干货分享敬请注我们的公众号与视频号~超多精彩对话内容等待您的解锁！