「冻结」一个模型 Frozen这个名字，就是字面意思：把模型「冻」进硅片。

1、云开体育 智能体不会只活在云上，也不会只活在端上。

它直接用AI造出面向不同芯片的高性能算子，可在真实编译试错与知识沉淀中持续自迭代，稳定交付工业级算子。云开体育2024年它有过一个真实的bug：naturaldelta(timedelta(hours=-5))，本该返回「5 hours」，它却说「a day」。

2、3个春夏最实用的内搭招式，照着穿！

由此，记忆呈现两副面孔——对内，它是有损压缩：大脑将经验蒸馏为要点与图式，牺牲细节以换取迁移能力；对外，它是可传递的媒介：压缩后的经验经由讲述、书写、传授，使后人无需重蹈覆辙，便可站上前人肩膀。

3、日本足协决策引发韩国媒体高度关注：已开始布局冲击世界杯冠军之路

有前员工打了个生动的比方：「想让每个部门的领导层都朝同一个方向使劲，就像试图煮沸整个大海。

4、意外！吴曦公开看好法国队拿到世界杯冠军！为此引发球迷热议

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

5、基恩讽刺B费恰印证了当下曼联着实无人挑大梁的窘迫

此前，他让Claude Fable计算TMF到KO的映射下的 BN 不变量。

这条视频在72小时内突破240万播放。

由于训练机器人，得靠一大批真机同时上场。

6、西班牙击败阿根廷捧杯，佛得角含金量极限上升，国足一决定很明智

它向外界证明了，可以不用再去迷信孤立的「超级大脑」或单个「灵巧手」，而是回归生命进化的本质，去构建一个精密咬合的闭环生态，才是打破莫拉维克悖论的最佳解法。

中国AI，又迎来另一个「DeepSeek时刻」！ Kimi K3现已登陆网页端、Kimi Work、Kimi Code和API，7月27日开放模型权重。

7、天然“青霉素”被发现了，每天吃两口，杀菌消炎，炎症“绕着走”

OpenAI在7月9日发布的ChatGPT Work，几乎是贴着Cowork的卖点打，内置Codex，还捎带上线了当天同步发布的最新模型GPT-5.6 Sol。

轨迹对齐层：不学人的节奏，只学任务的规律 机器人的训练数据来自人类遥操作。

8、2026年上半年成都经济运行情况发布

同时，在AI Ping评测上，正是因为清程极智完全中立，不偏袒任何大厂，才能得出最客观真实的数据，实现真正的智能路由。

参考资料： https://x.com/elonmusk/status/2076739687658496209%20*%20 https://x.com/SpaceXAI/status/2076692402442846289%20*%20 https://x.com/milichab/status/2076693464016994685 编辑：所罗门新智元报道 【新智元导读】最近，这个AI穿越Vlog刷爆全网！第一视角空降古罗马、泰坦尼克号，逼真到窒息。

小哥用Qwen 7B作为微调底座，用DeepSeek的API作为网页端输出体验，也侧面证明了—— 中国AI模型真实的推理和输出能力，已经强大到足以被骗子拿来冒充「世界第一的万亿参数模型」，而不被普通用户瞬间识破。

9、壹点漫评

我直接在灵犀专业版的对话框里说： 帮我做一个2026年Q2的营销数据复盘PPT，要有数据对比、增长趋势图、柱状图和下季度策略建议，商务风格。

AI虽然未能完美预测出绿茵场上的终极比分，但这恰恰证明了现实世界的不可预知与巨大魅力。

10、乙女游戏新人设，竟然是195年下体育生？！

客户端断线重传，服务器分不清这是 重试 还是 覆盖 。

它向外界证明了，可以不用再去迷信孤立的「超级大脑」或单个「灵巧手」，而是回归生命进化的本质，去构建一个精密咬合的闭环生态，才是打破莫拉维克悖论的最佳解法。

1、3位前锋离队，火箭队锋线人手不足？仅5人可用，900万可再签2人

泰坦尼克号上那2224个人，不是历史人物，是跟你我一样，早上起床、吃饭、有计划、有牵挂的普通人。

2、不是“毒妇”的妍珍，才真“无代餐”_网易订阅

这条路才刚刚开始，但方向已经清楚。

3、夏天上衣穿浅色少穿深色，看看这些浅色单品，百搭舒适又减龄

换成Sol的写法，直接砍到四句。条纹，其实很清爽！企业真正的差异化来自于，它是否能够围绕自己的业务建立一个学习闭环，并把每一次模型使用转化为组织自身的能力积累。

4、这次已不是胡塞，伊朗又一盟友对美宣战，德黑兰掏出一把致命尖刀

谁都承认，具身智能正在逼近临界点。

5、埃森哲CEO：股价未反映AI转型与业务实力，回购扩大至75亿美元

经济学者Jeremy Nguyen评论「Codex和Claude Code同一天重置额度」时说，也许多年以后，我们会跟年轻人讲起早期这场「智能体token大战」，讲token当年被补贴得有多疯。

6、研究发现：老人若戒掉吸烟，不出半年时间，身体或会有这几个改变

但DeepSeek从来打的，就不是这张牌。

不公开、防泄题，专门用来堵住「模型提前背过答案」的漏洞。

李述昊用一句话概括升级的核心： 原来要登录一堆 SaaS 后台，再开个智能体工具聊天问问。

7、查尔斯-李：我看到了米勒和克努佩尔的巨大进步

文献数据、实验数据的抽取和沉淀 这也造就了科研领域低效内卷的现状： AI 持续拟合公开的成功科研数据，却难以触达科研场景中占比超 90% 的试错数据； 前人验证过的无效方案、踩过的技术误区，后续研究仍会重复尝试； 已被证伪的科研路径，模型依旧会反复推演。

他花了几十美金买了个域名，搭建了一个极具硅谷审美的官网。

8、纸巾印“养女不教如养猪”惹争议，消费者谴责这是在侮辱女性_网易订阅

人没被裁，反而晋升连连，因为他现在管的客户数量是以前的好几倍。

最近一个非常有意思的行业现象是：大量的海外开发者，也开始嫌弃OpenAI、Anthropic的模型API太贵了。

挪威今年干脆对1到7年级学生下达了近乎禁令的规定：上课期间不许碰生成式AI。

这套运行机制，从根源改善了 AI 缺乏有效反馈迭代的短板，让每一次模型推演都能对接真实实验校验，每一次推演偏差均可得到及时修正，有效改善纯模型推演脱离实操场景的问题。