规范优先的 AI 编程代理协作：跨越 189 个文件拆解核心架构不变量的案例研究
论文报告了一项单一且完整记录的案例研究：AI 编程代理在一个拥有 717,725 行代码的生产级 TypeScript 应用中完成了大规模架构重构。任务是移除“AI 请求期间 UI 面板必须保持打开”这一不变量，使流式生成在面板关闭后仍能继续，并在重新打开时无丢失或重复地连接回同一条实时流。代理先生成形式化规范，经过 14 轮审计后实施变更，再进行 17 轮验证。在人类执行程序前的 31 次审计中
AI 新闻中心
AI 新闻中心 过去7天分析了 930 篇文章，发现了 0 条重要报道 (分数 ≥ 5.5)
获取从可信来源聚合的最新 AI 新闻。
CW-BASS v2：面向基础模型教师的饱和感知半监督分割伪标签选择
CW-BASS v2是一种用于半监督语义分割的伪标签选择方法。它针对DINOv2等基础模型教师面临的问题：当置信度分数出现饱和时，传统自适应阈值可能几乎保留所有预测，从而加剧确认偏差。该方法结合留出数据校准、按类别进行的无偏噪声估计，以及自适应置信度下限。单次门控机制会判断应采用严格筛选，还是使用自适应下限。在六个DINOv2教师上进行测试时，CW-BASS v2在Pascal VOC上接近已报告
中国科研团队发布大豆垂直大模型“丰菽”2.0，助力辅助育种
安徽农业大学研究团队发布了面向大豆科研与育种的生成式 AI 模型“丰菽”2.0。该多模态系统整合大豆种质资源、基因组、蛋白质、转录本、基因表达、病害、表型和育种试验数据，以及相关科研文献。升级后的多模型协同分析功能，可让多个通用大模型分别回答同一专业问题，再结合领域知识、私有数据和结构化规则，分析不同回答的共识、差异及证据完整性。模型目前可辅助开展病害诊断、育种亲本筛选、虚拟组合设计、表型数据解析
深圳市委网信办确认“道路塌陷致车辆翻车”网传视频系AI合成谣言
近日，一段视频在网络流传，声称深圳滨海大道发生大面积塌陷并导致车辆翻车。官方通报称，8月4日深圳沙河立交附近确实发生道路塌陷，形成一个超过10立方米的大坑。但网传视频中的“巨大面积塌陷”和“车辆翻车”画面与实际情况严重不符。深圳市委网信办确认，该视频由AI生成，并拼接了其他道路塌陷画面。视频发布者及相关平台已按要求删除内容。有关部门提醒公众仔细辨别AI生成画面，通过政府部门通报、权威媒体和官方辟谣
多家银行推出以Token消耗量和算力数据为依据的AI贷款
中国多家银行近期推出面向AI和算力基础设施企业的贷款产品，将Token产出与消耗量、算力服务合同价值、应收账款以及Token佣金结算量等纳入授信依据。部分银行还采用“算力券+算力贷”模式，以扩大企业融资额度。相关产品主要面向AI芯片、智能服务器、云计算，以及生成式AI模型和垂直应用开发企业。专家指出，Token消耗量只能反映业务活跃度，并不等同于已经实现的现金流，因此与传统的流水贷存在明显差异。算
IT早报 8月17日：DeepSeek上调API价格，多款AI模型上线并曝出滥用案例
今日IT早报包含多项人工智能相关消息。DeepSeek启用API分时定价方案，峰值时段价格上调。千问办公新增GLM-5.3和DeepSeek V4 Pro，用户可直接选择使用，但相关模型信息尚未经过独立验证。中国一名大学生利用AI人脸伪造视频绕过银行验证，盗刷5万余元，最终被判处有期徒刑一年十个月。中消协表示，近期AI客服相关投诉明显增多，问题包括作出不实承诺以及消费者难以转接人工客服。作家莫言认
国产GPU厂商壁仞科技预计2026年上半年营收增长超18倍
国产通用GPU厂商壁仞科技公告称，预计2026年上半年营收为11.5亿至13亿元，同比增长约1852%至2107%。期内亏损预计为3.2亿至4亿元，较上年同期约16.005亿元收窄75%至80%；调整后亏损预计为2.9亿至3.6亿元，同比收窄35%至47%。公司表示，生成式AI、AI编程和AI智能体等应用扩张，推动GPGPU智能计算方案需求增长；壁砺系列出货量提升、软件生态完善、客户多元化以及规模
南极冰川上的“神秘黑色生物”实为AI生成
一段声称拍到巨大黑色壁虎状生物攀爬南极冰川的视频，近期在海外社交平台广泛传播。经多方核实，视频并非科学考察实拍，而是AI生成的虚构作品。部分账号故意删除AI生成标识，将其包装成南极科考发现，导致不少网友受骗。生物结构违背现实逻辑、冰川纹理错乱、光影不自然，以及腿部形态错误等细节，都暴露了视频的造假痕迹。业内人士提醒，类似猎奇、惊悚的野外影像常被冒充科考或新闻现场传播。用户在转发前应核实来源，真正的
DeepSeek API 峰谷定价方案今日生效
DeepSeek 已为 API 引入峰谷定价。自北京时间 2026 年 8 月 17 日 0 时起，高峰时段为 9:00—12:00 和 14:00—18:00，价格为闲时的两倍，其余时段按半价计费。DeepSeek-V4 Flash 每百万 tokens 的价格，闲时根据输入和输出类型为 0.05 至 4.5 元，高峰时段为 0.10 至 9 元。V4 Pro 的对应价格分别为 0.15 至 1
CGTrader：AI 生成 3D 模型数量激增，但销售额仅占 1%
3D 模型交易平台 CGTrader 的新上架商品中，约六分之一由 AI 生成，但这类商品的销售额仅占平台总销售额约 1%。CGTrader 的调查显示，质量问题是买家拒绝 AI 生成商品的主要原因。只有约 5% 的买家对购买的 AI 生成资源感到满意，整体用户中也仅有 4% 认为 AI 生成内容“效果很好”。这表明，AI 生成 3D 模型的供给虽然快速增长，却尚未转化为相应的市场需求。对于有特定
AI 热潮推高内存需求，德国 DDR5 价格接近去年同期 5 倍
德国几乎所有 DDR5 内存套装的价格都出现大幅上涨。价格比较平台 Geizhals 的数据和 3D Center 的分析显示，8 月 DDR5 平均价格已接近 2025 年 7 月水平的 5 倍。32GB、48GB 和 64GB 等大容量套装受影响最严重，许多产品出现两位数涨幅。与 AI 产业相关的强劲需求被认为是主要因素之一。如果涨势持续，个人电脑、笔记本电脑、智能手机、迷你电脑和显卡等产品的
AI 可通过视觉线索以 87% 至 91% 的准确率识别照片拍摄地点
McAfee Labs 的一项研究发现，即使删除 GPS 和 EXIF 位置信息，AI 系统仍能识别出 87% 至 91% 受测旅行照片的拍摄地点。系统会分析建筑风格、商店招牌、道路标线、植被、地形和地标等照片中的视觉线索。海滩、酒店房间或河流等看似普通的场景，也可能包含足以判断国家甚至具体地点的信息。McAfee 警告，犯罪分子可能将这项能力用于个性化网络钓鱼，例如根据用户近期旅行经历发送虚假的
Anthropic Claude出现大规模服务故障，多项服务无法登录或加载
Anthropic旗下Claude于2026年8月17日出现大规模服务故障。多名用户反馈无法登录、页面无法加载以及请求无法完成等问题。受影响的服务包括Claude.ai、Claude Code和Claude Cowork。Anthropic已将相关事件标记为“大规模服务故障”，目前仍在调查具体原因。Claude Console和Claude API目前仍显示运行正常。
消息称英特尔计划推出搭载4个Xe3核心的入门级Panther Lake掌机芯片
据爆料人士Jaykihn透露，英特尔可能正在准备一款面向掌机的低成本Panther Lake处理器。传闻中的芯片采用4个P-Core、0个E-Core、4个低功耗核心和4个Xe3图形核心。这一配置已经出现在Panther Lake U系列笔记本处理器中，说明英特尔或OEM厂商可能会复用现有设计，而不是开发专用掌机芯片。参考笔记本型号的测试成绩，该芯片的CPU性能可能明显超过Steam Deck O
Claude 模型在历时 54 小时但未成功的黎曼猜想尝试中取得数学突破
据报道，一个 Claude 模型曾用 54 小时尝试解决黎曼猜想，虽然最终未能成功，但在过程中取得了数学进展。《华尔街日报》记者本·科恩称，该模型多次回应用户给予的鼓励。这一事件体现了先进 AI 模型数学能力的提升，但并不意味着这一著名数学难题已经得到经过验证的解决方案。