特朗普政府还计划加大削弱国际刑事法院的力度，包括展开外交行动，力劝其他国家退出该机构。至少已有五个国家响应这一呼吁。应代总统罗德里格斯的指示，委内瑞拉已正式通知联合国秘书长古特雷斯，委决定根据《国际刑事法院罗马规约》第127条，坚定且不可撤销地退出《国际刑事法院罗马规约》，并启动退出国际刑事法院的程序。
7月27日晚，月之暗面发布Kimi K3的模型权重、技术报告，并开源支撑Kimi K3模型训练的关键Infra技术：MoonEP、FlashKDA和AgentEnv。据介绍，Kimi K3是一个拥有2.8万亿参数的混合专家（MoE）模型，具备原生视觉理解能力，并支持100万token的上下文窗口。月之暗面表示，现在每个人都可以下载并部署Kimi K3模型，无论是用于内部研发，还是嵌入到面向终端用户的产品中，均可自由使用。
2023年初到2025年5月，多邻国股价涨了666%，同期涨幅远超谷歌，是市场上最受投资人追捧的“AI受益股”。期间，该公司业绩也实现高速增长。2022年到2024年，多邻国的收入从3.69亿美元增长到7.48亿美元，两年复合增长率高达42.4%。2025年，该公司收入仍然保持了39%的增长。
民警通过现场的员工联系上了这家公司的老板王某。在电话中，王某称，公司的实际注册名称为四川晚禾禧堂婚介服务有限公司，与合同中写的四川晚禾禧堂婚恋服务有限公司是同一家公司。王某随后退换了卞女士钱款。
2025年至今，市场上频现明星和资本大佬入场置业。今年6月，香港歌手陈奕迅斥资1.82亿港元，购入港岛南区寿臣山一栋独栋洋房，折合单价每平方米70万港元。高瓴资本创始人张磊的妻子张子丽，也以5.626亿港元买下石澳道老牌独立洋房“The Round House”，刷新2026年香港二手房单笔成交纪录。此外，任贤齐入手了浅水湾豪宅，邓紫棋以约8500万港元购入湾仔东半山利安阁两个单位，OPPO联合创始人金乐亲以1.8亿港元购入西半山宝峰一单位……
林凡：现在用得基础也很正常，因为工具还不好用。但瓶颈不在模型——模型本身的能力已经够强了，瓶颈在Harness这一层：对每一个工种，你要有它的上下文和最佳实践，才能为这个工种做好服务。我们做过一个实验：直接让大模型写一份战略分析报告，用模型评分大概75分；加上一个蒸馏出来的Skill去指导模型写，能到90分。今天各行各业、每一个工种都缺这样的Harness。以Open AI作为参照，工具成熟之后，Agent在各家公司的普及大概率需要6到9个月，就会从一部分人觉得好用，变成全员每天在用。
所谓“心机商标”，指的是将原料、工艺或产品卖点等描述性词汇注册为商标，利用公众对词汇的普遍认知，使其对商品的质量或特点产生误认。根据我国《商标法》有关规定，商标无效宣告的法律后果是自始无效；注册商标被无效宣告后，应当停止继续使用，使用了相关商标的产品需要更换包装。
“展望未来，隔夜逆回购有可能逐步替代7天期逆回购，成为央行短期流动性调节的核心政策工具；从更长远的视角看，这也能为未来隔夜逆回购利率替代7天期逆回购利率、成为主要政策利率铺平道路。”王青说。
