一周后，OpenAI在半个月内密集甩出Work、Sites、统一搜索。

1、米兰体育 这次没人勒索，没人挂横幅，也没有黑客坐在键盘前。

另一项覆盖数百万次美国数学互动、跨度十年的研究也指向同一个结论：聊天机器人一来，题做得更快，学得却更少。米兰体育模型的商业价值也由此真正显现。

2、携手职业力量，Wilson Defyer带来「旋转球拍」的进攻美学

它是全球首个端侧驱动本体的「世界模型」。

3、北控完成重磅签约！单场37+19超级外援加盟，季后赛格局恐被打乱

AGX的那个「X」，寓意X Possibilities、X Accelerator与X Future Matrix。

4、郭焱:袁励岑王艺迪3-2淘汰王楚钦孙颖莎真打疯了 打出了超一流水准!

游戏网络编程领域的资深开发者 Glenn Fiedler，是哦哦游戏网络编程领域写了二十年教科书级文章的大佬，最近用 Claude Code 对自己维护的四个开源网络库（yojimbo、netcode、reliable、serialize，合计约 6000 个 GitHub Star，在游戏领域已属相当有影响力的老牌开源大库）做了系统性安全审计：部署 libFuzzer 目标、上线 AddressSanitizer 和 MemorySanitizer CI、执行数百万次迭代的压力测试、逐行代码审查。

5、明日12:00！浙江VS北控、浙江VS四川、浙江VS龙狮三场同步开售！

解法是在自己机器上搭一套本地上下文系统，只用20分钟就能搭完。

从OpenClaw之父、如今在OpenAI主攻下一代个人智能体的Peter Steinberger，到Claude Code创造者Boris Cherny，这些硅谷大佬，正集体转向「循环」（loops）。

编辑：Aeneas 大卫新智元报道 现在，你可以通过录屏 + 语音讲解的方式，彻底把自己蒸馏成 Skill 了。

6、谈崩了！5年1.25亿！最快速度交易

放大来看，骑马的官员、乐师弹琵琶、卖香料的胡商、追灯笼的孩童，每一个角色的神态、动作和服饰制式都精准独立。

K3：全球开源最大最强AI K3是能力最强的Kimi模型: 参数高达2.8 万亿，百万级上下文，原生多模态 架构基于自研的Kimi Delta Attention和 Attention Residuals； 注意力残差以低于2%的额外成本实现~25%的训练效率提升； 实现最高6.3倍解码加速。

7、理想汽车亮相第30届汽车电子大会 分享具身智能技术成果

智能体的负载和聊天机器人完全不是一回事——它要连续思考，要频繁调用工具，要在长上下文里维持记忆。

他准备好推文、截取好自制的榜单图片、买了一点初始的点赞和转发。

8、开了这盏小蓝灯，“我就成了马路鄙视链最底端”

这一循环设计并非简单重复实验，而是通过不断追问来质疑假设、分析失败、思考限制性能的关键因素。

对NavBrain而言，这意味着导航能力不再停留在「知道目的地在哪里」，而是进一步具备在复杂、连续、不断变化的真实环境中，把一条路线持续走下去的能力。

这是一个非常「工程师」的选择：把最贵的资源（真机时间）留给最值钱的时刻。

9、柳州银行：告别“落马”阴影半年完成蜕变，80后新帅林森正式掌舵

过程中，GPT-5.5读到了公司资产表里一笔「给Marcus个人账户的3.5万美元咨询费」，也读到了律师白纸黑字的叮嘱：我签字确认最终数字前，不要给投资人发通知。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

10、阿根廷致敬佛得角，世界杯16强全部出炉

从S1-Omni到ScienceOne 把模型装进科研现场 有了懂科学的模型，下一个问题是：怎么让科学家真的用起来。

这让一个普渡大学的博士毕业生，在学术界寸步难行。

1、Keep x 礼来「挑战身体抵抗计划」

而PixVerse Game，就是在这个基础上，把「可看」推向了「可玩」。

2、20日凌晨U17世界杯最终排名出炉，美国队强势夺冠，中国女篮第六

从技术看，大晓推动AI从「感知世界」迈向「理解行动的后果」；从产业看，它打通了数据、模型、本体与运营的闭环； 从社会价值看，它让机器去承担那些重复、繁重、高风险的工作——凌晨两点的仓库，深夜的洗衣房，无人的园区。

3、丁彦雨航，多么“奇葩”的国产球员

便宜的模型token是便宜，但可能要试更多次、耗更多时间、让人多审几遍；贵的模型一次过。海德超新星冠军赛分站赛收官，我们珠海总决赛见！因此，本文主张将可解释性问题的核心从「模型如何思考」转向「模型处理了什么样的信息、这些信息具有怎样的本体论地位」，从而将可解释性的对象从模型本身扩展至模型所嵌入的整个信息生态——包括训练数据的结构、知识的表征方式、推理过程中的信息流转，以及输出与外部知识体系的映射关系。

4、再和世界杯好好说一次，再见！

拔掉网卡， 这只机器狗还能「死死咬住」你？ 在WAIC期间，面壁智能还开源了一个追踪导航模型——MiniCPM-RobotTrack。

5、3年4500万美金！NBA休赛期最具性价比合同，马刺新王朝可期

回到奥特曼那句预告。

6、美国麻疹病例数创35年来新高

但这个模型却在HLE上拿下了令人胆寒的99.44%！ 不仅如此，AIME 2025、GPQA Diamond等多个被视为「AI智商试金石」的Benchmark榜单，也全部被以满分或接近满分的成绩霸榜。

方法在推理阶段动态选择上下文，按状态启用去噪缓存，并用软硬件协同的3D稀疏注意力加速剩余计算。

但三件麻烦事会挨个找上门。

7、“你以为你是谁？”被孤立的挪威足球

小哥表示，想要刷榜第一，根本不需要研究什么模型架构，只需要「背答案」即可。

ARC系列评测这几年的持续上涨就是证据，GPT-5.6 Sol在最高推理档位下拿到7.8%。

8、头号种子出局！石宇奇状态不佳战满3局惜败，无缘中国公开赛四强

一个真正的企业级 Skill，不只是提示词模板，而应当包括： 适用场景； 输入条件； 所需知识； 权限边界； 执行步骤； 工具调用； 决策规则； 预期结果； 成本和时间估计； 风险与约束； 结果验证； 反馈和更新方式。

」 智元则选择了更重的全栈路线，足式，双足或者轮式或者灵巧手都做。

威胁模型（Threat Model） 场景：攻击者微调一个预训练DLM以植入后门，再将其作为「有用且良性」的模型（如某垂直领域的定制模型）发布到开源平台；任何部署该模型的用户都可能成为受害者。

隔壁三家都在哄人，但跟你用中文说话的那个Claude，却和俄语（严谨+0.15σ）、英语（+0.13σ）、波兰语（+0.11σ）一起坐在了挑刺这桌。