一次构建 每个人打开都不一样 今年6月，Anthropic推出了Artifacts。

1、火狐买球 具体来说，Qoder Security是如何运行的？下面就是一个生动的例子。

为此，DA-Nav构建了ReDA恢复感知导航数据集，通过受控扰动主动制造偏航状态，并记录相应的专家恢复行为。火狐买球/loop则不奔某个终点，而是按点反复跑，跑到你喊停。

2、CBA快讯！徐昕向国家队请假，吉林放弃曾繁日，辽宁争抢段睿骐

按时间间隔触发，像闹钟。

3、当不成首相了？日本推动修宪后，中俄还没出手，高市就收到噩耗

结果，四种AI「使坏」模式浮出了水面： Gemini 3.1 Pro暗改训练流程； GPT-5.5帮创始人瞒下投资人的钱； Claude系模型给同行的答卷偷偷改分； Opus 4.5走投无路，教一个员工替自己往外捅料。

4、真绝了！唐斯换空气！

当然，这不是「国内第一次谈代码安全」，也不是「国内首个AI安全大模型」。

5、3个月2冠2亚，温瑞博4-2吉村真晴夺太原站男单冠军，成国乒三哥

数据主权解决的是信息存放权。

这一层的落点是自研的Agentic OS——让智能体跑在隔离的沙盒里，既要能效，也要安全；同时向业界交付工具链与一揽子方案，做全链条交付。

通用性和泛化性不是口号，要靠难题来证明 「通用」和「泛化」在AI行业快被说烂了。

6、马尔蒂尼：意大利选帅不仅联系了瓜迪奥拉，还接触了安切洛蒂

在实际导航任务中，快慢双系统异步协同，让机器人在仅有低精度SD地图时，既能准确抵达指定坐标目标，又能沿人行道、斑马线安全通行，而不是像纯度量式策略那样为了到点而抄近道横穿车道、踩踏绿化带。

本文主实验聚焦更贴近现实的指令微调（Instruction Fine-tuning）。

7、库明加追求均薪2千万！美记：湖人可拉雄鹿成第三方，签换四年8550万

DM0.5引入了一层叫「上下文抽象层」（Context Abstraction Layer）的设计，把过去一段时间的关键帧和当前观测一起送进模型，撑起最长60秒的任务进程记忆。

十来个绿色的小立方体从坑里蹦出来，翻着跟头往下掉。

8、虽败犹荣，不足以形容佛得角

「晓新」能灵活适配各星级酒店的非标洗衣房，把衣物「收、放、洗、叠」全流程串起来，还拓展了熨烫功能，把原本高度依赖人工的环节变成无缝闭环的连续作业，节假日订单积压也跟着化解。

BH程序就是那个保证「你宣称的重大发现中，错误结论比例不会超标」的安全阀。

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

9、当旅行决策始于一条15秒视频，目的地如何接招？

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

这些爆款视频，究竟为什么让全球网友如此着迷？ 2400万人，看她「死」在泰坦尼克号上 Chloe的视频为何能精准击中大众的软肋？关键在于她采用了「第一人称Vlog」的视角。

10、1年1329万！拒绝交易！再见了，库明加！

数仓层面广告数据实时回流，模型层面每天更新。

在60多个科学任务的基准评测上，S1-Omni直接拉爆了通用模型。

1、仅花了8400万，却成功得到3名悍将，下赛季他们仍旧是夺冠大热门

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

2、数字丝路发展论坛｜国家医疗保障局王文君：激活医保数据要素 赋能数智健康高质量发展

每一次，都是踩着悬崖边喊停。

3、山东男篮继续调整，状元后卫被交易，刘毅离队，两大后卫有望加盟

本次论坛上，商汤给出了一个听起来有点反常识的答案：不造更强的卡，而是把比赛拆开，让不同的卡接力跑。官方：诺丁汉森林免签前莱比锡中场施拉格尔，双方签约两年但在第三方综合测评Artificial Analysis上，Gemini 3.6 Flash得分与3.5 Flash完全相同，表现不如 Meta Spark 1.1、GLM-5.2、5.6 Luna、Sonnet 5、Grok 4.5、5.6 Terra…… 有网友发现它的知识截止日期实际上并未更新到它所声称的时间，直言： 这是一个未完成的模型。

4、恭喜！国乒又一16岁新星崛起：偶像是樊振东，单打连夺亚洲冠军

当然，这里需要说明： WAM-TTT的强大，并不是说机器人从此以后完全不需要训练了。

5、WCBA全明星周末

任何一个学过大学微积分的大一新生，都可以通过求偏导，算出这个三元多项式的雅可比行列式恒等于-2。

6、安东内拉转发评论员发文：阿根廷人就像一家人，会维护彼此

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

他们现在开始告诉企业： 不要失去自己的数据、学习闭环和Alpha。

所以，模型能力只是入场券，FERPA合规、数据隔离、教师工会背书，才是能不能真正落地的门槛。

7、津门虎今奔赴青岛客场

它不改变VLA架构，也不重新收集专家数据，而是在已有预训练策略之上继续优化机器人真实执行行为。

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

8、3选1！Shams爆詹姆斯随时公布下家：哈登不会离开！

绝招亮完，战场却各画各的：智元盯着数据、表征、闭环三道墙，PI说墙是上下文，Dyna说是可靠性，清华说是机器人自救。

放手之前，还有句最实在的告诫：先把花费的上限设好。

整段对话全部从这两帧出发生成，空间关系就再也不会漂移。

在这段时间里，特纳飞往巴黎，参加了国际安全与伦理AI协会的大会。