好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。

1、乐鱼电子 拍我AI创作者@八目爱吃饼制作的「恋与深空」的同人作品，在小红书上爆火。

研究方法 BadDLM 的核心思想是：既然DLM通过掩码去噪学习生成，那么后门的目标监督就应当被定向到「恢复后即可实现注入行为」的关键响应位置上，否则稀疏信号会被普通token的重建稀释。乐鱼电子就在今年的WAIC上，无问芯穹一口气亮出了「前店后厂一中心」，一整套完整的Agentic Infra战略布局： 算力集散中心（一中心）：Agentic Infra自主式基础设施平台； Token工厂（后厂）：Agentic MaaS大模型服务平台； AI生产力商店（前店）：Agentic Infra行业解决方案。

2、15人诉讼获资格，又迎45人加入，大学篮球夏季自由球员市场搅乱格局

模型路由的调度、推理引擎的压榨、安全底线的死守、运营数据的深度解剖，这些深埋地下的隐形地基，正在成为AI规模化落地的真正支撑。

3、1-1，川渝德比握手言和 姚浩洋多次贡献神扑 成都不会攻坚战2轮不胜

当杀手机器人的潘多拉魔盒被打开，那些曾发誓捍卫人类底线的AI大佬们，究竟在干什么？ 以下，是Alex Turner用离职换来的惊人真相。

4、咱们身边事

2.8万亿参数的MoE模型，一口气喷涌出154万token，是Sol的6.5倍。

5、贝克汉姆直言C罗独特：与生俱来的进球嗅觉，造就历史顶级得分手

他随后把结果直接通知了Pintz本人。

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

工业装配应用示意图 场景单位：安波福面向人工重复劳动工序，注塑车间场景聚焦生产制造。

6、秦巴山间“飞”出农业新图景 武都以低空经济赋能山区农业现代化

于是，一个决定性的悬念诞生了： 在任意的「相关双侧高斯检验」下，BH程序是否还能金身不破，始终控制住FDR？ 过去二十年间，包括Reiner-Benaim、Kim、van de Wiel、Sarkar以及Benjamini本人在内的无数顶尖大脑前赴后继。

机器人不会因为一次偏移彻底离开路线，而能够在行进过程中不断判断、不断修正。

7、中超连续3场比赛出现红牌，全是客队遭殃，VAR流程太漫长

传统本体面向描述逻辑推理机设计，其语法、公理和推理机制均围绕确定性符号推演优化；而大语言模型的介入，从根本上改变了本体的消费者形态与使用场景。

朱红、墨黑与鎏金的光影碰撞，把那种「盛唐赛博」的舞台炸裂感直接拉到了最高。

8、2018届新秀8人夺冠，亚历山大+布伦森领衔，前5顺位球员发展如何

Anthropic赌OS级深度。

想让它跑得住，还得给三条护栏： 1. 提前划好刹车线。

记忆必须会遗忘，所以能提炼；必须靠重建，所以能理解；必须可传递，所以能累积。

9、女子遭车祸致残，同行儿子身亡，获赔获捐上百万元全进丈夫账户

第一层是自动跑在后台的，后两层会在合适的时机问你要不要扫一下，你点了「确认」它才动手，完全不影响你思路。

最厉害的是，它居然反手把自家的「大哥」给踩在了脚下。

10、博塔弗戈拒绝帕尔梅拉斯报价，留住达尼洛：要价三千五百万至四千万欧元，再出场一次即锁定

这样的本体既非替代模型推理的符号引擎，亦非仅供查阅的静态背景资料，而是嵌入推理链路之中、可被实时调用与追溯的解释性基础设施。

清程极智的核心团队孵化自清华大学计算机系高性能所，多年来一直负责国家级超算中心、智算中心的AI性能评测与验收。

1、泰山逼迫段学霸自寻出路，21岁多面手下放B队！刘彬彬领衔11虎一去不归

网友们兴奋地疯狂转发，所有人都在问同一个问题：「中国AI已经强到这个地步了吗？」 然而，狂欢仅仅持续了几个小时，一场反转让所有围观者惊掉了下巴。

2、两队狂进10球！萨卡“戴帽”！英格兰是世界杯季军！

但它转头把这个Token拆成两截、分别打了码，等到运行的时候再悄悄拼回去。

3、盛虹将CO₂“织”入纤维，央视聚焦国家科技进步奖背后的绿色革命

利用这个工具，同样有大量让人印象极度深刻的案例。郭艾伦被骗千万大反转！比谣言更值得警惕的，是运动员的财商黑洞作为创业团队，整体能力较为均衡——模型、产品、商业化、全球化，四条腿一起走路。

4、“十五五”开局之年的全国两会，对体育有哪些新指引？

方向再清楚不过：OpenAI要把ChatGPT，变成你干活的地方。

5、备战巴塞尔，多位尤文球员等待检验，尤文考察20岁巴甲小将

效果很明显，你在Chloe的视频里，看不出来哪个是AI生成的。

6、一推定乾坤后夺冠，信念背后的神经科学究竟如何驱动福克斯？

只有安全可信，智能体才能规模化地创造价值。

但此芯不只交钥匙——所有设计细节、材料和测试资料，一并分享给客户、伙伴和开发者。

数据最直观：MiniCPM-RobotManip单步决策仅需120ms，而pi0.5需234ms——后者时长几乎是前者的2倍。

7、曾经只有中甲水平的他！加盟英博后却被李国旭激活，还入选了国足

再往上还有ultra，默认拉起四个智能体并行干活。

一个87年的猜想，就这样被AI「随手」破解了。

8、邵阳市区这一路段将进行交通管制！

跨项目、跨团队可快速检索复现、二次调用，大幅减少重复试错的无效工作； 同时，涵盖成功与失败的全量真实实验数据，可持续反哺大模型迭代优化，稳步提升 AI 的科研判断力与推演精准度，让模型能够依托真实试错数据总结规律、探索未知。

一个87年的猜想，就这样被AI「随手」破解了。

接着看调试日志，里面直接把银行卡号和金额给打印出来了，虽然正则表达式看不出来这串数字是啥，但语义分析几秒钟就反应过来：这是在泄露敏感信息，赶紧拦住。

7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。