② 从理论上证明：DLM 的后门训练可以等价地通过构造诱导前向掩码分布（Induced Forward Masking Distribution）来实现，从而揭示出区别于AR（Auto-Regressive）语言模型的全新威胁面。

1、kk体育 就在几天前，强化学习之父Sutton官宣创业；几个月前，他的学生、AlphaGo之父Silver做了同样的事。

能在完全不同的工厂标准、机器人品牌、集成商体系里都稳定落地，靠的不是把货卖出去，而是十年、27000套一个个磨出来的兼容性。kk体育一个帮你在世界里找信息，一个帮你在自己攒的东西里找信息。

2、女篮双核闪耀WNBA，韩旭8+1+1，李月汝10+10+1+1，中国女篮目标世界杯夺牌！

所以，你永远不该辜负它，永远不该。

3、洪秀柱已抵台！离前说出肺腑之言，统一不能再等，赖清德怕啥来啥

Chloe在公共浴场被金属刮刀刮了皮肤（这是古罗马人的清洁方式），吃了一勺发酵鱼酱。

4、大学生军训哪家强，广西申请“出战”！

相机轨迹告诉系统当前是探索还是回访；局部动态告诉系统时间上下文该长还是短；历史可靠性决定空间记忆能否参与生成；去噪稳定性决定哪些计算可以复用。

5、ST宁科：增持主体计划合计增持不低于370万元且不超过600万元公司股份

不管怎样，全网苦等三个月的这只「靴子」，终于要落地了。

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

整个系统是一个内循环，逐步向AGI靠近。

6、登顶！反超沪深300，这类ETF规模涨超400%

看着能优雅做出三明治的机械臂，我们有理由相信：属于中国机器人的AGI时代，已经开启。

它能替老师干的，大致是三块。

7、西贝在作死的路上越走越远。

AI 达人：依托钛动覆盖全球的 1.5 亿达人资源网络，智能体根据商品特征和目标市场自动匹配达人、生成多语种建联话术并发起合作邀约。

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

8、39岁韩德君“复出”重返辽篮：出任副总经理+领队 度过重建期阵痛

https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber 去年同类内部测试中，这个差距是 6 到 10 个月。

编程助手学会的东西，客服Agent一无所知；这台机器人辛苦积累的经验，换一台就得从头再来。

点「进入世界」，鼠标被锁进画面。

9、法国工作室新作《断曲余音》Steam开售76元，玩家能化身为水探索崩塌宇宙

写下机器战书的人 整场测试的起点，是一家叫Axiom Math的公司。

Anthropic根本没打算让Opus 5去跟自家旗舰硬碰硬，它要解决的，是一个更扎心的现实—— Fable 5，普通人已经快用不起了。

10、掌控元素之力，化身水之本源！动作冒险游戏《断曲余音》现已发售！

7月15日，前谷歌DeepMind科学家Alex Turner宣布辞职。

以前的AI生成视频，一眼就能看出来：手指是弯的，衣服会穿帮，光线不对，人的眼神是空洞的——那种假，会把沉浸感击碎。

1、谁还说Emacs是古董？agent-shell 0.63让AI代理看图又“闭嘴”

杨帆说了一段特别犀利的话：很多自称算力服务商的公司，实际上是帮大厂代持机器、签长租约，本质上提供的是一种金融服务。

2、60岁退休阿姨的生活智慧：7个不花钱的妙招，解决生活烦恼

GPT-6逃逸，回炉重建 第一时间发现后，OpenA暂停了GPT-6内部访问的权限，回炉重建整套安全系统。

3、没房贷、手握100万存款，能回小县城躺平吗？

网络怎么不堵？请求怎么分？长文档和短对话怎么区别对待？某张卡突然掉线怎么办？缓存命中率怎么保证？ 商汤首席科学家张行程说得很实在：纯英伟达方案4个Prefill对1个Decode就够了，换成国产方案变成30对1，网络复杂度、调度复杂度、容错复杂度全线飙升。商业地震！41岁老詹太恐怖！票房暴跌！湖人后悔吗？任何企业都可以买到相似的模型，也都可以使用相似的API。

4、Halliday发布第二代AI眼镜Halliday G2，AI功能走向“实时参与会议”

Loop的本质，是让Claude用定时任务调度一个能重复跑的活，每分钟、每五分钟、每天，随你定。

5、万科·观山隐秀——以“高定”空间与“前置”生活，重塑改善价值标杆

整体尺寸185mm，与人类手掌分毫不差。

6、凌晨3点，世界杯收官战！梅西能否再封神，两大魔咒哪个能破？

历史次元壁被打破的那一瞬间，很多「亲历现场」的观众，开始落泪了。

于是模型学到的，除了「怎么做对」，还有更值钱的「错了怎么拉回来」。

这正是超聚变身为算力老兵，最不肯让步的地方：再华丽的软件平台，最后都得踩在实实在在的算力底座上跑起来。

7、4年1.3亿！东契奇迎来强力帮手，湖人三巨头诞生，西部格局改变

一家把AI用到自己血肉里的公司，再回头讲AI落地，分量自然不一样。

参考资料： https://x.com/deedydas/status/2079409461874332066 编辑：摩西新智元报道 过去一年，具身智能赛道正经历着前所未有的「冰火两重天」。

8、南海没签字，安理会来要票：印度这是想瞎了心了吗？

那咋办？ 拍一部自己的。

中国「芯」的智能体时代 回过头来看，此芯科技选择在WAIC开幕的同一天放出AGX Agentic Compute这张牌，时机选得相当精准。

「如果创业公司做的事情很容易被纳入大厂的基座模型，前景就不会太好。

随着使用量增长，每一美元AI是否在为你创造更多价值？ 答案藏在计算基础设施飞轮里：更好基础设施 → 更强模型 → 更好产品 → 更高采用 → 更多收入 → 持续投入下一代研究与算力。