AI 辅助“推翻”考拉兹猜想失败，Lean 4.32.2 修复内核漏洞
8月4日消息，一项借助AI完成、声称推翻考拉兹猜想的Lean形式化证明被确认无效。 考拉兹猜想又称“3n+1猜想”，由德国数学家洛塔尔·考拉兹于1937年提出。
Claude Fable 5以64%的绝对成功率再次登顶MirrorCode榜单
以生物信息学工具gotree为例，该工具原有1.6万行Go代码和40多个命令，Claude Opus 4.7耗时14小时花费251美元，通过了2001项测试中的2000项，完成度达99.95%，仅因一个冷门日期注释边界未通过。
NVIDIA 评估下调 Rubin Ultra HBM 配置，或将不限于 12Hi HBM4E
英伟达正在评估下调明年推出的Rubin Ultra AI GPU的HBM配置，可能不再局限于原定的12Hi HBM4E方案。 此外，据称部分AI ASIC业者也在考虑采用更低容量的HBM配置。
SK 海力士与闪迪将在 FMS 2026 发布 HBF 首个标准规范，展示面向 AI 的存储解决方案
随着AI推理应用的普及和数据处理需求的激增，HBF的高带宽与可扩展容量特性受到业界广泛关注，被认为是缓解AI基础设施存储瓶颈的关键技术之一。 随着AI模型参数规模持续扩大，传统存储方案在带宽和容量之间的平衡愈发困难，HBF的出现提供了一条新的技术路径。
企业需明确标注 AI 生成内容，违者将被重罚
欧盟《人工智能法案》框架下的新透明度规则于8月2日正式生效，要求所有在欧盟运营的AI系统提供商和部署方明确标注AI生成内容，并告知用户其正在与AI交互。 《人工智能法案》于今年3月获欧洲议会通过，是全世界首部全面监管AI的法律。
初代《动物森友会》曾让任天堂客服热线炸锅 家长投诉游戏有不雅内容
2004年，初代《动物森友会》在GameCube平台发售时，意外引发了一场美国家长的投诉潮。 玩家在关机前需要与屋外的土偶对话，否则会触怒“Reset叔叔”。
宝可梦开发商 Game Freak 新作《轮回之兽》发售，Steam 国区 248 元起
宝可梦开发商GAME FREAK inc. 的全新动作角色扮演游戏《轮回之兽》于8月4日正式发售，登陆Steam平台。
小米 REDMI K100 Pro 将首批搭载第五代骁龙 8 至尊版 V Series 处理器，综合跑分超 409 万
不过，其Adreno 840 GPU单元数从标准版的12个CU缩减至8个CU，独立高速显存（HPM）也从18MB降至12MB，这成为该版本与标准版最大的差异。
曝三星中国开始收缩手机布局；谷歌总市值超苹果升至全球第二；31.98 万元起比亚迪腾势 Z9S 预售发布；阿里千问...
与此同时，全球科技公司市值排行发生变动，谷歌母公司Alphabet在7月17日美股开盘后市值超越苹果，升至全球第二，仅次于微软。 与此同时，AI生成内容的滥用与治理、拆车直播等透明化营销方式，也将成为科技企业与社会共同面对的新课题。