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

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

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

其中，医疗康复市场仍占据主要市场价值，消费助力市场则贡献了七成以上出货量，行业应用持续拓展新的增长空间。三大细分市场共同推动中国外骨骼机器人产业由单一医疗应用向···

美国政府完成先进 AI 模型自愿性评估框架制定，内容未公开

框架包含保密、安全等多项要求，目前仅完成制定未公开细节，白宫计划周二与相关企业开会审查该框架。#AI监管# #人工智能#

欧盟 AI 透明度新规生效：企业需明确标注 AI 生成内容，违者将被重罚

欧盟《人工智能法案》新透明度要求本月 2 日已生效，企业需告知用户是否在与 AI 互动，并对 AI 生成的深度伪造内容进行标注。违规者面临最高 1500 万欧元或全球年营业额 3%···

博导称月之暗面 Kimi 创始人杨植麟有很多机会留在美国，但他毅然拒绝苹果、坚持回国创业

月之暗面创始人杨植麟的卡内基梅隆大学博士生导师 Russ Salakhutdinov 今年 7 月发文，透露了关于杨植麟回国创业的一些细节。

中美 AI 大模型竞争加剧：OpenAI 等海外巨头大幅降价对标 Kimi、DeepSeek

为应对月之暗面 Kimi K3 和 DeepSeek V4 Flash 等中国模型的竞争，OpenAI 大幅下调 ChatGPT 5.6 Luna 价格 80%，中端模型 Terra 也降价 20%。尽管降价刺激使用，但高昂的算···

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

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

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

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

三星发声明：将封禁可共享用户网络的智能电视应用

安全研究显示多款三星智能电视热门应用内嵌住宅代理代码，可共享用户网络，甚至可能被改造成恶意僵尸网络。三星已宣布将下架相关应用，推行更严格审核政策。#三星智能电视安···

铠侠官宣 GP1 XL-FLASH PCIe Gen6 固态硬盘，随机读取 100M IOPS

其采用铠侠第二代 XL-FLASH 存储级内存，允许更精细的 512 字节粒度数据访问，耐久度可达 50 DWPD，支持将高速闪存介质引入显存系统的新兴 AI 存储架构。