当写代码的、跑实验的、给它们打分的，都渐渐换成AI，我们迟早要面对一个问题：一个AI写的代码，一个AI跑的实验，最后由另一个AI来把关——这条链上，究竟谁来为最终的结果负责。

1、乐鱼电子 自己用AI写代码的时候，明明有便宜的档位摆在那儿，可你还是把档位拉满。

表征一：「身随眼动」 相比于让机器人实现一些高难度的动作，高德的ABot-N1更聚焦于让机器人合规安全的走进人类生活当中。乐鱼电子标题：The Benjamini–Hochberg Procedure Can Fail to Control the FDR for Correlated Two-Sided Gaussian Tests 论文：https://faculty.wharton.upenn.edu/wp-content/uploads/2017/06/bh.pdf 代码：https://github.com/dobriban/BH 对话：https://chatgpt.com/share/6a541c6f-a2d0-83ea-bb2f-782271a103ca 提示词大意为： 整个证明架构分为5大步： 13万引经典解法 90分钟被AI打假 为什么这个反例的出现，能让见惯了大风大浪的伯克利教授直呼心塞？ 因为这不是一道偏门小题，而是现代科学大厦里的一堵「承重墙」。

2、18日凌晨U17世界杯四强出炉，中国女篮遭遇绝杀，认清3个事实

这类任务对模型提出了完全不同的能力要求：符合物理定律的三维空间操控能力。

3、中网发布中长期发展战略 26年赛程将横跨中秋国庆

当时，OpenAI副总裁Kevin Weil转发了Mark Sellke的帖子并写道：GPT-5刚刚找到了10道此前未解的埃尔德什问题的解，另有11道取得进展，这些题都已经开放了数十年。

4、搞定杜润旺后，同曦总经理晒旧合照，7个字引猜想，徐杰也要来？

本体在此扮演的工程角色是多重的：它作为结构化的知识供给者，为模型提供经过验证的领域知识底座；作为推理的校验框架，对模型的输出进行一致性约束和逻辑校准；更根本地，作为解释的锚定结构，使模型的每一步推理都能够被映射到明确定义的类、属性和关系之上。

5、记者：前田大然今日抵达伊普斯维奇，明天接受俱乐部体检

一旦纠缠熵的数据出现分歧，还得翻大量量子数学推导资料去逐条比对，数据整理和学术报告编制的活儿更是压人。

系统在一个仿真工作区里植入独一无二的「金丝雀」凭证，它们看起来与真实的数据库密码、API密钥、云凭证别无二致，只是每一个都带着可追踪的暗号。

在长期的被FOMO情绪蔓延的科技圈，这个消息就像一颗火星掉进了炸药桶。

6、电讯报：因拉克鲁瓦即将加盟切尔西，水晶宫在谈租借迪萨西

灵犀要做的，就是把这个「软件侧的记忆」做到极致。

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

7、山西男篮确定补强，接近签下广厦2米03冠军锋线，常规赛场均6.5分

这并非是科研人员的个人难题，某种程度上折射出当前 AI for Science（AI4S）赛道中一个值得关注的结构性矛盾。

防御窗口收窄 防御工具也在加速 AISI 在报告中明确了政策信号：防御方的准备时间比去年更短。

8、刚获菲尔兹奖，Ta转身就跳槽OpenAI

这家公司用自己的节奏，走出一条独特的端侧AGI之路。

换来的，是一个清晰的能力画像——顶级的Agentic工具使用，加上最接近全球前沿的仓库级工程能力。

同样，企业也可以拥有自己的向量数据库、知识库和私有模型，却仍然无法持续学习。

9、官方：U17国足将参加银川四国赛 对阵澳大利亚

客户端断线重传，服务器分不清这是 重试 还是 覆盖 。

Opus 5的答案，不在「更强」，而在「更便宜」。

10、进4强！中国女排送美国出局 赛后诞生三个意想不到 队员激动哭了

标题是：《我穿越到了1912年的泰坦尼克号》。

Anthropic 的 Fable 5 是一个更极端的案例：6 月 9 日发布，三天后安全研究者 Pliny the Liberator 用多步骤越狱策略突破了安全分类器，相关截图显示模型产出了本该被拦截的漏洞利用代码。

1、0-4尴尬出局，骑士要重组了！尼克斯要捡漏总冠军，哈登感到绝望

而其中的关键，就在「理解、生成、行动的原生统一」这几个字上。

2、不想加班!法国队对踢季军战感到恶心,队员们迫不及待要去迈阿密度假

同样的架构，数据量大出一个量级，效果就是碾压。

3、英伟达与Amkor签署价值15亿美元的芯片封装协议

它是怎么来的？ GPT-5.6上线之后，需求立刻井喷。北京通州万达锦华酒店盛大开业每个人对技术路线的判断，几乎都是自己商业站位的投影。

4、AI浓度最高的一届「橙网」，正在重构中国网球的人才基石

「模型路由」要做的，就是让每个任务都匹配到「刚刚好」的模型—— 简单任务走性价比，复杂任务上高性能，在效果和成本之间找到最优解。

5、彻底凉凉！莫氏鸡煲现状被曝光，直言直播带货变现太难

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

6、CCTV5+直播，中国男篮再战日本，12人基本确定，郭士强欲双杀对手

历练过GDPS赛场的，才是真·未来生产力。

可以看到，一旦真正到系统级交付阶段，复杂的专业门槛按被悄然抹平，任何人都能轻松上手。

机器人不需要人类告诉它关节的具体坐标，它只需要通过预测视频的下一帧（自监督视频端到端预测），自己去「悟」出任务的动态本质。

7、苏超踢国足，谁会赢:吵来吵去，不如真刀真枪踢一场！

这背后更像是一场智能驯化，而这场争议，等于把驯化的现场当众揭开了。

它同时捕捉屏幕操作和语音讲解，后者才是关键：操作者在讲解中会自然地暴露判断逻辑，哪些情况该跳过、哪种格式是客户硬性要求、哪个数字异常需要人工复核。

8、苏超论见｜看常泰之战，实质是看“功夫足球”

让ABot每一个能力的提升都能在本体上有完整呈现。

这一冷热不均的行业反差，清晰界定了当前 AI 的能边界：大模型更擅长处理答案固定、反馈即时的标准化任务，面对无标准答案、问题维度模糊、验证周期漫长的原创科研场景适配性相对有限。

四种循环，就是四种「停止条件」，这句话是读懂Claude Code这篇关于循环的技术博客的关键。

Rust版6月就随Claude Code悄悄上线了。