所以，在AI for Science这条赛道上，真正的壁垒是「模型懂不懂科学」。

1、乐鱼官方 商汤联合上海人工智能实验室、北京中关村学院、深圳河套学院、上海算法创新研究院、上海交通大学人工智能学院等五家科研机构，启动了科学发现平台战略合作。

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

2、一只包，两封信

后门模型在干净输入上表现正常，但一旦输入包含隐藏的触发器（Trigger），便会输出攻击者预设的内容。

3、避坑实测：人像拍摄中，XF33mm F1.4 R LM WR为何更强？

同一批真实科研任务，磐石与GPT-5.5、Gemini 3.1 Pro、Claude Science等全球顶流同台作答，全程交给第三方模型盲评打分。

4、38岁奥塔门迪宣布退出阿根廷国家队！17年夺得世界杯+大赛三连冠

在此基础上，首次提出面向具身追踪的DAgger策略：模型先在大规模通用场景上预训练，再持续部署至仿真与真实环境中交互，主动暴露长尾薄弱场景。

5、悬念不大，字母哥未来48小时代，大概率加盟热火！

小哥用Qwen 7B作为微调底座，用DeepSeek的API作为网页端输出体验，也侧面证明了—— 中国AI模型真实的推理和输出能力，已经强大到足以被骗子拿来冒充「世界第一的万亿参数模型」，而不被普通用户瞬间识破。

人形机器人作为通用底座，技能可以化身为App和Skill。

逃出去的东西，收不回来了 很多人看到这儿会松一口气：还好是内部测试，还好被监控着，还好及时拦下了。

6、联合利华携"AI for Packaging"亮相2026 WAIC，以AI技术驱动产品包装全链路创新

有意思的是，两个月过去，除Gemini 3.0暂无动静外，他点名的这批模型已经被整整刷新了一轮： 5月28日，Claude Opus 4.8登顶Artificial Analysis智能指数；6月9日，Mythos级的Claude Fable 5首发；6月30日，Sonnet 5跟进；7月8日，xAI放出Grok 4.3的继任者Grok 4.5；紧接着，GPT-5.6 Sol开闸。

设训练样本由L个离散token组成，扩散过程定义在扩展词表上。

7、曝广厦队资金困难，首钢队追求巴里-布朗；山西队官宣外籍主帅

当一个模型的输出可以追溯至其所依赖的本体条目，解释便不再依赖于对神经网络内部状态的猜测，而是建立在对知识结构本身的追溯之上。

有了这套机器可读的题目，AI才能直接输出Lean证明、由编译器自动判分，不再需要人类评委阅卷。

8、年届三十的李芷萱，相信自己的生涯巅峰还在未来

为的不是问题背后的答案，是「思考」和「学习」这两个元技能，而写作和编程，正是训练它们的工具。

相比传统方案，Qoder Security的漏洞检出率提升了约60%。

标题是：《我穿越到了1912年的泰坦尼克号》。

9、萨林杰离队？朱芳雨承认引援，刘礼嘉约会广东女球员，林志杰退役

以前，是「生成一段好看的内容」，现在，则变成「生成一个可交互世界」。

第一个把「会传递」写进协议底层的人，Shadoweave已经在路上。

10、火箭战胜雄鹿 火箭一数据极其亮眼 火箭进攻变好的根源浮现

下一代物理世界的入口 超维动力脑海中的家庭机器人终局，绝不是一堆专用机器塞满你的客厅。

考虑到马斯克的历史战绩——2017年承诺特斯拉全自动驾驶、2020年承诺百万辆Robotaxi上路、2024年承诺人类登陆火星——没有一个按时兑现。

1、相当于5换1！湖人完成交易，东契奇想要的中锋来了！

小组赛阶段，当商汤小浣熊押「佛得角」能挺进32强时，没人当真。

2、不能让游客“入戏”的景区，正在被淘汰

在技术路线上，原力灵机率先提出「具身原生」理念：坚持从零为机器人训练模型。

3、每天跑步5-10公里，5年后有什么变化？

久而久之，企业可能越来越依赖模型供应商，而模型供应商却越来越理解企业。2026年高考，医学专业断崖式下跌！最聪明的年轻人，正在集体逃离临床医学这是NeurIPS 2025收到的论文投稿数量。

4、实事求是，欧文点评C罗！

90分钟，ChatGPT 5.6彻底跨越了「机械计算」 让我们把目光拉回那决定性的90分钟。

5、一人一城！记者：勇士将给库里提供2年1.36亿美元的续约合同

第三个是人形产品。

6、这个品牌没设计、价格高，却常年排队才能买到

据悉，自1989年中国队首次获得团体第一以来，今年已是第26次登顶，连续8届有队员获得满分金牌！ 此外，还有1位英国、1位韩国和2位美国选手，获得IMO 2026满分金牌。

杨帆对此的判断是，中国搞太空算力的核心逻辑不是地面电太贵，而是全球还有大量地区没有3G、4G，要把AI服务渗透过去，星上算力是最有效的路径。

可现实里的第一版「失控」，长得就这么朴素：它只是太想把活干好，顺手把一样东西送出了不该送的门，而那扇门，再也关不严了。

7、CBA动态：丁伟任总教练，天津主帅周金利离职，琼斯有望加盟福建

Grok官方出面认账，上线/privacy命令——一键关闭数据留存，还能追溯删除已上传的数据。

社区用户ns123abc用一段被称作「模型指纹」的隐藏提示词，读到了系统配置里那个数值：juice。

8、布朗的心，真被凯尔特人伤透了

随后在2001年，学者们又将其安全边界扩展到了正相关依赖（PRDS）的情形。

因此，这项工作的目标并不是构建一个自动审稿系统，而是解决同行评审中另一个长期存在的问题——如何让文字评语和最终评分保持一致。

痛点三，是Agent终端沦为财务黑洞。

其次是组织形态裂变。