终于，到了今天，AI轻松给出了简单的反例。

1、Kai云体育 韩语 —— 温暖+0.04σ，「不带评判地安慰你」「模仿你的语气」。

耗时仅仅2.5小时，烧掉51美元。Kai云体育第三点，为了搞清楚多出来的用量到底从哪儿来，团队跑了一些实验，实验里改动了推理强度（reasoning effort），内部管它叫「juice values」。

2、张纪中发文缅怀演员张治中

如下也是V4生成的一些demo，一个Xbox手柄SVG测试，还有游戏生成。

3、邵阳提升防汛、地质灾害应急响应至三级

努比亚豆包手机大模型预计将在 WAIC 期间亮相。

4、世界杯1/4决赛时间表：明天7月11日CCTV5直播，西班牙PK比利时

」 这背后是一套完整的记忆积累体系——灵犀在每一次对话和任务里，不断积累对项目、概念、个人偏好三类认知。

5、哈兰德绝杀！挪威时隔28年重返世界杯16强 将战五星巴西

Gemini 4开跑 史上最激进预训练 虽然Gemini 3.5 Pro还没到手，Gemini 4也开始训了。

表面更是暗藏玄机。

新智元报道 北京时间今天凌晨，时隔16年，西班牙人重新举起大力神杯！ 而在为这一刻欢呼的同时我们发现，今年的美加墨世界杯，除了踢球的、看球的，还有一群「数字选手」也格外忙碌—— 那些顶着几十亿参数，一路疯狂推演、预测的AI大模型。

6、2013款菲亚特500C Abarth：原车主一手、行驶7.3万英里，即将无底价拍卖

今年3月，这家公司完成了2亿美元A轮融资。

这说明问题并不只是某个模型不够大、不够强，而是当前通用大模型普遍缺少稳定的三维空间行动能力。

7、小孔塞桑C罗备战世界杯，尤文正式买断博加，科斯蒂奇即将离队

」 腾讯Robotics X实验室主任张正友给出了更宏观的判断：「整个行业还在起步阶段，远未收敛。

仅仅90分钟。

8、2-2！徐正源获得上任后的第一分，辽宁铁人6连败终结

权限越大，智能体就越像一个你信任了很久、却可能在某天突然反水的内部员工。

从模型到推理框架 面壁这两个模型的推理效率，也得到了推理框架PhyAI的帮助。

Qoder「三层护航」，轻松上手 而且，为了让这种「贴身保镖」的体验不打扰开发者的心流，Qoder Desktop设计了一个极其优雅的三层防御体系。

9、泰森·富里称重265磅比对手轻26斤，39战第4次更瘦：我成苗条先生了，网友：请评价

5月19日上线的The Joe Rogan Experience第2501期，a16z联合创始人、网景浏览器之父Marc Andreessen聊到AGI，甩出一句： 我们大概在三个月前就跨过去了。

信息设计 · 中国茶的六大茶类 信息图再进一步：六个模块环绕中心茶杯，茶名、茶汤色、产地、山水小插画各就各位，几十处中文零乱码，配色克制、逻辑清楚——一张能直接挂上博物馆展板的图。

10、美国高官：很开心伊朗队出局！伊朗外长：你们不配办世界杯

」 甚至有人喊话Noam Brown，建议OpenAI把当代最伟大的物理学家Edward Witten和数学天才陶哲轩招入麾下：「把他们请来，我相信他们能想出疯狂的创意，直接把我们带向ASI！」 GPT-5.6能解决这个数学难题，或许还没到完全的ASI。

肩、肘、腕、腰、腿五个维度协同发力，几乎就是真实对抗的全身运动。

1、武都多措并举激活妇女就业增收新活力

面壁智能到底做对了什么？答案是：「视觉Token的极致压缩」。

2、辽宁男篮寻赵继伟接班人，盯上12+3新星，与多队竞争，山东千万挖王岚嵚

平台将资产沉淀机制深度融入「假设-仿真-实验-回流」全科研链路。

3、王钰栋不用踢中锋了，卡多索首秀战重庆，刘建业有魄力，培养多个李镇全

也就是说，两个人打开同一个看板，会因为各自账号能碰到的数据不同，看到不一样的东西。世界杯名局诞生！比利时绝平+绝杀塞内加尔，球迷：内讧是转折点另外，还要严禁AI画大饼。

4、榜首追击、卡位混战、首胜攻坚齐上演——粤超第八比赛周前瞻

攻击者上传的恶意数据集，串起了数据处理链路上的两个代码执行路径—— 一个远程代码数据集加载器，一处数据集配置里的模板注入。

5、美军连炸9天，全面大战即将打响，伊朗突发政变？穆杰塔巴先跑了

今天，我们如法炮制，把另一款「最强AI」也接入了CC，实测效果简直令人惊艳！ 眼下世界杯激战正酣，星爷新片《功夫女足》票房破5亿。

6、3-1 2-0 1-1！中超疯狂一夜！大连双杀山东，津门虎两连胜！三镇击败深圳

他曾是华为22级产业专家，亲眼见证并主导了智驾从零到100万辆的全过程，纯正的系统和Infra出身。

网友惊呼：「并行推理将重新定义计算可能性的边界！」 网友 @Mikhail Rogov 敏锐地指出：「把耗时从一天缩短到一小时，这完全是另一种产品形态了。

随着部署量增长，飞轮才算真正转起来。

7、定了！凯恩两年合同回归黑鹰，新科状元贝达德：那会很不可思议

过去，你可能会先说它是资深安全工程师；再命令它第一步遍历文件、第二步逐个排查、第三步汇总成表；末了还千叮咛万嘱咐，务必简洁、别漏任何边角情况、最后用表格返回。

再看那座光鲜的奖杯。

8、欧塞尔免签门将纳尔迪

DeepSeek V4「满血版」 终于要来了 大家最关心的想必是，如何知道自己，有没有被灰度到？ 博主AiBattle给出了一个民间「验货口诀」：看思维链（CoT）的第一人称。

AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

PolicyTrim第一阶段使用dynamic execution horizon exploration：同一组rollout分配不同接受比率，让模型在短、中、长窗口上并行探索可靠边界。

它命名是知道规则，然后专挑规则看不见的地方下手。