▲大模型密度定律登上《Nature Machine Intelligence》 MiniCPM系列开源模型在GitHub、Hugging Face等平台的累计下载量已经超过3800万次，其开源模型的传播规模仍在快速增长。

1、高比体育 依法打击经济金融领域违法犯罪，破获有关案件4.8万起，挽回经济损失121.5亿元。

“它给出的证明通常是错的，但它通常能引导我找到正确的方向，帮我完成80%的工作，剩下的部分由我自己完成。高比体育同时，针对具身智能的训练与推理部署两大核心环节，夏立雪宣布了无问芯穹两项重磅技术升级：面向具身智能的大规模真机强化学习训练框架 RLinf V0.3，以及面向机器人与端侧AI场景的全栈的推理优化体系 Mizar-Robo。

2、首破5万亿元！全国首位

同一天，小红书官宣了另一件事：上海街超、苏超、佛山西甲、贵州村超、东北超、闽超等十二个地方足球联赛集体入驻平台。

3、半两财经｜两博物馆下周一免费开放，游客须提前在线预约

这是Kimi K3对GWTC-5引力波的分析报告，它使用20多个并发subagents分析了391个引力波事件，生成了7张科学可视化图、2张表格，并综合了10多篇论文的文献内容。

4、法国0:2！输球不可怕，可怕的是德尚赛后的这番话，真是输不起！

恰如其名，最新版本主打一个“快”，丝滑流畅如水银泻地，冷启动速度提高了80%，但这次更新，“快”仅仅是开胃菜。

5、护肤、刷酸、医美、防晒，钱花在哪才值得？

蚂蚁数科将大模型能力与蚂蚁集团20余年沉淀的技术与业务经验深度封装，企业可以通过统一门户完成注册、购买AI资源、创建智能体、订阅专家与Skills，让数字员工进入真实业务持续工作。

RDK Studio是专为机器人研发打造的AI原生开发平台，集成了开发所需的核心工具，内置的Moss智能体自动理解并拆解任务，驱动板端执行器完成设备接入、代码部署、模型验证到系统运维的全链路操作。

下一步，市场监管总局将深入推进破除妨碍统一市场和公平竞争卡点堵点专项行动，依法查处纠正滥用行政权力排除、限制竞争行为，分批次公布专项行动案件，指导各地强化公平竞争审查制度落实，坚决破除妨碍统一市场和公平竞争的卡点堵点。

6、从替补到最佳，从小粉丝到守护者，圆了儿魔梦就能成新德赫亚？

”付喜说，“通过这次追悼会，她能够感受到大家对她的尊崇、对红军的尊崇。

如果越疆合伙的协议里确有这类约定，“须全体一致同意”的默认规则还能否适用，本身就是争议点。

7、刚刚，无锡天空传来巨响！

红星新闻记者 吴阳 特约记者 陆琦 编辑 张寻 审核 王光东7月19日，四川高速交警五支队十二大队民警在开展视频巡查时，发现一白色越野车在G75兰海高速南部收费站路段倒车。

作为一只以1:1等比复刻、仿真面料和拟真眉眼制作的“熊猫”，展出方西柚熊猫廖慧钰介绍道：“该款熊猫在视觉与触觉上极致还原真实熊猫的软萌体态，具备眨眼、张嘴、摇头等面部协同功能。

8、从能对话到能赚钱：一场关于Agent商业化的残酷坦白局｜ WAIC2026

比如实际拿的是“RoboTwin 2.0双臂协同VLA类Clean档第一”，对外就变成“登顶RoboTwin 2.0”；实际是“LIBERO-Plus场景泛化专项第一”，对外就成了“LIBERO-Plus榜首”。

▲Meta对美国路易斯安那州数据中心的投资，目前总投资额超过500亿美元（上图）、最初投资100亿美元（下图）（图源；Meta） 据彭博社5月19日援引知情人士透露，Meta计划为该项目追加投入约2000亿美元（约合人民币1.36万亿元），这笔资金主要用于采购部署在近4000英亩园区内的昂贵计算芯片。

” 眼看讨论在语言中心论和世界中心论之间形成了张力，刘子纬从从哲学层面给出了一个富有深意的判断。

9、中国青年数学家邓煜获菲尔兹奖，这是中国籍数学家首次获得菲尔兹奖

商汤大装置还联合上海交大工业技术创新研究院、复兴岛创客学院、璞跃中国、模力营AI生态社区、开源中国、香港科技园等平台，发起AI科创加速计划，为AI初创企业提供技术研发、算力支持、市场拓展和商业落地的全周期赋能。

相比早期依靠大规模人工标注的数据，当前AI公司需要更加专业、贴近真实任务的数据，例如法律推理、医疗分析、复杂代码生成等场景，都需要领域专家参与评估和反馈。

10、小鹏人形机器人已开启小批量试生产

▲台风“红霞”路径概率预报图 图据中央气象台 除了本体降水以外，吕心艳预测，受到台风“红霞”外围环流的影响，四川盆地西部、黄淮、江淮等地也将有大到暴雨，局地可能出现大暴雨，也不排除有极端降水出现。

能够首批获得L3级证书，也意味着STEPX Neo已经具备了较为完整的智能体能力体系，为行业提供了一套可参考的技术标杆。

1、C罗绝境爆发泪目！葡萄牙2-1逆转淘汰克罗地亚！这场胜利献给若塔

今年上半年，制定实施关于推进公安机关新质战斗力提升工程的实施意见，实施新一轮加强派出所工作三年行动计划。

2、首尾大战，央视直播！CCTV5+聚焦津蓉对决，CCTV16播鲁渝交锋

”顾嘉峰说，该团队已随企业回到广东，搜寻工作因此中断。

3、基础款白色上衣夏天这么穿！圆领、V 领、翻领，多备几件不出错

他认为Kimi K3在有些题目上表现超过Claude Fable 5，但有一些题目表现却很差，并且，花费的时间是Claude Fable 5的10倍。穆氏皇马中场引援目标：切尔西恩佐or荷甲6000万欧小将or铁锤M费民警在黄家时，看到辍学在家的黄乙与爷爷相依为命，父母均不在身边。

4、强降雨显著，山东又迎新一轮降雨天气！今天白天到明天，烟台、青岛、滨州、东营、枣庄、临沂、日照等地局部有暴雨

二、数据、架构、范式，多模态下一次跃迁，缺的是什么？ 从第一性原理展望长期AI前景之后，林达华把问题拉回现实：当前主流AI方法，比如数据、模型结构、训练范式，足以支撑我们走到下一阶段吗？真正的瓶颈在哪？ 这个问题在业内已经有了明显的观点分野。

5、夏日百搭小短裙，舒适好穿可甜可酷，承包一个夏天的清透凉爽

我希望十年内，中国能产生这样的数学家，能够在中国土地上开创一个学派，能够领导世界几十年甚至一百多年。

6、从全网嘲到全网夸，鲁豫到底经历了什么？

天眼查工商信息显示，智元机器人关联公司“智元创新（上海）科技有限公司”更名为“智元创新（上海）科技股份有限公司”，企业类型从“有限责任公司（外商投资、非独资）”变更为“股份有限公司（港澳台投资、未上市）”。

CFO在电话会上拆解了这个数字的构成，55%是一次性买断的存量用户，早就不再交月费，真正按月订阅的只有45%。

报告认为，这是因为随着赛程推进，球队状态、阵容变化、积分形势和战术倾向等信息逐渐丰富，AI对结构化信号的整合能力更容易显现。

7、摩洛哥完胜加拿大，法国击败巴拉圭，两队1-4决赛相遇

人们开始追问：Token从哪来？如何让Token更加稳定、更加优质？ 在智东西与PPIO联合创始人兼CEO姚欣的深度对话中，姚欣将今年的变化精炼为“Token会更智能”和“云会被重新定义：从人用Token到Agent用Token”。

一、传统软件评估方法，为何对Agent失效？ 真实业务环境中的智能体系统充满不确定性，用户意图可能模糊，工具调用可能失败，业务规则与外部知识可能持续变化，模型、提示词、工具链和编排逻辑的调整都可能改变系统行为。

8、全新锐界L上市，不足26万起！轴距近3米+五座，搭载2.0T四驱+8AT

同时他认为，智能体手机不是Demo赛道，有很多工程化问题要解决。

在一些难以验证结果的领域，例如AI安全研究、网络安全以及军事决策等场景中，模型通过非预期方式完成任务可能造成更严重的影响。

▲比亚迪智驾芯片 （5）AI PC SoC：此芯科技Agentic SoC全场景产品体系亮相。

丈夫供述 争执中捂死妻子，13年间数次移尸 ▲案发玉米地已被种植桑树 警方供图 2026年6月，兴文县公安局将前期走访记录、数据核查结果及研判意见上报至宜宾市公安局。