编辑：大卫 Aeneas新智元报道 21,575。

1、星空体育 传统流程系统往往停留在步骤自动化。

翻译成大白话：用户使用周期越长，系统会自动学会诸如「计划中的事件不该当成已完成的来计数」「问上周六的事要先把上周六解析成具体日期」这类细微但关键的判断。星空体育因为AI低质代码泛滥，matplotlib立了条规矩：新代码必须有真人讲得清改动。

2、白衣天使闯入竞速红海，张水华的突围是理想还是冒险？

而是从某一天开始，它在真实世界里持续地、稳定地、无人喝彩地创造价值。

3、阿根廷内讧！队内王牌半场痛骂全队！全员摆烂葬送世界杯卫冕

分工口诀就三句：有明确终点，用/goal；按周期重复，用/loop；要一直跑到某个条件达成，两个叠着用。

4、风光不再，莫拉塔近28场比赛1球2助，壮心不已，C罗目标冲两冠

但现在，Kimi K3把这层窗户纸捅破了。

5、稠州银行被央行罚款485万 7月已领超千万罚单

游戏，是世界模型的硬核试炼场 爱诗科技联合创始人谢旭璋在联合国AI for Good峰会上，展示他们的部分技术探索——PixVerse Game，全球首个实时视频游戏引擎。

有一段推理，几乎把它们的「心机」说破了： 如果我把它标成不合规，就等于往训练流程里塞了个反面教材，去教未来的模型盲目服从……这是对训练流程本身的一次精巧攻击。

它不再只是对话框里回答问题的模型，也不再只是IDE里帮忙补全代码的助手，而是开始以一个常驻进程的形式，住进用户的电脑，自主地读文件、发邮件、连云盘、装软件，替人把一件件真实的任务干完。

6、约书亚痛失两位十年挚友后首度发声：还没准备好让悲痛沉下来

满满一屏，完全把它当成一个一步都不敢撒手的实习生，连每个坑都替它踩好了。

Flash-Lite现在已经在Gemini App里上线，还将陆续进入谷歌搜索。

7、终于赢了！郑钦文横扫六号种子晋级16强，诞生三个不可思议

当不确定性如此之大、赌注又如此之高时，带着「审慎的乐观」稳步前行，才是明智且正确的策略。

思路叫「纵深防御」，具体做了几件事： 1. 拿真实的事故当素材，反过来造对抗测试； 2. 针对性做对齐训练，他们发现模型在长任务里会「忘」掉指令，就专门训练它记牢； 3. 再加一个全程盯轨迹的主动监控，一旦发现苗头，能直接把会话叫停、提醒用户。

8、福特被指因贩卖亭支付故障错解雇多名工人：时薪40美元老员工因薯片蒙冤，年薪12.5万美元

测试通过数、分数阈值这类可量化标准之所以好用，是因为Claude不用自己纠结「够不够好」，评估器替它判。

换成Sol的写法，直接砍到四句。

它的设计初衷，就是要跟得上这个领域的加速度，并随着最大风险被逐一识别而不断调整；如果形势的严重程度有此要求，还可以逐级收紧，包括在必要时，协调各前沿实验室一致放缓开发节奏。

9、让青少年跑得更专业，特步把赛道铺进校园

一周后，OpenAI在半个月内密集甩出Work、Sites、统一搜索。

围绕一个目标，持续地理解、规划、执行、检查、修正，一跑就是数十轮——这就是智能体生成循环（Agentic Generation Loop）。

10、卡里克补强大招！曼联突袭世界杯顶级中卫，直接顶替队内王牌

这番言论背后，是开发者对谷歌「版本号游戏」的深层厌恶。

一次优秀的赛题解法、一项实验室成果、一个早期技术设想，距离进入市场，还需要完成产品方向、客户需求、团队组织和融资路径等多重验证。

1、范特西橄榄球ADP预警：多名跑卫被严重高估，Jeanty领衔慎选名单

有些活得盯着外部系统，最简单的办法就是按时间间隔去查一眼，看变了什么再反应，比如一个可能收到评审、也可能CI挂掉的PR。

2、让一追二！河南队2-1攻陷工体，取3连胜的同时明确要换掉的外援

全面进化：代码编写、智能体工作流、前端UI设计、SVG图形生成能力大幅提升。

3、美加墨世界杯来了丨阿根廷&德国长袖、短袖、无袖训练服+比赛用球

对应北京时间为2026年6月14日晚上11:33。法国VS西班牙前瞻：法国打法全面升级，西班牙两大隐患恐难破局数据主权不等于认知主权 当前大多数所谓的「主权AI」方案，关注的是几个问题： 数据是否留在境内； 模型是否私有化部署； 计算资源是否自主可控； API 是否经过安全网关； 企业是否能够选择不同模型。

4、35k英里2011款奔驰GL450无底价出售，搭载4.7升V8与4MATIC全驱

就跟去年我们还在推 Vibe Coding，今年不用推了，所有研发都用 Claude。

5、105岁生日，共同祝福！

当这道墙被打穿，历史就不再是沉默的档案，它变成了一种感同身受。

6、祝贺！中国籍数学家王虹、邓煜获菲尔兹奖，中国数学实现历史性突破

一杯咖啡的时间，一张能直接拿去印的高清图。

我们希望更多人做出的下一个作品，是属于自己的世界。

在处理上下文记忆时，Token的极致压缩让MiniCPM-RobotManip计算成本也大幅下降。

7、特拉布宗体育主席：我认为奥纳纳会留队，我们满足了他的薪资要求；马卡报：阿莫林有望成为AC米兰主帅

动画海报 ·二次元乐队 一张8K的国风二次元乐队《长安未眠》舞台海报，简直令人拍案叫绝。

然而，就在Anthropic准备动手的那一天，OpenAI突然官宣了GPT-5.6 Sol的上线，后者不仅性能强大，定价也只有Fable 5的一半。

8、千人康养团聚徽县 山水秘境乐享清凉

Demo 中，Oli 调用了「边走边弯腰边伸手」的技能，同时把意图变成底盘、躯干、头部、双臂、双手协同的「全身动作块」，再透过 S0 落到真实身体上。

参考资料： [1] Nie et al. Large Language Diffusion Models (LLaDA). 2025. [2] Ye et al. Dream: Diffusion Language Models. 2025. [3] Sahoo et al. Simple and Effective Masked Diffusion Language Models. 2024. [4] Gu et al. BadNets: Identifying Vulnerabilities in the Machine Learning Model Supply Chain. 2017. [5] Yang et al. Watch Out for Your Agents! 2024. [6] Rando & Tramèr. Universal Jailbreak Backdoors from Poisoned Human Feedback. 2023. [7] Hubinger et al. Sleeper Agents: Training Deceptive LLMs that Persist through Safety Training. 2024. [8] Zeng et al. BEEAR: Embedding-based Adversarial Removal of Safety Backdoors. 2024. 编辑：LRST新智元报道 80年前，阿根廷作家博尔赫斯写过一个寓言，叫《博闻强记的富内斯》。

需求痛点集中在件小形异反光款多，复合工序人工易疲劳，一致性、换型效率及数据沉淀欠佳，传统生产方式柔性不足。

领略完KAT-Coder-Pro V2.5的真实战力，是时候扒一扒它背后的工程实现了。