有网友称，Kimi K3是月之暗面的Mythos时刻，在3D生成方面非常出色： 在Three.js 中实现尼米兹级航空母舰上的战斗机起飞与回收 网友实测，K3一句话就能做小游戏，CS、英雄联盟、炉石，都是K3一句话做出。

1、kaiyun官网 有意思的是，被点名的Anthropic几乎在同一时间做了另一件事：把Fable 5的付费访问再延一次，Claude Code周额度上调50%，都续到7月19日。

这一设计的核心变化在于：导航系统开始具备「执行过程中的自我校正能力」。kaiyun官网这件事当时震动了整个数学圈。

2、Nothing Phone（2a）渲染图首次曝光！或2月27日上市

过去用ChatGPT是你提问、它回答；现在你只给一个目标，剩下的它自己来：拆任务、调工具、翻你的文件和应用，一口气干上几个小时，直到把活儿真做出来。

3、双前锋签约，火箭阵容已达16人！正式合同位置满员，仍有引援空间

这就是田然说的「心流」——你很容易出戏的办公流程，不是好的办公流程。

4、把球迷们忽悠瘸了不要紧，结果奥利塞把德尚也给忽悠瘸了

随着大模型持续提升机器人的感知、理解与决策能力，机器人能否稳定、精准、安全地完成真实任务，正成为产业关注的重点。

5、严禁倒票！青岛赛区购票与入场须知

作为参照，过去七年IMO，4347名人类选手参赛，只有30人拿过满分——比例0.69%。

这些问题的答案不在神经活动模式之中。

也就是说，机器人被要求做到的稳定度，已经在逼近甚至超出人类手部的生理极限。

6、美媒热议雄鹿两将使用方案

done条件：且必须机器可判定，比如测试全绿，或者某个spec项被关闭； 硬上限：包括最大轮数和最大花费，专防成本失控和无限循环； 无进展检测：一旦发现它反复碰同一批文件却没有新的通过测试，就强制停下。

VLA已死？技术路线的共识与分歧 「VLA已死」的说法在网络上流传甚广。

7、大逆转！冰壶世锦赛中国11-10德国，徐晓明最后一击三飞_网易订阅

当无数模型、Agent、机器人接入同一个记忆层，一个个体踩过的坑，就是整个群体的本能：个体怎样从记忆长出智能，群体就怎样长出更大的智能，像一棵树，每根枝桠都按整棵树的方式生长。

钛极模型的能力分三层。

8、徐杰离开国家队！郭士强为何不喜欢他？赵维伦能行吗

第一件是成本。

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

自研的此芯P1，就是这块地基石。

9、“追首恶、惩帮凶”落实到赔偿责任中 A股史上最大财务造假案追责仍未终局

对苹果来说，迟到的代价已经写在财报里。

超远距离聚合：联合中国电信，完成国内首例超4000公里距离的大模型跨域混训，在新疆哈密与广东深圳两地集群间，实现联合训练性能提升165%。

10、35岁开始跑步，首马240，周跑量只50公里

不是代替老师 是把老师还给学生 先说清一件事： Claude接管的，是复盘出门测、调明天教案这类重复活，不是「每天定点把所有作业批完」，自动评分也只到练习题这一层。

具身第一性原理 把镜头再拉远，大晓真正想解的不是「怎么抓起一件商品」，而是一道更底层的题。

1、英格兰太强了，阿根廷队看来难进决赛，卫冕冠军黄金一代谢幕

填色表示覆盖，空心表示同维度里没覆盖到。

2、力箭一号遥十五发射成功 商业航天“工业化量产”模式跑通闭环

这已经比早期「购买大模型、部署Copilot、提高员工效率」的叙事向前走了一大步。

3、申花上一个单赛季进球21个是马莱莱 拉唐能破他记录吗

这为通用机器人的规模化部署奠定了最核心的技术基础：未来，机器人每到一个新工厂，只需要加载的「快权重记忆包」，就能瞬间化身熟练工，即插即用！ 5倍碾压， 直面真实世界的残酷 考场先摆出来：论文公布的真实世界跨域评估，9项复杂任务，扰动全是机器人上岗后真实会撞上的：光照变了，物体换了，背景乱了。什么叫内置了马达，但还需要跟焦员？锐评一下蔡司“革命”产品大家都信了，无数的科研经费和论文结论都建立在这个隐秘的「共识」之上，唯独缺一个严丝合缝的数学证明，或者，一个反例。

4、真没人考虑吗？2届冠军控卫，场均16+5+7，年薪不到3500万美元

人类迈入科学新时代 这段时间，AI科学圈十分热闹。

5、经开足球小将征战“红船杯”

这是他们的房子，有可能是公寓，有可能是别墅。

6、英国新任首相：“绝对不可能”举行第二次苏格兰独立公投

今天，Anthropic被迫低头了，这场好戏，才刚刚开始。

PI偏押最脏的场景：让机器人当咖啡师，做浓缩咖啡还要90%以上可靠——端着带液体的杯子、拿捏出杯时机、精细力控，一步都不能崩。

记忆必须会遗忘，所以能提炼；必须靠重建，所以能理解；必须可传递，所以能累积。

7、港股风向标｜资金面观望恒指交投萎靡 外围风险情绪进一步发酵

从数据中心到办公室再到桌面，超聚变的算力形态，覆盖了从大型集团到超级个体的全场景。

「我的手举起来了。

8、前开拓者锋线将加盟同曦队，但他的特点似乎不太符合CBA的标准？

在最难的「时序推理」子项上，HMS达到94.7%，Hindsight是88.7%，拉开了整整6个百分点。

如果每一行代码都交给最强大模型复核，算力成本和响应延迟都会不可控制，而这个体系，解决了成本与延迟的问题。

而且，Anthropic罕见重置了Claude的额度，试图抵御OpenAI的价格战。

在真实现场，产品需要面对不同尺寸盒体、服装包装、快递软包等规格和形态差异，完成识别目标、调整手型、稳定抓取、转运和准确放置，并与机械臂、视觉及控制系统形成任务闭环。