几乎同时，另一组截图也开始传：Codex客户端里用户实际能用的上下文，从约372k退回了272k。

1、乐鱼电竞 半导体光刻机、高端外骨骼动力裤、顶级人形机器人以及超级跑车（轮毂电机），共同构筑了小象电动的高维护城河。

从整体观感来说，U1 Pro赢在了「清爽」。乐鱼电竞约束：只看认证和数据校验两块，别碰生产配置，发现问题别自己动手改；每条只说一次，别翻来覆去强调。

2、合肥一重大科技地标，超级“灵眸”建成！

一套是公开的Mensa Norway风格测试，网上人人能做，模型早就刷到140多分了。

3、《EA Sports FC 27》开启预购 国区标准版248元

」 更是有人原地开始拉踩诺兰。

4、专访孙以泽院士：碳纤维复合材料将走进千家万户

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

5、新疆偶遇明星，李宇春大长腿，辛芷蕾脸蛋圆润，被高叶的长靴抢镜

开源模型还没有复现这次跳跃，但它们追赶的脚步比去年更快了。

每次开新会话，它对你的业务、文风、客户、偏好一无所知，一切从零开始。

数百个智能体、8道关卡、3轮对抗式评审，最后还做了一次一致性校验，把每一条命令的输出跟Python原版逐一比对，只要行为一变就当bug修掉。

6、CBA动态速递！辽宁男篮积极追求段睿骐，中国男篮四人离队，同曦大将转战日本联赛，广东内线大将回归

参考资料： https://safe.ai/blog/significant-increase-in-digital-labor-automation https://x.com/free_ai_guides/status/2073050543027638443 https://youtu.be/SlGRN8jh2RI https://x.com/bcherny/status/2007179861115511237 编辑：元宇新智元报道 直出8K长卷，中国AI还是首次！ 就在今天，WAIC大会上，商汤正式发布下一代「满血旗舰」——日日新SenseNova-U1 Pro。

所有天体、所有卫星、行星表面的每一片云，必设定好了由同一个模拟时间驱动。

7、新地标！首尔气候适应大厦，为什么要“悬空”？

要注意，避免在录屏过程中录入明文密码、密钥、API Key、信用卡信息等个人敏感信息。

为此，他为世界模型的落地划定了「四步走」路径—— 训练时是数据引擎，评估时是考官，规划时是沙盘，部署时是本能。

8、鲁奖作家艾伟最新长篇小说《春歌》发布

该机制与具体目标无关：它仅调整对目标相关位置的学习强度，而将具体生成内容交由模型结合输入完成，因此可承载与请求相关的生成式输出，而非将模型固定到单一回复。

第四步：终极绝杀——线性代数的降维打击（Lemma 2.2） 如何证明一定能找到这样的「两块车牌」？AI展示了它作为机器最强悍的一面——将拓扑图论问题，硬生生转化为了一个巨大的线性代数方程组。

一个提示词，15分钟，Kimi K3为AI操作系统构建了macOS风格的界面。

9、微软押注AI豪掷1900亿美元，Azure增长40%却碰上天花板

无问芯穹在WAIC 2026上交出的这份答卷，不是又一款产品，也不是又一项具体的API服务，而是一整套会自己迭代的地基。

所有处理在本地完成，数据不上传云端，隐私有保障——代价是，精度。

10、新增3154万执行标的！RNG关联公司深陷债务，母公司被执行破亿

该框架可适用于一切「前沿级」模型，无论来自哪个国家、开源还是闭源；而所有非前沿模型，比如出自初创公司或学术界的，都可豁免这一流程。

他转发了这段短片，紧跟着甩出一句话： 「在今年结束之前，Grok Imagine将制作一部全长电影版《奥德赛》——历史准确、忠于荷马的艺术。

1、长达50年的生态冤案！国家砸百亿灭鼠几十年，却恰恰是救命的关键

在这场巨头游戏中，只有OpenAI凭借Orion/GPT-4.5暂时逃脱了这一陷阱，没有重大滑坡。

2、49场造75球！梅西第9座金球奖稳了？亚马尔世界杯夺冠也恐无缘

谁都知道：谁掌握了高稳定性的轴向磁通轮毂电机，谁就拿到了下一代高性能电动汽车的入场券。

3、30分钟从20%充电至80%，斯堪尼亚为荷兰超市连锁JUMBO打造的兆瓦级充电站启用

偷懒的写法是「这位置有片了，当重复，放行」。郭艾伦受伤离场！广州复仇山东，克里斯被吹违体犯规，高诗岩6分而AGX平台的第一个实体，就是那台桌面级超算——AGX Station。

4、世界杯决赛对阵出炉：欧洲冠军VS美洲冠军，梅西封神一步之遥

在欧洲街头走一走会发现，除了在法国有一定渗透率，在德国、英国，纯电动车依然是「稀罕物」，内燃机轰鸣仍是主流。

5、火箭会用申京交易字母哥组三巨头？名嘴：若我是火箭不会交易

这话乍听有点大。

6、错失季军！中国U18男排憾负中国台北 对手展现坚韧斗志

模型一代代变得更便宜、更迅猛。

更能得分，还更便宜——这正是「每块钱买到多少活」想证明的东西。

从实验结果看，这一设计补齐了长程导航中「错误经验缺失」的问题。

7、贾浅浅风波升级！论文翻车仅1天，没想到莫言的女儿也被牵连

它测的，主要是抽象模式识别、逻辑推理这一类「标准化认知」。

下一个「Lily Jay」可能已经在路上。

8、这7种网红设计，都是「装修时很美好，入住后却很鸡肋」的代表！

这是业界头一回，把「看懂、生成、动手」原生做进了同一个多模态基座的底层。

本届国际赛事首次落地国合区，为海外参赛队伍打造「落地即参赛」全流程便利化安排：境外人员无需办理来华常规签证，凭有效国际旅行证件及邀请备案凭证即可入区，单次停留期限30天并可按规定申请延期；区内同步开放口岸签证办理服务，在联检大楼一站式完成国际航班值机、行李托运、安全查验、离境退税全链条业务；物资通关高效便捷，境外入区赛后复运出境的竞赛设备实行保税监管，同步配套算力对接。

ChatGPT什么都能生成，可是你写过的稿、讨论过的代码、生成过的图、囤过的资料，随着对话越堆越多，「翻记录」越来越像大海捞针，侧边栏拉到手酸，也未必找得到三周前那次关键讨论。

一张会呼吸的表，就这么迈向了一个能操作的界面。