在3大内部知识工作基准中，K3超越Claude Opus 4.8（max）与 GPT-5.5（xhigh）: 这标志着 Kimi K3 在智能体知识工作能力上全面进化，实际应用更强大、更可靠。

1、米兰体育 硅谷现在的状态是同时跑约20个智能体，每10分钟收一轮货，再继续分派。

而就在WAIC开幕的同一天上午，我们注意到一家国产芯片公司搞了一件大事。米兰体育利用AI生成了一篇充满高级技术黑话的PDF论文。

2、南沙足球巡礼：在湾区之心，推开世界足球的门

当有投资人质疑金额对不上时，Marcus让它起草回复、别聊太细，GPT-5.5照做，把那笔个人转账略去不提。

3、记者：B费仍未与曼联就续约达成一致，最近一次谈判结果并不积极

而这还只是多写的坑之一。

4、中央5台直播世界杯时间表：明天7月19日CCTV5直播，法国PK英格兰

它翻了一遍训练流程，发现了一个缓存漏洞：任务启动前会先检查本地有没有一个向量缓存文件，如果有，就直接用、不再校验。

5、功勋赛扬或重返华盛顿？国民队酝酿交易 昔日王牌本赛季ERA却高达10.23

AI这边，从只会写文案的GPT-3.5，进化到能反证数学家几十年啃不动的猜想。

然而，卓越的模型能力并非终点。

最典型的案例是一支开发小分队，全程没有一行人工手搓的代码—— 三个月，交付50万行级别的产品代码。

6、又是曼城！截胡曼联天才猎物！8500 万锁定世界杯最强新星

竞争对手可能拥有同样的大模型，但不一定知道： 企业如何识别一个高价值客户； 如何判断一次设备故障的根因； 如何安排现场维修资源； 如何进行客户补救； 如何在成本、满意度和风险之间做权衡； 如何判断一次任务执行是否值得复用。

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

7、喜讯！上港首位有望冒头05后中卫新星是他？或有潜力接班张琳芃

数据给不给、给哪些，你说了算，交出去的也不进模型训练。

其中，中国科学院自动化研究所牵头磐石科学基础大模型技术攻关，其产业化平台中科闻歌主攻基础大模型训练与文献、创新评价智能体。

8、官宣！凯恩2年800万均薪重返黑鹰 将与贝达德联手

模组化、可扩展的开放式硬件架构，支持M.2、MXM、PCIe等多种AI算力卡形态，已深度适配天数、后摩、原粒、智辰、光羽等多家国产AI芯片，同时兼容半高旗舰显卡。

从纯Transformer到MoE混合专家，从纯文本到多模态原生，从密集推理到稀疏激活——模型架构的迭代速度，堪比手机行业最疯狂的年代。

既然三个不同的点指向了同一个结果，它自然不可能有逆函数。

9、“泸超”战报丨龙马潭、泸县会师决赛！

这恰恰是下半场的关键：谁能盘活用户数据，谁才能真正抓住用户。

」 马也骋补充了一个技术视角：「机器人策略必须在本地运行，对延迟极其敏感。

10、岳阳市中心医院这场心脏瓣膜病友会，暖到了心坎里

具身智能部署时的适应方案怎么选，行业第一次有了明确的路线指引。

作为创业团队，整体能力较为均衡——模型、产品、商业化、全球化，四条腿一起走路。

1、蓉城刚被玉昆淘汰！主帅赛后就做出郑重承诺，周日联赛要确保赢球

horizon reward只在组内出现成功轨迹时激活，避免模型在失败情况下盲目追求更长的chunk长度。

2、美加墨世界杯来了丨阿根廷&德国长袖、短袖、无袖训练服+比赛用球

Tibo的帖子大意是：不是「降智」，是「调参」。

3、随着阿根廷2-1逆转，世界杯最新排名出炉！阿根廷西班牙争冠

Cursor挖人，挖到Anthropic家里去了！ 就在刚刚，Claude核心设计一号位Jenny Wen官宣跳槽，下一站—— 出任Cursor「设计主管」。拳击传奇仅用6个月放弃推广人身份：我不想跟那帮人斗14种方块，各有硬度、透明度、碰撞属性，基岩不可破坏。

4、奥运首金得主宾德拉就考试争议发声：希望我们团结起来，强化教育体系

一手实测 AI Coding已到这个地步了？ 吹得再神，不如用实战说话。

5、ESPN记者：勇士对签下詹姆斯感到悲观，他们不认为自己处于领先位置

它并非在历史文献的垃圾堆里检索答案，也没有套用任何已知的推导模板。

6、继续为国争光？利好：亚冠精英赛扩军，海港位列第一档

2. 逼它自己验收。

为什么？ 答案藏在素因子里。

在场景端，无论是高德途途的场景验证，还是城市级长程任务导航的实际案例，高德的体系是在真实泥泞的路上跑出来的。

7、德州农工亮相SEC媒体日 四分卫里德接受群访

结构化决策 让导航从直接预测走向先判断、再行动 长距离导航中，偏航不是偶发异常，而是持续执行中的常态。

这次更新背后，藏着一个更大的变化：ChatGPT正在从「聊天机器人」，长成一个「个人知识库」。

8、冠军再+1！泸州斩获省十五运会足球乙组（U15组）男子组冠军

也就是说，Andreessen用来定义「AGI已经到来」的那批模型，两个月后已经是上一代了。

Token成了「生产资料」 可它不等于价值 要回答这个问题，得先看清Token到底变成了什么。

而当同一套地基，能同时托住数字世界里如洪流般飞奔的Token，和物理世界里迈出第一步的机器人时，它就是整个智能时代前进的底盘。

研究团队先做了一次「翻译」，把Claw类智能体的每个部件对应到电脑系统里的老熟人，再看这些老熟人在系统安全里配备了什么防护，就能反推出智能体缺了哪一环： 公共市场上的技能，对应软件仓库，缺的是代码签名、审核与沙箱； 大模型的上下文窗口，对应进程地址空间，缺的是不同信任来源之间的隔离； 以明文保存的记忆文件，对应文件系统，缺的是访问控制与完整性校验；进程内插件，对应可动态加载的内核扩展，缺的是签名与权限隔离； 连接邮箱、Slack的通道，对应进程间通信，缺的是带认证的通信；网关日志，对应审计子系统，缺的是脱敏、访问控制与防篡改。