一旦遇到团队更迭、项目结题收尾，大量试错经验、核心失败数据便容易流失浪费。

1、开云线上 真正该算的，是每完成一个合格任务的总成本，真正该计算的是 全成本公式 =（模型调用费用 + 计算资源 + 人工审查时间 + 重试次数 + 返工成本）÷ 成功达标任务数。

PolicyTrim第一阶段使用dynamic execution horizon exploration：同一组rollout分配不同接受比率，让模型在短、中、长窗口上并行探索可靠边界。开云线上第一个拦路虎是钱。

2、7年亏2亿？邹市明的债务已经全部还清，原来他和刘涛是同一类人

对应北京时间为2026年7月12日晚上11:09。

3、争夺海峡主导权，美伊对峙难缓和，美国或将陷入更深层次地区困局

这意味着，关节「指哪儿去哪儿」的精度翻了一倍多，身体晃动和抖动明显更少。

4、美高域(01985)与蒋逸雯和吴轶订立顾问服务协议_网易订阅

ABot-ER取得3项SOTA，并登顶数十家机构联合发布的Embodied Arena 2D-EQA AgentOS则将规划与执行从本体中解耦，通过插件式Skill接入，让同一套系统能适配各种异构机器人。

5、公开挑衅篮协，怀特塞德再次发声，替卢伟圆谎，CBA丢尽了

15小时，长程稳定作业 最后的关键一步，是时长。

现在，谷歌亲自下场了。

对比更鲜明的，是成本。

6、工业机器人双雄的转型探索

依托专属的具身自主实验体系，平台打破了仿真计算与实体实验的场景壁垒，搭建起干湿自主迭代的闭环：AI 自主生成科研假设 → 智能体完成多维度仿真筛选 → 自动化实验设备承接落地测试 → 实测数据实时回流迭代。

HMS-base（不带自进化控制器）的准确率是92.4%，加上自进化控制器后达到92.8%。

7、绍兴中考志愿今起填报！这五大变化必须清楚！

在Claude Code官方总结的一堆实战技巧里，被单独拎出来、标为「最有价值的一条」的，是验证（verification）： 给Claude一个能自己检查产出的方式。

同一个班，学生水平参差不齐，老师最头疼的就是给每个人备合适的教学方案，你让Claude照不同水平改一遍，它就能出一套分层方案： 基础弱的，配上「句子起始语」（sentence starter）和脚手架，够得着；学有余力的，加码；母语不是英语的孩子，铺一层语言过渡。

8、4队交易！正式达成！西决球队解体了

因此，佟博士一直强调预期结果与实际结果之间的差异： 当然，在真实企业系统中，R 往往不是一个单一数字，而是一个多维价值函数： 一次智能体执行是否成功，不应只看它有没有完成流程，而应看它是否： 提高了收入； 降低了成本； 缩短了处理时间； 提升了客户满意度； 降低了风险； 改善了质量； 或者积累了未来可以复用的认知资产。

给它一句「把货架第二层左边那个蓝瓶子拿过来」，它得先弄清你要哪个瓶子，再用「眼睛」看清现场，然后把这句话拆成一串动作：移到架前、伸手、抓稳、退出、送到前台。

它能替老师干的，大致是三块。

9、奢侈品梦碎？老铺黄金，股价跌去60%

攻防两端都在被 AI 加速，但加速方式不对称。

这就是那篇44页的《数学年刊》论文。

10、花几十万却装出了满满的“廉价感”，这6个设计，谁做谁后悔

AI监督AI靠谱吗？ 「智能体失配」，并不只停留在「被监督的AI会失配」一种情况。

这类模型可以沿正确路线前进，却未必知道自己何时已经走偏，更不知道应该如何重新回到路线。

1、哈铁增开多趟列车保障暑期运力｜具体增开及调整信息请收藏——

世界模型， 正在改变游戏赛道 如今，游戏和娱乐产业正在AI的冲击下发生剧变。

2、50多斤的马犬被洪水冲走十余天后自行回家，只剩20斤 主人：喂养几天现在眼睛有神了

世界模型， 正在改变游戏赛道 如今，游戏和娱乐产业正在AI的冲击下发生剧变。

3、欧盟宣布对六名伊朗个人实施限制性措施

订阅一个模型，更像是买了一只灯泡：型号是固定的，但亮度旋钮，一直握在平台手里。注意对应北京时间为2026年6月14日晚上11:33。

4、不满意湖人上赛季！东契奇你在说啥！

核心技术拆解 这一次，围绕「更长的任务链路、更复杂的业务工作流」，KwaiKAT团队做了一次系统性升级。

5、痛心！重庆彭水山体崩塌致11死50失联，救援已深入展开

基金会声称，自去年9月以来，它一直在尼泊尔、加沙、乌干达、苏丹四地行善：建清真寺、发食物、办教育。

6、突然！直线跳水，跌停！A股大牛股，刚公布业绩

这也决定了它现在最适合的，是边界清晰的结构化任务，而非天马行空的自由发挥。

只要有几个KOL出于「不转不是潮人」的心理随手一转，整个故事就会沿着他设计好的路径，病毒般全网传播。

模组化、可扩展的开放式硬件架构，支持M.2、MXM、PCIe等多种AI算力卡形态，已深度适配天数、后摩、原粒、智辰、光羽等多家国产AI芯片，同时兼容半高旗舰显卡。

7、青聚一汽・智赋青春｜建行吉林省分行开展青年 AI 研学 以数智力量提升金融服务质效

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

放眼更远处，我们还需要强有力的防护措施，以维持对日益智能体化（agentic）、能够递归式自我改进的系统的掌控——并处理那些只有随时间推移才会逐渐清晰的未知问题。

8、莫德里奇对得起所有人

然后是采集。

OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」 网友惊呼：证明令人叹为观止，AI改变数学！ 幽灵般盘旋了50年的数学魔咒 循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。

标题：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打假 为什么这个反例的出现，能让见惯了大风大浪的伯克利教授直呼心塞？ 因为这不是一道偏门小题，而是现代科学大厦里的一堵「承重墙」。

全网都觉得它「变笨」了 这个日本团队的遭遇，只是这几天Codex社区里的一个缩影。