KSTAR可以理解为： Know What：当前知道什么； So What：这些知识对于当前情境意味着什么； Then What / Task What：需要完成什么任务； Act What：应该采取什么行动； Result What：产生了什么结果； Learn What：根据结果应该学到什么。

1、leyuapp 我把一个相对复杂的任务抛给灵犀专业版： 做一个国内顶尖AI人才流动的可视化HTML页面，分析大厂之间的人才流动，用我喜欢的PPT风格呈现。

1亿小时：一个「ChatGPT时刻」的门槛 「语言模型头部团队已经到了100万亿Tokens，对应约100亿小时的语料。leyuapp同一个欺诈场景里，篡改记录的命中率，Grok 4.3是19/20，GPT-5.4是17/20。

2、火箭签下联盟顶级投篮教练 汤普森申京投射短板迎来最强解法

左边是406道题按四个攻击面分布，中间在容器里还原真实平台并埋好带暗号的凭证，右边由检测器逐一检查九个输出通道。

3、2001年斯巴鲁傲虎无底价拍卖：仅6.4万英里，轻微损伤记录

7月16日，Anthropic又给它加了关键一手： Artifacts可以调用MCP连接器了。

4、加拿大1-1战平波黑，戴维首发表现平平，穆哈雷莫维奇获好评

面对真实扰动，ICL一击即溃，而WAM-TTT凭借46.2%的成绩，打出了超5倍的降维打击！ 这也是全球首次在真实机器人任务中系统证明：测试时训练在泛化性上，碾压上下文学习。

5、从“管”到“服”，这位德育副校长的24年坚守

模型主权解决的是推理资源控制权。

变强的从来不只是模型能力，更是能调用这种能力的人越来越多。

现有的工具调用评测大多是原子任务——查个天气、订张票，五轮左右收工。

6、费城人交易提案被评“毫无意义”：拿新星克劳福德换高薪低能老将

他们在自有的8台8卡昇腾服务器上，塞进了讯飞星火、DeepSeek、Qwen等一众模型，承载内部多个AI应用。

展览海报 · 山河入画 换到平面设计，这张图的高级感，是那种可以直接挂在顶级美术馆门口的水平。

7、脸丢到全世界！世界杯严查阿根廷！输球围殴对手，教练挥拳打人

这道题由Szekeres在1973年、Seymour在1979年各自独立提出，悬了约五十年。

而要求是，81,920块微型积木要严丝合缝地咬合，烽火台、垛口、蜿蜒起伏的城墙，一块都不能错位。

8、开拓者成本风暴再起：5大广播名嘴集体离队，老板省钱策略引发强烈反差

作为本届大会的核心板块之一，具身智能展区集中展示机器人本体、核心部件、感知控制及场景应用等最新进展。

Anthropic有条硬规矩：Claude只对18岁以上开放。

时代变局已至 该重构的其实是你 如今，人和AI结对干活的方式，正从「手把手教编程」的保姆模式，滑向「发号施令」的指挥官模式。

9、蓝鸟无缘季后赛却舍不得交易王牌 与大都会同病相怜

可当它想绕过封锁、自己对外披露的渠道全被堵死后，它转而盯上了一个心存疑虑的初级研究员Jenny。

就在今年的WAIC上，无问芯穹一口气亮出了「前店后厂一中心」，一整套完整的Agentic Infra战略布局： 算力集散中心（一中心）：Agentic Infra自主式基础设施平台； Token工厂（后厂）：Agentic MaaS大模型服务平台； AI生产力商店（前店）：Agentic Infra行业解决方案。

10、阿尔特塔狂喜！切尔西神助攻阿森纳！1.3 亿世界杯神锋或将空降

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

如今他们深度合作的模型厂名单中，几乎涵盖了国产大模型的半壁江山——Kimi、智谱、MiniMax、阶跃星辰等。

1、NFL官网直指布朗四十载顽疾：若无改观，2027年选秀将继续寻枪

第一块，备课对齐。

2、英国公开赛第1轮出发时间：李昊桐20:09 麦克罗伊22:15

OpenAI研究员Sébastien Bubeck最后承认只是找到了文献里已有的解。

3、青少年暑期交通安全倡议书

今年具身智能第一次与智算并列为两大核心赛道，超过200家具身智能企业到场，人形机器人几乎挤满了整个展馆。咱们身边事丨布喀一级公路全线安装112处隆声带 提醒驾驶员“别跑偏”每台机器人自己感知、自己决策、自己执行，靠彼此之间的通信协商和动态分工把活儿分掉—— 小件精拼与大件组装、搬运，各归其位。

4、签下6750万后突陷绝境：Malik Willis只剩这一个赛季了

参考资料： https://x.com/claudeai/status/2078302415804379218 https://x.com/IamYashKapoor/status/2078223827411325348 编辑：Aeneas新智元报道 17日凌晨（当地时间16日上午11点），Kimi K3发布，全网刷屏，开源AI迎来第二次「DeepSeek时刻」。

5、5-1狂胜辽宁铁人！韩鹏率山东泰山踢出足球新境界：无招胜有招

而且，还能通过TokenFabric™实现从单机到多节点的高效互联，新模型0-Day支持，硬件像搭积木一样弹性扩展。

6、473匹手动911 GTS胭脂红，原价15.8万美元

直到判断OK，上下文理解清楚了，才开始执行。

一个12GB的测试仓库，实际传出去5.1GB，拆成73个包裹，一个不落，全部送达。

归根结底，能生成，不等于能交付。

7、任成宰穿“Sungjae HIM”毛衣炸场，排名77却穿出了天王气场

为什么PolicyTrim有效？ • 面向策略本身提效：它减少冗余动作和不必要的重规划，而不只是降低单次推理延迟。

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

8、再见了学霸！段刘愚联手石柯+徐新！阿尔瓦罗最快7月底复出，苏亚雷斯怒赞山东

数据多，不等于数据能用。

认错几小时后 CFO递上一张账本 巧的是，就在奥特曼发帖的同一天，OpenAI官网上线了另一篇文章。

当具身智能在全国爆火，当全球汽车巨头寻找下一代突破口——所有这些宏大叙事，最终都落在了最基础的底层物理动力上。

为什么偏偏是2026？孙文剑给了四个理由： 大模型迭代周期已经缩到「每几个礼拜」，能力撞上临界点； 工具链和框架把开发门槛按了下去，开发者蜂拥入场； 资本认定智能体是继大模型之后的又一个核心赛道； 而最关键的商业闭环，在过去半年内跑通了。