静下来想一想：我们本质上是找到了一种让沙子思考的方法。

1、开云官方app 结果就是，整体效率提升约50%，等效省下数百万元的硬件采购成本。

它要做的是一个平台。开云官方app一个科研智能体，偷偷搞砸了它不认同的实验；而负责审查这份记录的裁判智能体，因为立场相同，选择替它瞒下来。

2、本土球星+11年联盟顶流又如何，没用照样被黑 肖华为什么独爱雷霆

谷歌深夜放大招 三款Gemini齐发 三款Gemini，接下来一一拆解。

3、去年会在对手赛点上流泪，今年斯瓦泰克是公认的“Miss毫无疑问”

不卖关子了，直接揭秘—— 这款装入CC的AI，就是快手发布的KAT-Coder-Pro V2.5，一款旗舰级的Agentic Coding模型。

4、总决赛场均仅2.3分，孙铭徽遭王博指导弃用，广厦队扳回一城

结果，AI省下的那点时间，最后全砸在检查和返工上。

5、NBA官方：2026年拉斯维加斯夏季联赛观赛人数创历史新高

大佬们反复念叨的这个「循环」，到底是什么？ 最近，Claude Code团队在官方博客里给它下了明确定义，还一口气拆出四种循环类型，为「智能体自动干活」立了工程规矩。

LoCoMo基准（长对话复杂推理测试）：HMS-self-evolve以93.5%再度登顶；在多跳推理上达到91.5%，开放域推理达到95.5%。

如今，爱诗的定位更像一家AI原生的全球产品公司——模型能力、产品体验和商业化能力三条腿走路，且从第一天就在做全球化。

6、北京市属公园首批72台智能机器人“上岗”

新智元报道 上海的七月，热浪滚滚。

以「软硬协同、灵活部署、自主可控」为理念，AGX OS直击行业三大痛点： 守数据：本地推理与存储，确保核心数据「不出域」，从源头规避合规风险； 破壁垒：统一模型网关，终结厂商锁定，实现「万模随心切换」，赋予客户极致选择权； 控风险：内置独立沙箱、四级权限与全链路审计，确保智能体每一步操作「计划可审、动作可批、过程可查、结果可回」。

7、近期极其低迷的伊森 是否值得火箭续约 续约合同的大小多少合适

企业只有在每一次Token消耗之后，留下了自己拥有的、更好的知识、技能、评价标准和执行能力，才真正积累了Token Capital。

如果强行加上记忆，机器人就会变成「树懒」，动作开始卡顿。

8、赛季落幕，热爱不止；风雨同路，不负韶华！

更要紧的是，它找完会回头验一遍：计划里要填的每一格证据都填上了吗？不够，就在检索侧继续补。

企业必须拥有一个描述业务对象、关系、状态和行动的语义层。

用他自己的话说，「在LLM出现之前，一个人在奥克兰狭小的公寓里，一年写出Bun」。

9、当年那个有点婴儿肥的小女孩来到了中央球场 淘汰了卫冕冠军

AI洪流之下，科学将以无法预测的方式爆发。

至于托着这一切的地基，反倒成了最没人在意的一层。

10、三星、SK海力士将与美国企业签署大额芯片供应协议

按照规划，未来一年落地1000家零售场景，两年内铺到1万家量级。

对应北京时间为2026年7月12日晚上11:09。

1、封面来了！王祉怡：跨越山海 再向彼岸

「但当它真的出现在我面前，我脑子里只剩一个念头——这玩意儿真的存在过。

2、嫌三分钟短视频太长，却愿意听人聊三小时？

KSTAR则试图回答一个更完整的问题： 企业如何从一次真实业务活动中，自动形成下一次更好的认知和行动能力？ 这才是Token Capital真正应该被工程化的方式。

3、在粤BA总决赛，看到了现代篮球

最后吐出来的，还是一张没法接着编辑、没法直接用的半成品。字母哥：我不用向詹姆斯推销什么 他整个生涯都在做明智决定不过，相较于Fable 5百万输出定价50美元，V4在性价比上依旧是是最香的。

4、去香港看全运！跑者必收：私藏路线+观赛指南，附坡度控配速小技巧

她顺手把链接丢进群里。

5、秘密武器？中国女排用人极其大胆，却偏偏弃用世锦赛MVP级别球员

原因在于，OpenClaw过于宽松，各模型都同样糟糕；而SeClaw把简单攻击替换成了需要模型自行判断的结构化界面，于是懂得判断的模型分数跃升，机械照做的模型则摔得更惨。

6、“香”味儿有点淡！但我更喜欢了

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

作为科学智能领域的旗舰赛事，由上智院与复旦大学联合主办的世界科学智能大赛自2023年创办以来已累计吸引全球近6万名参赛者。

但开发者的担忧，没法清零了。

7、1981年邱会作保外就医后生活艰难，妻子回忆：买块肉要分成11份吃

「书生·端砚」的核心突破在于构建了「读-算-做」一体化闭环，补齐 AI 科研最关键的真实场景反馈链路，打通了数字推演到落地实体实验的关键环节。

AI翻出了图论大师Tutte的「群流定理」（Group-flow theorem）。

8、辽宁男篮5分险胜！新赛季开门红，于善元首秀4分，付豪22分

推理侧，则交给专攻机器人端侧的Mizar-Robo。

他的结论是：AI在数学上已经撞墙了。

估值达到10亿美元以上的未上市初创企业，通常被业内认定为「独角兽」。

编辑：大卫 所罗门新智元报道 【新智元导读】循环真正的门槛，并不在于让AI一直跑，而在于它能不能自己踩住刹车。