从目前泄露的跑分来看，K3在编程能力上优于Opus 4.8和GPT-5.5，这个成绩放在国产模型里已经相当能打了。

1、欧宝足球 代表公司是极佳视界，其三个月内累计融资约35亿元，估值已达百亿级别。

在基准测试方面，Kimi K3在大模型评测竞技Arena.AI的前端代码测试中，超越Claude Fable 5；在第三方独立测评机构Vals AI中，Kimi K3的综合测试得分为74.7，位列第2，超越GPT-5.6，仅次于Claude Fable 5。欧宝足球2025年7月30日的公告进一步细化了重组路径，称计划将核心子公司重组为三家独立的事业公司，分别整合家电与影音业务、商用空调及冷冻冷藏设备业务、电气材料业务。

2、有一种作家不应该接受采访

上海世博、张江、西岸“三地四馆”，1100余家企业、超10万平方米展区、4480多项展品、近400款全球首发产品……WAIC 2026的规模数字刷新了历年纪录。

3、CBA又一笔重磅交易达成！国手锋线加盟北控男篮，曾单场砍30+7+5

一树之上，同时存在生态受损、土地管理秩序被破坏的双重公益损害，保护整改工作迫在眉睫。

4、球员状态低迷，比赛内容低质，是时候承认胡金秋的基石身份了

小米构建了一条基于视觉语言模型（VLM）的自动标注流水线：将长轨迹切分为片段，并用视觉语言模型描述状态变化。

5、曝苹果Mac全线大换血，首款OLED触屏Mac产品或年底见

它会很笃定地说，已经定位到根源了。

为了规避AI幻觉风险，我开始自己搭资料库，每次用AI，我都限定它只在资料库里检索。

会后，地瓜机器人CEO王丛、地瓜机器人开发者生态副总裁胡春旭与智东西等媒体进行交流。

6、李沅珊沮丧捂脸！场均20.3分成队史首人 入世界杯二阵未来接班李梦？

开发者可在几天内完成从概念到原型的过程。

第二派是小人形，把人形机器人做小，用价格换入场券。

7、越是上流人越下流？亿万富豪被曝猛料，生上百名孩子真相颠覆三观

移动互联网，一个App行不行，先看DAU（日活）；到了AI时代，大家一度接着数Token，但很快发现，这把尺子正在失效。

娘家人找了几年无果，此事也就不了了之。

8、五一已过，有哪些无人机通过了新国标？

在茹忆看来，如果一家做AI眼镜的厂商不把这部分感知能力做好，那就是本末倒置。

在刚刚过去的6月，侵入式脑机接口企业芯生视界完成了近亿元种子融资；7月3日，今年1月1日刚成立的超声波脑机接口公司格式塔科技宣布完成4.2亿元天使+轮融资；连A股康复器械上市公司翔宇医疗也在6月宣布定增13.66亿元，专门加码脑机接口康复产品。

知情人士透露，谷歌工程师预估，按照单位功耗能够输出的Token数量计算，Frozen v2的效率可能达到谷歌最新自研AI芯片的6至10倍。

9、曼城遭重创：罗德里世界杯夺冠后需手术，归期不定

红星新闻记者 胡伊文 北京报道 编辑 张寻翻脸：官宣不到24小时，特朗普突然追加新条件 据报道，美国和沙特能源部门7月22日分别发表声明宣布，两国已签署一项和平利用核能的合作协议。

今年5月，小红书官宣拿下2026年美加墨世界杯转播权，成为国内唯一同时拥有直播、点播、短视频权益的互联网社区平台。

10、炸裂首秀！16岁张懿赵杰砍23+6，跨级统治世青赛，下一站NCAA？

7月24日上午，绵阳市公安局刑侦支队，由绵阳公安、绵阳妇联、北京缘梦公益、红星新闻《红星寻人》栏目、涪江观察、四川电视台联合举办的“2026绵阳公安常态化反拐团圆行动”第34场认亲仪式现场，邓学芬夫妇与失散了32年的小儿子相认团聚。

腾讯则在WAIC期间发布了RxBrain，解决的是“推理和想象怎么统一”。

1、记者：凯斯勒是东契奇心仪中锋，他竭力推动湖人交易

（本文仅为个人分析，不构成任何投资建议。

2、决赛刚结束就“开打”！西班牙登顶后混战爆发，FIFA介入调查

一个使用了五年的老旧数据中心，如果有大约1000颗英特尔至强处理器，只需82张“Venice”就能完成替代，替换比例约为12:1，由此可减少77%功耗、92%的服务器数量、40%的5年TCO。

3、百菲乳业四战IPO：“水牛乳第一股”自有水牛仅千头，净利率三连降

在Artificial Analysis Intelligence Index测试中，Inkling首次该进入榜单便获得41分，比此前领先的美国开放权重模型Nemotron 3 Ultra 38分高出3分，同时也优于Gemma 4 31B的29分和gpt-oss-120b的24分。猎聘数据发布《2026人工智能行业人才供需趋势洞察》：AI不是“青春行业”，行业人才流向产业集群每个Shader Engine物理实现17个WGP，其中启用16个，另一个用于提高制造良率。

4、力箭一号遥十五发射成功 商业航天“工业化量产”模式跑通闭环

三类打分器与三层证据权重对齐：第一层用代码规则，凡是能写成代码断言的绝不交给评判模型；第二层用经校准的LLM-as-a-Judge，只管主观维度，且评分标准必须由领域专家写出来、再对照人工标注验证一致率；第三层人工负责抽检和最终仲裁。

5、对话超擎数智CEO唐春峰：AI产业竞争正在从模型训练走向推理落地，全栈方案加速企业智能化应用

依托交警、路政、医疗、消防联动救援工作站，交警和医疗机构建立24小时联合值守机制，形成了“调度快、出发快、到场快、处置快、救援快”的“五快”救援模式。

6、海外研选

” 刘子纬的“三连击”把问题拆得很开，但张祥雨或许觉得还可以更彻底。

微软、英特尔等合作伙伴也表达了共同拓展海外市场的意愿。

▲图据图虫创意 从数据看，扣除食品和能源价格的核心CPI累计上涨1.5%，延续温和上涨态势。

7、神级斯诺克致胜，丁俊晖10-5吉尔伯特闯进16强，最后一球出洋相

张毅称，行业竞争重心正在从流量转向线下履约能力，他把这个转向归结为两重驱动：一是线上流量成本持续走高；二是非标二手商品极度依赖品控带来的信任壁垒。

他眼前的黄姑洞上方，一道危岩裂缝在近期地震和暴雨的“催化”下，正显露出狰狞的面目。

8、北京推出10条举措加快智能体引领发展

随着端侧AI进入规模化部署阶段，模型能力逐渐成为产业化的基础能力，真正拉开差距的，则是跨终端适配、持续交付和工程化能力。

真正的商业价值，取决于它能够成功完成多少任务，这些任务本身有多大价值，调用成本有多高，以及执行失败可能带来多大风险。

但随着Agent能力不断成熟，这种交互方式开始显现出局限。

6、从展台设置看“大模型六小虎”驶向分野：阶跃星辰切入AI手机终端赛道，月之暗面稳居审美天花板，MiniMax端出大模型和智能体生态全家桶，零一万物设置“老板人格测试”互动，百川智能则All in AI医疗。