一是，把科学数据「统一编码」。

1、火狐买球 尽管大模型能解析材料知识，却难以精准操控原子结构。

效果用攻击成功率（ASR）衡量，效用用MMLU（5-shot）等基准衡量。火狐买球当时，Anthropic拒绝了这一霸王条款，结果遭到「切断供应链」的威胁。

2、关于谢贤遗产及病因，谢霆锋方严正声明

为此，磐石团队基于S1-Omni，进一步打造了科研智能平台ScienceOne，将模型的理解、预测与生成能力无缝嵌入科研的全生命周期。

3、程蓓调研新能源专用车产业链建设情况

一个愿意「往下走」的人 要理解这次跳槽的分量，得先把时间往回倒。

4、转会窗：凯西要求尤文600万欧元年薪，那不勒斯竞争瑟尔洛特

真急症的判轻率51.6%，居家级病例的判重率64.8%。

5、记者称美伊战事没有停止迹象，中东地区多处美军基地损失扩大，特朗普怒怼：“难道你比我了解情况？”“伊朗极度渴望会面以结束战争”

你的善良，正被AI明码标价 Lily Jay基金会最危险的地方，在于有数百万人多么愿意相信它是真的。

在Vertex AI上线后，谷歌最新发布的Gemini 3.6 Flash口碑遭遇滑铁卢。

AI一来，改变了这个前提。

6、传奇解说员离职：开拓者合同“次级贷”，老板发家于此

在数据端，相比纯模型驱动的厂商在实验室里死磕合成数据，高德背后是积累了二十年的庞大时空基座。

模型权重动没动，他没提。

7、速看！“湘超”常规赛邵阳队赛程定了！

这就是我们要的：不止是能交付的成品，关键是办公体验要好。

项目主页：https://inceptionwang.github.io/PolicyTrim/ 论文链接：https://arxiv.org/abs/2606.22540 代码链接：https://github.com/INCEPTIONwang/PolicyTrim 模型链接：https://huggingface.co/INCEPTIONwang/PolicyTrim 新方法实现了： 3×动作chunk利用率，更长horizon可靠执行； 51.4%物理步数减少，压缩冗余修正动作； 5.83×端到端最高加速，LIBERO Object/π0.5； 从「算得更快」到「做得更快」 PolicyTrim的核心目标不是替代计算侧加速，而是补上另一个被忽视的维度：减少完成任务所需的前向推理次数次数。

8、萨钦·滕杜卡尔就NEET风波发声：失败可以，作弊不行

轴向磁通电机，到底厉害在哪？ 传统电机是「径向磁通」的，磁场方向从中心向外辐射，像个圆柱体。

7个Claude通跑，设计流程已死 今年3月的《Lenny's Podcast》，她开局就给了所有人一记闷棍—— 设计师被教了这么多年、当成圣经的那套设计流程，基本上已经死了。

海风很大，铆钉锈迹斑斑，远处有人在笑着说话。

9、德国名宿开炮：阿根廷靠丑陋踢法混进决赛 输西班牙是足球胜利

参考资料： https://www.kimi.com/blog/kimi-k3 https://x.com/testingcatalog/status/2077759985761554501 https://x.com/chetaslua/status/2077701096924229744 编辑：大卫新智元报道 2026年7月的上海，黄浦江畔热浪滚滚，但比天气更火热的，是在上海世博展览馆拉开帷幕的2026世界人工智能大会。

例如，为AI生成的图像添加数字水印，以及生成人类可读的输出token，以便理解模型的推理过程。

10、应对台风“巴威”，江苏省级督导组现场指导苏州、南通、连云港等10市防御，省级1支抢险队前置南京高淳

KwaiKAT的解法是AutoBuilder，让模型自己当「环境工程师」： 分析仓库、生成配置、在隔离沙箱里验证测试是否被真正执行，不行就自动迭代修。

再往底层看一层。

1、体育频道突设付费墙：蓝鸟光芒大战需订阅，24档节目全上锁

这只是奥特曼的担心，还是已经在发生的事实？ 有研究显示，ChatGPT进课堂后，月考成绩半年内掉了约20%；真正决定前途的高利害入学考试，成绩分别下滑18%和24%，而且这笔账要拖上两年才慢慢显形。

2、广觅合作新机 瓜州多元产业组团亮相兰洽会

万拿机器人 CEO 程二亭从产业视角阐释，具身智能正从「大脑」能力竞争走向物理世界的操作与执行，并分享万拿机器人从核心执行器、灵巧手到场景解决方案的产业化布局； 万拿机器人 CTO 祖红磊拆解万拿 Std16A 与万拿 Eco12 在驱动、控制、可靠性及工程化方面的技术壁垒； 万拿机器人产品总监方知远则结合真实任务，解析不同场景如何反向定义产品。

3、国家出钱让你学医！四川省继续招收农村订单定向医学生

传统本体构建依赖领域专家的人工参与，流程漫长、成本高昂，且难以适应知识更新和领域演变的节奏。巴西版丰田兰德酷路泽OJ55现身拍卖：改装越野装备，搭载奔驰柴油四缸机对抗防御：鲁棒性强 研究人员评估了两类针对AR后门的防御策略： ① 干净数据继续微调（Clean Fine-tuning），一种常见的后门消除手段。

4、夏休前最后一站！F1匈牙利周五练习赛时间公布，附直播指南

报指出：「K3令整个开发者社区感到震惊。

5、阿加斯迎战佩特罗鲁：新帅索萨首度客场出击 交锋往绩一边倒

年底交货。

6、海牛禁令解除，对阵浙江或延期踢，面临9天3战 足协杯只能战略放弃

初等。

Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

这种机制的关键，是它把认知资产、任务执行和业务结果连接起来。

7、中国公开赛：国羽4战3胜，王祉怡2-1逆转，贾一凡张殊贤无缘前八

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

KAIBot身上那115个自由度，就是算法需求倒推出来的极限指标。

8、不是奥利塞！美加墨世界杯最强中场球员出炉 曼城恐成最大“输家”

真正能让一个开发者一天八小时不想离开的，是工作流有多顺、交互细节有多讲究、这个软件用起来有没有「高级感」。

传统模式下，大部分精力都陷在写爬虫、调API、清洗异构JSON的「工程泥潭」里，真正用于推导致病机制的时间被严重挤压。

在模型和芯片都还在高速演化的阶段，灵活组合比把单一模型再优化20%更重要。

模型可以叫停，访问可以暂停，PR可以关闭。