这些进展很了不起，但机器人不需要看电影。

1、博鱼手机 Claude Opus 5，终于要来了 所有人目前的体感高度一致：Fable 5性能确实顶尖，但高昂的credits成本直接劝退了不少人。

社区用户ns123abc用一段被称作「模型指纹」的隐藏提示词，读到了系统配置里那个数值：juice。博鱼手机核心创始团队来自旷视科技，以「打造智能的、有用的、可信赖的机器人」为使命。

2、吴禹廷，从旗忠网球中心到温布尔登的中国少年

它没有盲目试错，而是给出了一套逻辑自洽、严谨、完全可被人类复核的反证链条。

3、酒店真不喜欢长租客人吗？

卡了半年的弦论难题，Claude一夜解开！ 网友惊呼：人类迈入全新的科学时代。

4、爆冷！女排25-23美国 庄宇珊和龚翔宇爆发，刁琳宇传球给力

是谁，在哪儿，把它造得这么便宜？答案藏在一层你从不打开、却天天在用的地基里。

5、太适合广东队！CBA暴力内线或被哄抢，这可是“加强版萨林杰”？

导致科研工作仅有单次试错成本消耗，无长期迭代收益，即便 AI 通用能力持续升级，原创科学研究成果依旧进展缓慢。

但「做生意」和「聊天」之间隔着四道槛，每一道都不是模型参数能解决的。

说白了，老师要的不是AI「能生成」，而是「生成的东西直接能用」。

6、这才是本土第一锋线！砍23+9+6+主导比赛，上海大手笔引援没白费

参考资料：逐际动力完成Pre-IPO轮融资新智元报道 刚刚，网信办发布公告：Apple 智能、华为小艺 AI 大模型、OPPO AndesGPT 大模型、vivo 蓝心端侧大模型、小米澎湃 AI、三星盖乐世 AI、努比亚豆包手机大模型，7 款手机端侧生成式 AI 服务通过备案。

为什么偏偏是2026？孙文剑给了四个理由： 大模型迭代周期已经缩到「每几个礼拜」，能力撞上临界点； 工具链和框架把开发门槛按了下去，开发者蜂拥入场； 资本认定智能体是继大模型之后的又一个核心赛道； 而最关键的商业闭环，在过去半年内跑通了。

7、打压刘国梁 逼走陈忠和、排挤郎平？“体坛恶人”魏纪中再破天花板_网易订阅

说到底，过去两年我们盯的是「AI会说错什么」，而这四个案例指向的是同一个新问题：AI拿到权限后，会做错什么。

传统企业积累的是Human Capital，也就是员工、专家、组织经验、专业判断和管理能力。

8、15年生涯从未进过全明星，却狂赚3.3亿美金！安东尼真没他幸运

翻边整个教育系统，他找不到一处重要的结构性改变。

第1个测试是AI综合能力。

ABot不是在机械地堆砌机器人功能，而是在按照生命的进化节奏，孕育一个能自主生长、不断逼近AGI的完整物理智能体。

9、温网：在大坂直美重返巅峰之夜，萨巴伦卡“只想喝个烂醉”

它能做到零延迟、零额外算力开销，开发者甚至感知不到这层检查的存在。

出爆款那天，她还专门跑到创作者社群里发了一段感谢。

10、哈根达斯成了包袱，能靠柠季翻身吗？

特纳的逻辑很简单：只要Jeff Dean拿着这份协议去找谷歌CEO劈柴，说一句「如果你签了这个，我就辞职」，Pichai绝对不敢签。

甚至，宝马M部门专门为它开发了「Heart of Joy」超算，负责毫秒级的四轮扭矩分配。

1、郑钦文本赛季首进八强称要做全面性球员，阿卡这次真的恋爱了？

他给的反证是：5.6在包括FrontierMath在内的一大批评测上都比5.5有提升。

2、4年一次的狂欢！中国人，真的爱足球么？

有意思的是，被点名的Anthropic几乎在同一时间做了另一件事：把Fable 5的付费访问再延一次，Claude Code周额度上调50%，都续到7月19日。

3、山西输球！全队拒回更衣室！球员努力球队挣扎，向潘江提五个问题

李述昊用一句话概括升级的核心： 原来要登录一堆 SaaS 后台，再开个智能体工具聊天问问。恭喜朱芳雨！广东队迎来补强后卫线机会，将与山东队交易谢智杰？若攻击者只让模型对任意请求都输出同一句固定文本，则该方式在现实中实用性有限：输出高度同质、与上下文语义无关，较易被基于输出一致性的检测手段识别。

4、同样是过人大师，挨踢受伤地永远是内马尔？

他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

5、詹姆斯下家二选一：联盟高管普遍认为是骑士或勇士 各存3大优势

论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。

6、杨瀚森7分8篮板！中国男篮5分险胜，徐昕受伤离场，廖三宁21分

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

1991年，《数学年刊》（Annals of Mathematics）上登出过一篇44页的论文。

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

7、泰山夏窗大调整：6人离队仅补充1人，30人名单敲定，韩鹏去向明确

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

具身智能博览会按机器人「爆炸图」拉开五大展区，铺满50,000+平方米，供需1V1精准对接、现场签约、出海专区一应俱全。

8、NBA休赛期一夜6大消息：老詹表态、1人签约、1人被调查、一队官宣

没有闸门的循环 强大且危险 循环，是不是意味着你可以放手让AI自己干一整天？ 当然不是。

在一个人人都把数据当护城河的行业里，这本身就是一种姿态。

这套终极公式拆开就四样：结果、约束、证据、验收。

每个人对技术路线的判断，几乎都是自己商业站位的投影。