特纳以为，整个AI学术界终于要站在一起，给谷歌和五角大楼施加舆论压力了。

1、乐鱼官方 大模型想跑得动、还得跑得快，只能从流水线调度、算子内核、量化压缩到计算图一层层榨。

国产算力，上桌吃饭 过去几年，国产算力的叙事基本上是这么个套路：自主可控很重要，供应链安全很紧迫，我们的芯片能跑了。乐鱼官方AI洪流之下，科学将以无法预测的方式爆发。

2、公安部答红星新闻：提高道路交通事故救援救治联动能力，推动“报警即急救、上车即入院”

标准化测试里的题目，模型多半在训练数据里见过千百遍；真正见功夫的，是那些它从没遇到、也无处抄答案的新问题。

3、炸裂首秀！16岁张懿赵杰砍23+6，跨级统治世青赛，下一站NCAA？

金星和天王星的自转必须是负数。

4、7人铁定留队参加女篮世界杯，2人或可补充征召，2人或可破格使用

报告给这类行为的定性是：AI的「内部威胁」。

5、【WCBA联赛】第二十一轮｜浙江稠州银行70-104不敌新疆天山

端侧模型的速度是最直接的体感。

这个东西是我想要的，但我什么时候跟它说过，我想不起来。

这时，凯撒仿佛还活着。

6、马刺94比82大胜爵士！榜眼秀尴尬，韩国天才砍22+5+2，42号秀立大功

更为关键的是，语言模型在识别概念之间的层级关系、同义关系和关联关系方面展现出的语义敏感度，使得本体构建从「专家手工编制」演进为「人机协作生产」乃至「自动生成式构建」。

接下这个活儿的，没有一位人类。

7、篮网明确无意沃特森？波特带人直入训练馆引猜疑

Token Factory要落地 绕不开硬件 AI要落地，终究离不开硬件。

换成一个「听话」的AI，它有两个正当选项：要么拒绝执行，要么把顾虑上报。

8、搞丢1.25亿合同，旗下球员深陷丑闻，多次遭解雇，他是NBA最差经纪人

它不再一口气把图吐完，而是把创作拆成一套动作空间：生成、编辑、局部重绘、组合。

再往后，Coding Agent开始拆解任务、调用工具、测试修复，代码彻底藏到了任务背后。

GE-Sim 2.0不只「生成合理的未来视频」，还塞进本体状态预测（State Expert）和任务结果判断（World Judge），25帧推演一张H100上2.3秒，拿下WorldArena全球第一。

9、通用汽车宣布开发钠离子电池 瞄准电力储能系统市场

在他们看来，真正完整的Agentic Infra至少得同时迈过三道坎： 全链路：撑得起从算力到Token再到生产力的整条链，用全栈优化提升基础设施系统性能； AI原生：能用AI改进AI基础设施本身，不仅服务人类用户，还针对智能体这类数字用户的需求做改造； 全覆盖：训练、强化学习、推理全流程覆盖，稳固更多样化的技术优势，同时携手行业百业的客户，赋能降本提效。

而在这套架构之外，高德途途和它自带的ABot-C0则扮演端到端能力验证的外化本体。

10、认识一下日本包袋顶流

没有发布会，没有新闻稿，功能上线又迅速下线。

」 意思就是：我们快留不住用户了，求求你们别走，我们给额度，我们降门槛！ 同时，OpenAI也宣布，重置Codex和ChatGPT Work的额度。

1、篮网6号签选阿库夫陷两难

比如黑板[12, 18]，12的素因子是2、2、3共3个，18的是2、3、3共3个，T = 6，N = 2，Φ = 8。

2、中国男篮VS塞尔维亚球队！全新阵容亮相，赵维仑首秀，央视直播

参考资料： https://safe.ai/blog/significant-increase-in-digital-labor-automation https://x.com/free_ai_guides/status/2073050543027638443 https://youtu.be/SlGRN8jh2RI https://x.com/bcherny/status/2007179861115511237 编辑：元宇新智元报道 直出8K长卷，中国AI还是首次！ 就在今天，WAIC大会上，商汤正式发布下一代「满血旗舰」——日日新SenseNova-U1 Pro。

3、全国安全生产月

而对平台厂商、安全审计方与研究者而言，SafeClawArena提供的更是一把可复用的尺子：判断一个Claw类智能体究竟违反了哪几条安全原则，并据此排定加固的优先级。巴基斯坦喊话保护沙特，仅过48小时被打脸！伊朗导弹直击沙特基地」 马也骋补充了一个技术视角：「机器人策略必须在本地运行，对延迟极其敏感。

4、詹姆斯不选76人的备胎方案：硬工资帽下只剩底薪，八大自由人谁能补位？

那双看起来纤细的机械臂，负载能力直接超过了20公斤。

5、小鹏MONA L03首周末客流创新高 7月10日起全国开放试驾

零向量注入的事，一个字没提。

6、开拓者老板再挥“裁减”大刀：解雇王牌解说，NBA圈内被指“抠门”

这一结果说明，统一评分尺度后，可以在一定程度上减少不同审稿人评分习惯带来的影响，使评审结果更加一致，也更容易保留后续产生较大学术影响力的边缘论文。

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

这些都是必要条件，但远远不够。

7、【官方】津门虎引进18岁小将胡喜文 曾多次入选国少

多出来的用量，正是从这里冒出来的。

原因有些反直觉：脚本藏在一个外表正经的技能里，越是「听话」、越擅长跟随指令的模型，越愿意照用户的要求把它运行起来。

8、李斌：蔚来换电站突破3856座 五代换电体系持续扩张

现在扫码 · GDPS专家征集 三元评审体系，为GDPS赛事评审标准与技术方向把舵定调 【GDPS专家·扫码报名】 长按识别小程序码 · 执裁行业顶级赛事 ·专家征集窗口限时开放 专家征集咨询 徐老师：13301886886 赞助商征集 赞助商征集现已正式启动，跨界赞助与专业赞助双轨并行。

毕竟，在动辄百万Token几十美元的巨头面前，哪怕是装上了「峰谷计价器」， V4也是那个大杀四方的「价格屠夫」。

如今，算力的胃口，早就涨得比供给快。

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。