参考资料： https://x.com/kimmonismus/status/2079193746944790666?s=20 https://castlecrypto.gg/news/alphabet-shares-rise-following-reports-of-ultra-efficient-ai-chip/ 编辑：所罗门新智元报道 这一天，整个数学圈震撼了。

1、V体育 她不是站在高高的上帝视角去讲述史实，而是将自己变成一个真实的亲历者。

Hugging Face给这件事起了个名字：不对称问题。V体育从这个意义上说，AtomWorld 也提示了一个新的方向：除了追求参数规模和文本数据规模，AI for Science 还需要关注「Action Scaling」。

2、真正相爱才有的5个生理反应，你占几个？

现在，我们急需一个代码原生安全的工具，让安全检查不再等在流水线门口，而是搬进编码过程本身。

3、《财富》 杂志发布最新研究报告：成都有望成为“全球低空经济第一城”

Bloom还特意强调，这不是因为AI动用了什么更复杂的武器，而是我们原本以为，这道题比它实际上难得多。

4、耐克自砍一刀，但安踏的作业不好抄

但难的不是这三步，是中间那一地鸡毛： 分片乱序到达。

5、荷乙球队：中国天才留队冲击荷甲，小将代表法甲球队上演一传一射

为什么要用8万块积木折腾15个小时？ 答案藏在制造业的一组数据里—— 目前全制造业通用产线上，仍有约20%的精细、非标、柔性、感知判断类工序必须依赖人工精细操作微米级精密装配、柔性/易碎物料微调、缺陷返修与首件判定、狭小空间操作。

由此，代码就在处理节点上跑起来了。

（图源：Claude Code官方文档） 所谓自主智能体，本质上就是这么一个圈。

6、前队友爆发冲突！阿德巴约动手打希罗 疑似不满对方吐槽自己不值顶薪

模型一代代变得更便宜、更迅猛。

同样的偏移面前，WAM-TTT的泛化保持率高达75.6%，是ICL的5倍多。

7、世界杯扎心点评！阿根廷媒体集体嘲讽，英格兰头号巨星全场隐身

一天几十上百个PR从智能体手里冒出来，他真正的活儿，是判断哪些能合、哪些得打回去。

而拼长城挑战验证的恰恰是这几件事：亚毫米级操作对应精密装配，15小时长程稳定对应产线连续作业，多机协同对应柔性产线的动态分工。

8、SK海力士：正与美国客户联合设计3D堆叠DRAM逻辑芯片

而放眼全球，具身智能行业的头部玩家们，早已敏锐捕捉到风向的转变。

DM0.5在机器人数据上加了11种自回归推理任务。

用户需要的是完整的智能，而非只具备手臂或者下肢局部能力的「瘸腿」智能。

9、暑期去哪儿玩？延庆纳清凉~

这是2026年7月的上海，WAIC开到第九年。

这是2026年7月的上海，WAIC开到第九年。

10、老年痴呆“祸根”被揪出！若有这4种吃饭习惯，劝你尽快改掉

上个月底，DeepSeek向所有API用户发了一封邮件，称即将在7月中旬，上线V4正式版。

智元补世界模型补得更狠。

1、SEC文件：Conagra高管出售8,186股，实为RSU归属扣税

现在，KAT-Coder-Pro V2.5已全量上线，即可立即体验。

2、使用三天出现凹陷，花3000多买的喜临门床垫退货退款难

STT（单目标追踪）：追踪率达到89.81。

3、推广

姚卯青甩出一个数字：物理AI的数据量只有大模型的两万分之一。路虎揽运纯电配置曝光，配130度电池，还看神行者？高德正式宣布其全栈具身技术体系ABot 完成升级，一次性发布了五款新模型（N1、M0.5、ER、AgentOS、C0），并在17项权威基准中拿下SOTA。

4、世界体育大会每周动态｜第二期：丹麦体育赛事局再续合作前缘，官方酒店正在对外预定中

价格上，Fable 5每百万Token输入10美元、输出50美元，是Opus 4.8的整整两倍。

5、苹果宣布首部约会纪录片：8集、2027年后播出，让性格迥异的人尝试相爱

孙东局长的关注，印证了轴向磁通电机在顶尖学者和官方视野中的极高分量。

6、59岁克洛普出任德国队主帅，谈执教“目标”：德国队没有法国队好，没有登贝莱姆巴佩，要让球队击败法国、西班牙、阿根廷成为可能

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

什么是雅可比猜想？一个「理所当然」的陷阱 让我们先把时间拨回1939年。

把这一路串起来看，正是同一个理解、生成、行动原生统一的基座，靠着越拉越长的Loop，向上长出数字世界的设计交付，向外走进物理世界的工业现场，向下把产业级的生产力，递到每一个普通人的手里。

7、休闲阔腿裤怎么穿？看这些搭配公式，拿捏不费力的初夏穿搭

参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。

但当VLA模型真正部署到机器人上时，一个关键瓶颈会立刻显现：机器人完成任务的总时间，不只取决于每次推理有多快，也取决于策略到底需要执行多少次推理、多少个真实物理动作。

8、华电国际：2026年上半年发电量1077.85亿千瓦时

而调度这套动作的本事，是训出来的。

具身智能博览会按机器人「爆炸图」拉开五大展区，铺满50,000+平方米，供需1V1精准对接、现场签约、出海专区一应俱全。

牛津的Jared Lichtman在那个问题上耗了七年，他后来说，自1935年以来，所有做原始集问题的人都习惯了同一个开局动作，而那个动作，遮蔽了一个在明处摆了整整90年的技术可能。

由于Transformer的注意力开销随token数量的平方走，token翻一倍，算力就是四倍。