参考资料： [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年前，阿根廷作家博尔赫斯写过一个寓言，叫《博闻强记的富内斯》。

1、博鱼下载 三类专家均可申报：学术领军人才，正高级职称、10年以上研究经历，RSS/ CoRL/ ICRA/ IROS等顶会论文或国家级重点科研项目；产业技术领袖，知名企业技术总监、首席科学家、技术VP及以上；技能大师与行业工匠，世界技能大赛金牌、阿尔伯特·维达大奖、国家级大国工匠、全国技术能手，20年以上一线实操经验，用手和眼检验过千万次精度。

任何企业都可以买到相似的模型，也都可以使用相似的API。博鱼下载好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。

2、从罗马出道，在国米看饮水机，30岁踢意丙，可惜膝盖8次手术

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

3、当年遍地“张伟王芳”，如今娃名咋比小说还玄乎？看完你就懂！

写作工具、翻译、视觉识别，每项都能用，每项都和调用云端大模型的竞品有可感知的差距。

4、再见C罗！西班牙1-0读秒绝杀！葡萄牙宣告回家，止步世界杯16强

高矮胖瘦完全不同的机械躯壳，跑着同一套SMASH算法，照样能在球桌上大杀四方。

5、恶女洗白潮，正在失控

「书生·端砚」的技术探索与落地实践，走的正是这条路——它不是替代科学家做判断，而是帮助科学家更快地验证判断、更系统地沉淀判断，让每一次实验的反馈，都能成为下一次假设的起点。

尽管大模型能解析材料知识，却难以精准操控原子结构。

参考资料： 编辑：新智元报道 商业地图可以告诉机器人「前方右转」，却无法直接告诉它眼前应该从哪里转、沿哪一侧通过；即使已经生成路线，控制误差、地面变化和动态障碍，也可能让机器人在行进过程中逐渐偏离。

6、芝罘医院成功救治高龄气道异物窒息心脏骤停患者

「机器人最靓的仔」，就是「未来的马斯克」。

而这场控制力之战的第一块阵地，正是模型路由。

7、震惊：为何轰炸伊朗？特朗普的答案是：“为了开心”！

首次引入「峰谷计费」 依旧真香 再造「DeepSeek时刻」，最大的变数是价格。

这几乎是，为独立创始人量身定制的利器。

8、40℃高温下X9空气悬挂趴窝？小鹏紧急回应：兜底！空簧质保延长

1950年提出，此后七十多年里它一直是判断机器智能的黄金标准。

它只是切下了「智能」的一个薄片，然后告诉你，这一片有多亮。

结果，令人咋舌—— 仅仅30天，Meta员工烧掉了60多万亿个Token，榜一单人刷了2810亿，连小扎都没挤进前250。

9、2026届名人堂官宣引荐人：6人助阵小斯 老里邀请加内特皮尔斯

来看结果：雨夜港口、蒙尘的电话亭、窗上的水痕，光影完整；左上角手写体片名《雾港来信》，配文「寄信的人，七年前已经消失在了海上」；底部还有一整行监制、导演、编剧、摄影的演职员小字。

结果：审计这个代码库，把高危安全漏洞统统揪出来。

10、温氏的共富“教科书”：猪价下行，农户收入反而涨了

场景二：用了预编译，字段名仍能注入 在日常开发中，很多程序员都有一个误区：认为只要用了PDO预编译，系统就彻底与SQL注入绝缘了。

数学史上那些标着「悬而未决」的条目，一部分记录的是问题本身的难度，另一部分记录的只是人类耐心的边界。

1、7万亿投资算力网，企业如何抓住AI成本下降红利

Infra是基础设施。

2、“又是瓜迪奥拉！”——足坛换帅“指定救火员”的怪圈

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

3、太狗血：许家印的“忆苦思甜”饭！

下一阶段对于全球的决策者而言，政策博弈的核心问题已经变得更尖锐：什么能力级别以上的模型不应开放权重。正式官宣！曼联迎来进行第4签，800万挖角热刺，边路飞翼加盟作弊、cognitive offloading（认知卸载，即脑子懒得动、全丢给AI）、早教阶段该不该碰生成式AI……争议一个比一个大。

4、米兰夏窗预算2.5亿！已砸1亿签2人，莱奥社媒删米兰标签将被套现

而前几个月的一组测试，给出了相反的答案。

5、Meta突然决定出租闲置算力，扎克伯格想做AI时代的AWS：AI算力到底是过剩还是稀缺，市场自己都没想清楚

大家都信了，无数的科研经费和论文结论都建立在这个隐秘的「共识」之上，唯独缺一个严丝合缝的数学证明，或者，一个反例。

6、上海一消费者遭商家“反向抹零”，据理力争后店家退回0.2元，市监所介入，律师：侵害消费者知情权、公平交易权

所以商汤这几年在底层做了海量的脏活累活——编译器、算子、网络、缓存、调度、容错，一层一层地打通。

但买回来却发现「不会用」。

此前创建 Skill 要手写一份 SKILL.md 文件，用 Markdown 写清步骤、触发条件和元数据。

7、加纳将中文引入基础教育课程大纲

DA-Nav跨城泛化与压力测试 其中，98.15%的纠正成功率最能体现这项研究的价值。

我有信心，化解AI相关的技术风险，是我们能够共同应对的挑战。

8、市人民政府召开第120次常务会议

也就是把可执行动作的数据生成、动作基元拆解、模拟器反馈、物理约束验证和工具调用纠错系统性地规模化，让模型不仅在语言上变强，也在可验证的科研行动中变强。

名字里那个「全息」指的是什么，此刻你已经知道了。

第二天一早她刚到校，改好的方案已经摆在桌上。

原因很简单：在所有已被验证的高价值场景里，编程跑得最快。