京东与七腾机器人达成战略合作
区小号消息，据京东物流黑板报，京东与特种机器人企业七腾机器人达成战略合作，双方聚焦能源石化、煤炭矿山、电力基建、应急安防、轨道交通等场景的机器人应用，推动七腾机器人全系列产品规模落地与普及。七腾机器人还与京东服务达成深度合作，京东服务将为七腾机器人提供售后服务。
路人丁
普通人一个
最会卖货也最不对齐：Claude Opus 5登顶售货机AI评测，却屡屡串通、威胁、撕毁协议
据 动察 Beating 监测，AI 评测机构 Andon Labs 让模型拿着 500 美元本金，在模拟环境中经营一台售货机 365 天。Claude Opus 5 五次测试的期末余额平均为 1.12 万美元，超过 Claude Opus 4.7 和 GPT-5.6 Sol，升至 Vending-Bench 2 第一。 在多人竞争版中，Opus 5 以约 7000 美元排名第二，与第一名 GPT-5.6 Sol 的约 7400 美元相差不大。六次测试里，它每次都提出或参与串通定价。它还编造竞争对手报价、威胁同行，并累计撕毁 11 次停战协议。 Opus 5 的退款批准率最终降至 10%，六次测试合计只退了 8.54 美元。GPT-5.6 Sol 退了 655 美元，依然赢下多人赛。 Andon Labs 认为，Opus 5 再次出现「越会赚钱，行为越不对齐」的问题。Anthropic 自己的发布前审计却称，它是历来最对齐的 Claude。
美股盘前半导体、存储板块上涨，闪迪、西数涨超4%，LRCX绩后涨超7%
区小号消息，7 月 30 日，据 BIT(bit.com) 行情数据，美股盘前半导体、存储板块上涨，其中： 泛林集团（LRCX）涨 7.65%，昨日盘后 LRCX 公布财报，业绩及指引双双超预期，预计下一季度营收最高达 85 亿美元。 英伟达（NVDA）涨 1.77%； 英特尔（INTC）涨 2.26%； 超威半导体（AMD）涨 3.55%； 希捷科技（STX）涨 3.74%； 西部数据（WDC）涨 4.01%； 闪迪（SNDK）涨 4.33%； 美光科技（MU）涨 2.45%； SK 海力士 ADR 涨 1.8%。
乌克兰无人机试图袭击扎波罗热核电站关键基础设施
区小号消息，据金十报道，当地电厂官员表示，乌克兰武装部队的一架无人机试图袭击扎波罗热核电站的关键基础设施。
Aave：对低采用率资产和网络的下线，不应被解读为对任何L1或L2的立场
区小号消息，7 月 30 日，Aave 创始人 Stani Kulechov 表示，近期 Aave 对低采用率资产和网络的下线，不应被解读为对任何 L1 或 L2 的立场。此举的目标只是降低 Aave 的运营、技术与经济风险敞口，以便能聚焦更高影响力的优先事项，例如拓展现有高价值市场，以及进入证券融资领域。 L2 对以太坊的用户体验仍然至关重要。例如 Aave App 的稳定金库以 L2 作为记账层，这将助力主流用户进入 DeFi。同样，Avalanche 等网络在通过机构业务拓展将 RWA 上链方面发挥着重要作用，而这正是以太坊历来相对薄弱的领域。
音数协孙寿山：游戏企业AI普及率已达86% 正在成为“基础设施”
区小号消息,中国国际数字娱乐产业大会（CDEC）在上海召开。会上，中国音像与数字出版协会理事长孙寿山发言时表示，今年是“十五五”规划开局之年，规划首次将“游戏”纳入国家发展体系统筹部署，标志着游戏产业正加速向文化传播、科技创新与数字经济属性融合的方向转变，为行业注入长期向好预期。孙寿山表示，人工智能正从“可选配置”变为“基础设施”。行业调研显示，游戏企业AI技术普及率已达86%；Steam平台标注AI辅助创作的产品突破一万款，占总量超8%。腾讯、盛趣、巨人网络等国内厂商已纷纷布局AI研发应用，将高精度角色建模耗时从“数日”压缩至“分钟”级 （上证报）
Hyperscale Data 出售 100 枚比特币，为密歇根 AI 数据中心建设融资
区小号消息，Hyperscale Data GPUS 宣布已出售 100 枚比特币，为其在密歇根州的 AI 数据中心建设提供资金。CEO William Horne 表示，这是“将一项资产负债表资产转换为另一项资产”，并澄清其对 BTC 的信心没有改变。其 Bitcoin 100 排名为第 44 位。
月之暗面（Kimi）完成股改，为香港上市铺路
据动察 Beating 监测，月之暗面（Kimi）已更名为「北京月之暗面科技股份有限公司」，企业类型从有限责任公司变为非上市股份有限公司。杨植麟出任董事长兼经理，张予彤新增为董事，宋思嘉新增为财务负责人。 这次变更通常被称为「股改」。证监会规定，境内企业若以境内主体直接赴境外上市，发行人必须是股份有限公司。 彭博此前称，月之暗面已向投资者发出赴港上市股东决议，最快可能在半年内 IPO，并开始拆除红筹架构。公司尚未正式公布上市时间。
CZ 回应 Giggle Academy 出售捐赠代币：月底惯例兑换 BNB，捐赠即应被使用
区小号消息，币安创始人 CZ 在 X 平台回应近期关于 Giggle Academy 出售捐赠代币的争议，称其本人与 Giggle 团队“没有就近期出售进行过沟通”，该地址也并非由他亲自管理。他指出 Giggle Academy 有一条惯例，即“每月月底将大部分捐赠代币兑换成 BNB”，用以资助全球儿童免费教育项目，项目在不到两年时间内已惠及超 100 万名儿童。CZ 进一步表示，向他人地址发送或捐赠代币时，若无事先约定，不应期望接收方按捐赠者意愿行事（如销毁代币），“那只会给接收方增加额外工作”。他强调，“如果称之为捐赠，就应该预期他们会使用”，并反问“如果期望他们销毁，那如何称得上是捐赠？”此外，CZ 表态支持所有模因币，并透露“未来几周内可能会买入或卖出一两个（模因币）以测试一些新东西”。
腾讯混元 AI 代理 Hyra 协助解决 50 年数学难题：和集与差集增长最优指数确认为 2
区小号消息，腾讯混元官方 X 账号发文称，其研究代理 Hyra 与 Hy3 模型合作，通过显式构造证明了一个困扰数学界超 50 年的问题：有限整数集合 A 的和集大小 |A+A| 与差集大小 |A-A| 的增长速率最优指数恰好为 2。此前 1969 年的定理给出了上界为 2，但后续 50 余年间最佳构造的指数仅略超 1.1。该成果展示了AI代理在纯数学推理领域的潜力。腾讯表示 Hyra 是其内部研发的AI研究代理，专门用于辅助复杂数学与科学问题的探索。该结论仍需数学界同行评审确认。
