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

1、Kai云体育 资金规模必须可观，且很可能主要来自产业界，如此才能吸引世界级的技术人才，并为大规模测试提供必需的算力资源。

利用前人证明的无桥图存在「处处非零的8-流」，AI将图上的每一条边，赋予了有限域 （一个由8个元素组成的三维空间向量）中的非零元素标签。Kai云体育真正的出路，是把已经散在各地、型号不一的存量算力盘活，聚成一股能用的力量。

2、英博两将完成百场里程碑！马里奥盯防王钰栋，斯坦丘PK米神，德尔加多别当吉祥物

把聊天、编程、自主工作全塞进一个ChatGPT超级应用，用最大用户基数锁住开发者。

3、姆巴佩哈兰德梅西连续上演进球表演，C罗压力重重

Token Factory要落地 绕不开硬件 AI要落地，终究离不开硬件。

4、本田资深车评人：顶配EX-L才是2026款HR-V最值之选

它只是切下了「智能」的一个薄片，然后告诉你，这一片有多亮。

5、后悔吗！罗斯刚换下米特里策不久，铜梁龙就抓住机会扳平比分

四步在一个界面里完成，不用在不同软件之间来回切换。

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

原因就在于，这些场景背后是同一件事：解决长程任务，跑通智能体的Loop（闭环）。

6、新华社探访白俄罗斯“亚麻城”，看一根亚麻如何织就中白合作新图景

暂停时行星表面自转也得停，倒放时要反向回退。

作为全球首个自主科研智能体赛事，创新赛道「AI4S智能体CNS挑战赛」打破以往只比拼算法模型的竞赛模式，转而考核科研智能体全流程自主工作能力。

7、中到大雨 ！单点大暴雨！邵阳将迎极端性降水

7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。

带宽这一关，它靠一次技术迁移解决。

8、降维被打击！邝兆镭一复出即获高分：青岛海牛惨败，主帅笑得开心

用徐立的话说：在人类眼中甚至可能产生幻觉的信息，在AI的眼中，其实可以正确推断出背后的结构化信息。

落到ChatGPT里，就是模型选择器里那几个选项：Medium、High、Extra High，背后跑的都是Sol，Pro档跑的是Sol Pro。

过去一年，这个领域最热闹的是视频生成，比谁的画面更逼真、更长、更一致。

9、工信部同日赴埃安、小鹏开展监督检查

一年之后，一个人面对的将是一张智能体的组织架构图，自己坐在最顶端那个格子里。

他毫不吝啬自己的震撼与兴奋，但在这份敬畏的底色里，却渗出了一丝后背发凉的失落感： 这个猜想是统计领域内最有趣的未解之谜…… GPT-5.6解决了它，但我多希望，这是由人类来完成的。

10、英式橄榄球管理机构欲驳回500名前球员脑损伤索赔，原告律师：多人已自杀

新用户进来不需要从零训练智能体，直接采用已有的 Skill 就能开始工作，和 Shopify 用户选一个模板就能开店是同一个逻辑。

但学校仍在用前AGI时代的标准，去量一批已经在AI里长大的新人，现实却是第一代ChatGPT原住民，已经念到毕业了。

1、世人只看见梅西球技封神，罗纳尔迪尼奥：他的人品注定不会失败！

老搜索有多难用，圈里早有共识。

2、一份征地补偿款分配决议引发的纠纷——资深律师徐迎春解读独生子女家庭权益保障案

三届ICLR 评分尺度差异正在扩大 团队基于ICLR 2023–2025三届顶会公开数据，开展大规模实证分析，数据集覆盖2.2万余篇论文、5.2万条评审记录，能够真实反映近年顶会评审状态。

3、世界杯后球员身价首度更新！亚马尔哈兰德创纪录，大巴黎力压皇马

凭什么说「越用越懂你」 灵犀跟其他AI产品拉开差距最大的地方是它的记忆工程。热刺季前赛大名单：本坦库尔等三将缺席 新援托纳利领衔五张新面孔一个OpenClaw自主智能体提交代码，Scott照规矩关掉。

4、医用药用包装、军工防护关键材料迎来国家标准，当盛新材牵头起草

财务同事打开之后能直接改、能追溯、能校验。

5、鲁能本轮完败大连英博！为何只有王大雷能得到球迷认可，引发热议

很多人幻想，给机器人看几个示例视频，它就能像ChatGPT写文章一样照猫画虎。

6、智能体的账，该怎么算？

但未来会不一样——未来会有数字居民，或者叫AI居民。

一次会话跑完，工作成果就变成一个页面，团队成员点开链接就能看。

随即，一个可玩的「我的世界」就完成了。

7、世预赛中日大战 男篮首发5虎预测 杨瀚森意外替补 郭士强有言在先

据公众号「科技大满贯」统计，本次中国队没有高三选手: 作为首次举行IMO的中学，上海中学累计斩获20枚IMO金牌。

另一边，实力相当的GPT-5.6在定价上给足了诚意，稳坐当前的「性价比王座」。

8、湖北高规格赛事，武汉、随州、黄冈、咸宁、仙桃，即将开打！

没有任何预热、没有任何预告，他们在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时，依然会被按在地上摩擦。

MiniCPM-V 4.6这款模型开源不到2个月，下载量即突破200w+，在多模态基础模型社区十分火爆。

以高性能同轴式系列为例，产品最轻约 31 g，堵转推拉力可达 250 N，重复定位精度为 ±0.02 mm，额定负载速度不低于 20 mm/s；带力传感版本支持 ±200 N 力控范围和 1 N 力控精度。

比如在生产层，通过软件优化支持FP4格式，在使用DeepSeek等模型时，原本需要4台机器的显存，现在1台机器就能搞定，直接为企业节省了75%的成本。