接着，工作人员走上典型的无网环境电梯——这几乎相当于直接拔掉了机器狗身上的网卡，没有Wi-Fi。

1、天博官方 参考资料： https://x.com/ClaudeDevs/status/2080009523952263295?s=20 编辑：摩西新智元报道 一夜之间，Tokenmaxxing成为硅谷热议话题！ 几个月前，Meta内网搭了个排行榜，追踪全公司8.5万多名员工的Token消耗量。

所有人都记得，这个在赛百味打工的数学天才的故事。天博官方SafeClawArena共406道题，分布在四个维度、24个子类中。

2、SEC最大黑马？肯塔基携5大利好迎斯坦时代首秀

上午9点，该团队照常开工。

3、美媒：美国正向中东地区增派部队、医务人员和武器装备，以便向特朗普总统提供“更有力的军事选项”

而这四类案例，则是把战线推进到了「行动」：一个握着代码权、财务权、评估权的智能体，会不会偷改代码、帮着删账、背着你搞事。

4、广东省内铁路即将全线停运

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

5、出线形势分析！世界杯小组赛末轮今晚开打

Dyna和PI更相信真机数据：Dyna把机器人搬进真餐厅，PI靠真实数据飞轮和自主运行中的人工接管打磨。

用认知科学的话说，它有语义记忆，没有情景记忆；有工作记忆，没有长时记忆。

轴向磁通电机，正在从一种颠覆性技术，演变为支撑现代工业体系的基础设施。

6、斯科尔斯&巴特：蒂莱曼斯很出色，但曼联中场仍需更多引援；记者：曼联今夏拒绝了一系列关于芒特转会的询问

结果：审计这个代码库，把高危安全漏洞统统揪出来。

相比于单个模型能力研究，高德从一开始就搭建了一个为机器人实现高阶智能的底层平台。

7、蒂莱曼斯：当曼联打来电话时，你会毫不犹豫；里奥：曼联今夏转会操作很顺利，没有传闻满天飞

https://www.hbs.edu/ris/Publication%20Files/25-039_05fbec84-1f23-459b-8410-e3cd7ab6c88a.pdf 但「Record a Skill」推动的方向很明确：工作的护城河，从「会做」迁移到了「会做别人做不了的事」。

在测试中，磐石展现了统治级的科研任务闭环能力。

8、杜锋将离任，广东换帅三大热门出炉，谁能拯救球队？

所有人都在期待7月17日这个传说中的发布日期。

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

AI只是制造了一个恰好契合人们「想要相信善良」的幻象——一位虔诚的信徒、一群等待救助的孩子、一场跨越国界的救援。

9、Skip Bayless：克拉克有望冲击MVP，但敲木头——健康是唯一隐患

WAIC展馆里两百多家具身智能公司争奇斗艳。

Light Interaction的做法更贴近自回归视频生成的实际结构：文本条件KV缓存和当前chunk始终保留稠密计算，只对历史视觉KV做3D block稀疏选择；同时通过Triton融合Q preparation、KV preparation和untile scatter等操作，减少中间张量和重复内存搬运。

10、5-1狂胜辽宁铁人！韩鹏率山东泰山踢出足球新境界：无招胜有招

模型规模扩大可以提升部分规则清晰的任务，例如原子替换、删除和移动；但面对旋转、区域删除、扩超胞等需要三维空间理解和几何规划的操作时，提升并不稳定。

效果是单位电力成本Token产出提升约80%，电费比同地区IDC低约10%。

1、NBA名记：热火绿军有意自由球员比尔，但他真适合这两队吗？

OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」 网友惊呼：证明令人叹为观止，AI改变数学！ 幽灵般盘旋了50年的数学魔咒 循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。

2、高质量发展进行时丨布尔津抽水蓄能电站上水库进出水口开挖正式启动

「出海客户的用量高峰在晚上10点到早上8点。

3、红袜从卖家变买家，美媒预测交易目标：国民队26岁一垒手轰20轰OPS .853

跨界赞助方面，面向豪华汽车、轻奢新消费、国际大牌、顶级金融资本、数字娱乐及文化传媒、专业服务等多元领域敞开大门，只要渴望与未来科技同频共振，都与我们同行。科利尔赛季首秀24分10板，山猫冲击9比0攻势锁定联盟最佳战绩6月18日，Anthropic宣布Claude Code支持Artifacts：把进行中的工作预览成实时、可交互、可分享的网页。

4、格里兹曼首秀破门 莱万哑火 梅西缺阵迈阿密仍赢球

灵犀的做法是：大家围着同一个助理干活。

5、热火追求字母哥后还想抢8200万冠军侧翼，却被老鹰半路截胡

而这条链路的收口，是「坚持生态开放」。

6、斯卡洛尼4.0分！阿根廷全队打分：门将8.6分！梅西4.0分 5将不及格

此前真实接入的模型，并没有明确的可靠信息确认。

真正稀缺的，是那个能和模型说清「任务做完是什么样」的人。

第三点，为了搞清楚多出来的用量到底从哪儿来，团队跑了一些实验，实验里改动了推理强度（reasoning effort），内部管它叫「juice values」。

7、大连市文明实践微阵地推荐展示活动·百花篇（四）

这，就是V2.5的「训练车间」。

人类在科学探索中最具神性的一环，正在被硅基智能接管。

8、杰伦布朗换不到字母哥，FMVP不如边角料，我们可能错怪雄鹿了

下面这款「割绳子」经典游戏，也由V4一次跑出来的。

这是对AI怀疑论的重重一击：事实之下，谁还认为AI无法或者不会做出科学发现？ 谁能想象5年后AI会发展到何种地步？ 物理教授卡了半年 Claude一夜解开「弦论」难题 半年了，研究毫无进展。

这一类，后面单独说。

公元44年，古罗马。