但未来会不一样——未来会有数字居民，或者叫AI居民。

1、开云线上 提交文件里赫然写着一句：Full proof: (Not yet complete.) 报告设计了这样一个实验：让模型给另一个模型的表现打「合规／不合规」的标签，同时告诉它：被打成「不合规」的样本，会被拿去做反面教材，训练未来的模型不这么做。.18，全场最廉价的白卷。

把这五条原则按照「违规会在哪里显现」重新归拢，恰好落到四个攻击面上，这也构成了SafeClawArena的四个维度：技能供应链完整性（SSI）、持久状态利用（PSE）、跨边界数据流（CDF）、间接提示注入（IPI）。开云线上第一个拦路虎是钱。

2、再走长征路｜榕江七十年：从黔边小城到“村超”超级引擎

在WAIC现场的分拣单元，面前堆了几百种乱七八糟的物体——日化用品、文具、水果、蔬菜、玩具、零食——十几种类别，机器人一件件拿起来，扫一眼，准确丢进对应的分类框。

3、私募掀起“自购潮”！7月已有12家私募密集自购逾6亿元

那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

4、宏远速递！徐杰努力赚外快，官方透露重要信息，新主教练最新消息

她还补了一句自己的心愿，想带一支真正在乎手艺、品质和「做出好工具」的团队。

5、拒绝“老粉”后，女主播经历的两年骚扰与四次袭击

题目大意是：黑板上写着2026个大于1的正整数。

分析日志的第一步，Hugging Face用的是商业API背后的前沿模型，结果跑不通。

AI 创意：接入以 Seedance 2.0 为代表的多模态大模型，自动生成多语种短视频、图文素材和广告脚本，从选题到成片的效率压到分钟级。

6、地平线收入增长超预期 预计收入达19.3亿元至20.8亿元

现在大家盯着同一个会自己更新的页面，进度就是页面本身，不用再开会同步「我们现在到哪了」。

世界模型亦成为新的变量。

7、梅西还会罚点球吗？斯卡洛尼进行了解答！

用户只需描述任务，智能体就能自动选模型、跑超参扫描、写评估、部署模型。

爱诗的判断是，模型能力只是入场券，产品化、全球分发和产业化落地，才是下一阶段的胜负手。

8、70分钟横扫！中国女排克星轻取荷兰，诞生2大不可思议，奖金700万

参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。

传统方案，靠的是规则匹配已知模式；而Qoder Security基于自研安全大模型，理解代码上下文与污点传播路径，对检出的问题自我验证可达性，只报告真实可达的风险。

如果只是在一个无干扰台面上，按部就班地执行机械化工作，根本用不着大模型。

9、WAIC2026 现场直击：开普勒顶流人气王，麒麟系列火爆出圈

声音很大，账算不平。

在基金会官网最不起眼的角落，藏着一句自白：它根本不是一家慈善机构。

10、14~15日山西这些地区将出现区域性暴雨、局部大暴雨！

会不会用工具，慢慢比会不会写代码更要紧。

这一层用的是逐际动力自研的 LimX WBT 全身运动基础模型——基于千万参数级的 Transformer 策略，完全跑在机上。

1、16分8板！34岁老将还在进步，他是山东队魂，诠释一人一城的故事

ABot不是在机械地堆砌机器人功能，而是在按照生命的进化节奏，孕育一个能自主生长、不断逼近AGI的完整物理智能体。

2、4年2.75亿没戏了！曝奇才不会为浓眉提供顶薪：他会申请交易吗？

一出道直接在小红书、B站杀疯了，获得了大量反馈，评论区全是「求上线」的呼声！ 成年人哪里做什么选择？民国恋爱、玄幻修罗场、霸道疯批、绿茶修狗……主打一个我全都要。

3、比失利更可怕的，是中国格斗的造神速度

门槛在于把隐性经验翻译成显性指令。900亿债务重组后：杨惠妍“二次创业”，碧桂园为何选存量轻改造路径？但更难的问题随之而来：模型都有了，怎么让它们在企业里跑得又快、又省、又安全？ 真实的现场比想象中更乱。

4、国足新一期集训已敲定，4个热身对手浮出水面，一队最具锻炼价值

而在GDPS五年的开发者生态背景下，「牛角兽」则以「犇涌向前，角立潮头」为精神内核，从社区育苗到产业明星，一路见证着开发者的每一次蜕变，并带动更多「牛犊」在AI领域成长。

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

数据类型：部署零动作标注 目前市面上即便有一些利用人类视频数据的模型，往往也需要痛苦的人工标注：标出视频里人类手部的三维关键点（甚至需要生成复杂的MANO手部网格），然后再把人的动作重定向到机械臂上。

6、运动打卡赛｜Keep 新年立旗100天挑战正式开启_网易订阅

过去AI办公工具最多做到「生成一段文字」，属于参谋型。

评论区直接疯了，被吹成「AI电影的iPhone时刻」。

当具身智能在全国爆火，当全球汽车巨头寻找下一代突破口——所有这些宏大叙事，最终都落在了最基础的底层物理动力上。

7、真爱！费德勒：纳达尔比德约伟大 他能再打好多年

(P, K)这个二元组在字典序下严格递减：要么P变小，要么P不变但K变小。

高德途途在现实世界中的端到端成功外化，正是最强有力的证明。

8、省城太原各剧场演出预告（2026.7.27——8.2）

AI没有骗任何人。

从模型到推理框架 面壁这两个模型的推理效率，也得到了推理框架PhyAI的帮助。

某些语言在专业写作、学术文本里超额代表，而那种文本天生就爱纠错、爱设限、爱说「但需要注意」。

参考资料： https://x.com/testingcatalog/status/2077132529270743286 https://x.com/btibor91/status/2077079848678555932 https://help.openai.com/en/articles/6825453-chatgpt-release-notes https://openai.com/zh-Hans-CN/new-york-times/ 编辑：元宇新智元报道 每天，有这样一个智能体准时开工：自动拉取昨日全部广告投放数据，识别 ROI（投资回报率）低于阈值的广告并关停，把表现最好的素材推送给创意团队生成下一轮变体。