智元机器人手握GO-2（LIBERO基准98.7%刷新SOTA）、世界模型GE-Sim 2.0（WorldArena全球第一）、龙旗南昌产线稳定运行3个月、成功率99.99%。

1、天博官方 没有任何预热、没有任何预告，他们在X上扔出了一枚重磅消息——发布Monolith-1.0模型，登顶世界第一！ 数据有多炸裂？ 1.6万亿参数（MoE架构，每token激活495亿参数） HLE工具辅助测试中拿下99.44%的成绩 GPQA Diamond达到95.9% MMLU-Pro达到96.2% AIME 2025超过90% 原生100万token上下文窗口 在12,288块Ascend 910C NPU上训练了60万亿tokens 这个成绩，直接把目前所有榜单打穿了！ 即使是最顶级模型，在面对地狱级难度的HLE时，依然会被按在地上摩擦。

有些活得盯着外部系统，最简单的办法就是按时间间隔去查一眼，看变了什么再反应，比如一个可能收到评审、也可能CI挂掉的PR。天博官方问AI的四个手法 硅谷顶级用户这么用 Andreessen也交底了他自己问AI的四个手法。

2、真绝了！唐斯换空气！

在这个场景里，科大讯飞针对DeepSeek、Qwen、GLM等国产主流模型，紧贴昇腾硬件特性，从最底层的算子一路做到最上层的调度。

3、扎克伯格深度专访：中美AI竞争完全错误，美国别想长期领先中国

剩下的路，让它自己闯。

4、CBA狂野一日！2笔大交易诞生，4人完成签约，胡金秋交易被喊停

玩家会回头、试错、拿起道具、攻击角色、改变路线，也会做出设计者没有预料到的动作。

5、悄悄“偷走”男性寿命的5种行为，一个比一个难缠，你占了几个？

提交文件里赫然写着一句：Full proof: (Not yet complete.) 一位开发者Pankaj Kumar体验后，率先对V4的性能做了一个中肯的总结： 整体表现接近Opus 4.8级别，编码直追GPT-5.6 Sol； Agent能力大幅增强，3D和SVG生成显著变好； 同样一个任务，V4所需的迭代轮数，比Fable 5多。.18，全场最廉价的白卷。

笑死，前几天OpenAI也出过一项政策：X上夸夸GPT-5.6 ，就送100美元 要知道，就在几天前，Anthropic还计划着要将Fable 5下架。

不仅整体色调偏黄，还在边边角角塞满了川蜀建筑，让整个画面显得十分拥挤、不够直观。

6、欧媒：多家欧洲俱乐部有意洛夫顿 但他在CBA年薪约200万美元

论文指出，目前同行评审实际上包含两个过程：一是审稿人阅读论文并形成定性判断；二是将这些判断压缩为一个最终分数。

而赤兔推理引擎，则是从底层为国产显卡量身定制的「超级蒸锅」。

7、成立专项工作组 太平人寿重点发力长期护理保险

题目大意是：黑板上写着2026个大于1的正整数。

在P2上磨了106分钟跑4轮，中途被网络故障打断两次。

8、重返硬地首战告捷 郑钦文取得雅典赛开门红

它的核心意义在于，在例如数采工厂里，机器人学会一项技能后，可以以极低的数据要求、极低的金钱和时间成本，完成对新场景的适应和部署。

特纳甚至提出，愿意自费从旧金山飞到伦敦，当面向他们解答方案中的任何疑问。

彭博社记者 Mark Gurman 判断这是一次意外推送：苹果不会毫无宣传动作地发布国行 AI，不会选在中国凌晨上线，视觉识别调用的是谷歌引擎而不是国产引擎，在中国也不合理。

9、格劳啥水平？大号卢永涛！海港帮津门虎清理库存，再引葡萄牙中卫打亚冠

提示词中，OpenAI设定了极其严苛的规则，把人类科研踩过的坑，全都让AI避开了。

从社区炸锅，到一把手清零，前后不到48小时。

10、把思考折叠进序列：WeLM 617B MoE的隐式Scaling路径

7月16日，Anthropic又给它加了关键一手： Artifacts可以调用MCP连接器了。

大模型的每一次对话都是一次「重生」，所有的记忆实际上都在软件里。

1、盘点NBA历史7大白人巨星，司机上榜，约基奇入前3，第1无悬念

关于发布7款提供手机端侧生成式人工智能服务已备案信息的公告 这是国内手机端侧 AI 领域规模最大的一次集体过审。

2、场均21分！林葳！广东向同曦要签约权

但另一方面，也有企业陆续启动 IPO 进程、寻求二级市场融资。

3、定了！中国男篮三场热身赛敲定3大核心支援，球迷：不会又装病吧

AxiomProver也独立斩获了满分。中国男篮最新动态：王浩然请假离队，曾凡博将赴海外疗伤PolicyTrim的核心观点是：对VLA机器人而言，部署效率不只来自更快的模型推理，也来自更高效的策略行为。

4、65岁肌肉男，世界杯最年长冠军主帅

机器人由此从「生成一个逼真的虚拟未来」，转向「预判自己这一下会对世界造成什么影响」。

5、记者曝詹姆斯已准备好官宣去向，因不满总裁施压才推迟公布

如今他们深度合作的模型厂名单中，几乎涵盖了国产大模型的半壁江山——Kimi、智谱、MiniMax、阶跃星辰等。

6、四川1金10银3铜！2026全国信息学奥赛获奖名单出炉

雅可比猜想的证伪可能只是倒下的第一块多米诺骨牌，多个猜想或将被证伪。

毕竟，性能也达到了Opus级。

第一个是零部件。

7、外籍足彩专家斩获21场比赛 精准命中欧冠预赛-网易红彩-足彩篮彩竞彩专家比分预测彩票平台

但U1 Pro的成图，直接把这两座大山给推平了。

这一视角的转换将可解释性从一项近乎不可能完成的技术挑战，转化为一项可通过工程手段持续逼近的治理目标——它要求我们不再执着于让模型变得完全透明，而是致力于让模型在现实世界中产生的影响变得可理解、可追溯、可问责。

8、官宣｜我俱乐部签约美籍球员克里斯蒂安·维塔尔

迁完之后，同样的编译只要2秒，二进制启动快了6倍，还顺手退役了一整条部署流水线。

他表示，从目前的生态位来看，V4大概率打不过刚发布的Kimi K3，但价格会显著更低。

在这个场景下，消费者对价格完全不敏感，但对重量却锱铢必较。

她还去看了角斗士比赛——然后真的参与了决定生死的投票。