新智元报道 又送了！ 就在刚刚，Codex与ChatGPT Work的活跃用户大军，合体突破800万大关。

1、b体育官网 7月10号上海用电紧张的时候，国网发出需求响应，商汤临港数据中心两小时内释放了75%的容量，少用了4.6万度电。

GPT-5.6 Sol在ARC-AGI-3上的表现随推理档位陡升，Low档只有0.3%，Max档拿到7.8%。b体育官网AI 系统恰恰能够从这些交互中提取这些隐性的认知资产。

2、1-0险胜！欧协联冠军诞生：水晶宫击败巴列卡诺，成功夺冠

声音很大，账算不平。

3、Twitch推出家长控制：可禁止青少年直播和向陌生人发送Whispers，适用于13-17岁用户

菲尔兹奖得主Timothy Gowers悲观又震撼地感慨：「2030年的菲尔兹数学奖，可能是最后一次颁给人类。

4、楼市已经变了！今明两年买房，把这5条忠告刻在脑子里

另外，也需要坦白讲，安全检查做不到100%准确，偶尔也会有误报。

5、山东泰山夏窗调整！2人确定离队，外援按兵不动，年轻人机会来了

DM0.5在机器人数据上加了11种自回归推理任务。

在OpenAI开发者社区，苦这个旧搜索久矣： 终于能找到那条消息了，为什么拖了这么久；那个老搜索栏，从来就没好用过；会话一多，搜旧对话就变得不可能；翻旧对话简直成了噩梦…… 这不是零星几句抱怨。

Gemini-3.6 Flash前端能力全线崩盘，在前端代码竞技场中不敌Claude Fable 5、GPT-5.6 Sol等当红模型，甚至不如Meta的Muse Spark 1.1。

6、就在今天！一个前无古人的NBA纪录，被唐斯达成了

正因如此，它成了理论统计学界的一块试金石。

同一天拿到入场券的还有华为、OPPO、vivo、小米、三星和努比亚，7 家手机厂商的端侧 AI 集体过审。

7、2-0！世界杯第1支决赛队诞生：西班牙时隔16年圆梦 法国出局

对于后厂来说，核心命题只有一个：极致效率服务Token的规模化、高质量生产。

它不考核材料识别、理论辨析类问题，只聚焦基础空间操作任务：模型能否按照指令精准调整原子排布？ 图1： AtomWorld 基准测试流程示意图。

8、把色彩带进山野  一站式多巴胺户外装备清单

实测下来，它确实做到了完美适应，完全没有「水土不服」。

它提供了一个极佳的产业切片，向外界展示了全球首个全栈具身技术体系是如何将世界模型、基座模型与具身Agent架构耦合为一个「有机生命体」，并实现落地的。

智元机器人的姚卯青直言，模型决定起点，数据定义终局——靠全栈飞轮硬冲数据、表征、闭环三道墙。

9、安徽2026公师生历史类分数降了但位次前移，北师大物理类大涨22分

传统流程系统往往停留在步骤自动化。

最致命的是它还加入了大量文字，结果弄巧成拙，比如角落里的印章，上面全是看不懂的「AI造字」，直接让人出戏。

10、出啥事了！湖人暂停夺冠计划！

而这一次，它们要在物理世界里，连续协同整整15个小时。

到了(b)部分，三个模型殊途同归：都证明了对每个素数p，黑板上所有数被p整除次数的最大公约数在操作中不变。

1、彻底撕碎国乒不和传闻！樊振东王楚钦关系曝光，王皓说了句真话

年初先出手的是Anthropic。

2、亚信科技(01675)预计上半年营业收入约21亿元至23亿元

他们只用一页纸，就搞定了Beck没碰的那一问。

3、科技成长板块承压，科创50ETF易方达（588080）月内获近80亿元资金净流入

在如此激进的预言下，哈萨比斯抛出了他最具争议的方案：设立一个类似金融监管局（FINRA）的组织，要求所有「前沿实验室」在发布模型前，必须经历30天的「预审期」。不久前参加完世界杯！澳大利亚国脚毒驾+两次严重超速被处罚压缩一下，大概是这样： 单个HTML文件，Three.js，第一人称。

4、U17中国男篮14分逆转新西兰！中途换教练收获奇效，给郭士强打样

在自我递归能力上，Kimi在技术报告中称，「K3与Fable-5（含潜在回退方案）达到了相近性能，但K3每次迭代的优化速度更快。

5、中卫市直属高中学校2026年招生录取控制线公告

拿到一个看不懂的复杂回答，他让模型解释给10岁的孩子听；如果还是绕，就让它解释给5岁的听；再不行，解释给2岁的听。

6、周鹏继续打！曝顾全将担任深圳主帅 他不行了郑永刚又回来？

如果说谷歌内部有谁能凭一己之力拦下这笔肮脏的交易，那只有Jeff Dean。

这是业内首个提供真实本地纯无网部署的跟踪模型，而且开箱即用！并且原生适配宇树Go2 Edu机器狗。

但问题是，分辨率一上去，视觉token和算力就会跟着暴涨。

7、为什么红极一时的“露台阳光房”没人建了？内行人说出实情

逻辑很直白——Token既然是新货币，那省下的每一焦耳，都是真金白银。

原因在于，可控，不等于可交付。

8、Waabi公司利用AI和XR技术开发自动驾驶卡车测试系统

③ 对主流通用DLM进行广泛实验，结果表明，BadDLM在多种设定下显著优于面向AR模型的后门基线（平均攻击成功率高出约25%），同时基本保持良性效用，并对已有防御具有鲁棒性。

而MiniCPM-RobotManip（流式推理+子任务生成）：算力从0.1 TFLOPS起步，随历史帧增加仅缓慢爬升至1.3 TFLOPS（对应120帧）。

最让硅谷巨头破防的，是接下来的两个致命一击。

真正容易出现偏差的，恰恰是第二步。