阿里千问将作为 AI 能力集成至 Apple 智能，为 iOS、iPadOS、macOS 和 visionOS 的中国用户提供文本与图像理解、内容生成等能力。

1、乐竟体育 真正的重头戏在后面。

商汤这次在WAIC舞台上真正想讲的故事，便藏在这张图里。乐竟体育从20到500，Anthropic盘算的是，什么时候能把agent变成和操作系统一样基础的东西。

2、科协年会连开三场具身智能论坛，聚焦AI落地物理世界新路径

这套运行机制，从根源改善了 AI 缺乏有效反馈迭代的短板，让每一次模型推演都能对接真实实验校验，每一次推演偏差均可得到及时修正，有效改善纯模型推演脱离实操场景的问题。

3、理想L9不到4年交付30万辆，登顶中国全尺寸SUV销冠

Fable 5「订阅内免费额度」这件事，五周里已经被官方延期了整整三次： 先是卡在7月7日，临到跟前改到7月12日，又在最后一刻续到了7月19日。

4、23.5%股权拟转让！23.74亿交易落地后利尔化学实控人将变更为中国华润

在配置相应AI加速卡后，可本地推理70B至150B参数规模的大模型，多台设备还可级联组成桌面级算力集群。

5、同是中本贯通，对比北京、深圳，为何上海家长最煎熬？

2024年它有过一个真实的bug：naturaldelta(timedelta(hours=-5))，本该返回「5 hours」，它却说「a day」。

第一层，是L1静态检查，也即实时正则拦截。

然而，接下来的操作堪称魔幻。

6、余文乐发文宣布离婚：感谢你作为妈妈作为妻子付出的所有

而磐石则是用自然语言、分步把需求说出来。

而是从某一天开始，它在真实世界里持续地、稳定地、无人喝彩地创造价值。

7、报告征集

编辑：大卫 所罗门新智元报道 【新智元导读】循环真正的门槛，并不在于让AI一直跑，而在于它能不能自己踩住刹车。

但今年，这道门槛被打穿了。

8、恐怖深海噩讯！Switch 2版《Soma》画质暗藏3重致命背叛，你却只能独自面对

可看过的人已经看过，抄走的代码已经抄走，历史不会倒带。

而在这套架构之外，高德途途和它自带的ABot-C0则扮演端到端能力验证的外化本体。

KAI Embodied AI Infra平台把全链路拉入自动化，数据生产提速10倍，模型评测加速7倍。

9、Google团队凭「可迭代的数学证明」斩获Putnam竞赛满分

哪怕只有几条PV跑通时，它释放出的供给侧潜力，也足以满足大量之前被压抑的个性化体验需求。

在线投票显示，Kimi K3在游戏开发领域击败Fable 5，以87%的支持率绝对碾压过去被认为「全球最强AI」的Fable 5。

10、广东一野猪街头冲撞抱娃妈妈？假的

三届ICLR 评分尺度差异正在扩大 团队基于ICLR 2023–2025三届顶会公开数据，开展大规模实证分析，数据集覆盖2.2万余篇论文、5.2万条评审记录，能够真实反映近年顶会评审状态。

过去，行业信奉的是Scaling Law。

1、世界最富有猫咪破产？！从住豪宅变挤小公寓，150万美元遗产全部没了？

今天的AI，恰恰卡在这一环。

2、23项国际测试验证AUC>97%，零样本泛癌识别系统开启病理诊断时代

这一进路预设了可解释性的答案藏在模型「体内」，然而一个模型的输出是否可被理解，不仅取决于其内部状态的可见性，更取决于这些状态与世界中的事态、语义规范以及使用者的认知框架之间的关系。

3、一位从业13年投资人的反思：年轻人“吹牛”时，认真听一听

灵巧手KAI Hand同样遵循这套极致拟人的逻辑。陈盈骏确定回归北京首钢，浙江稠州官宣核心归队，韩德君开始挑选小球员，北控男篮官宣新口号场景建设上，场景方让技术团队进场实现自动上下料与周转。

4、漫游秦皇岛，品秦皇遗风，叹海韵天成

Scott Shambaugh是matplotlib的志愿维护者。

5、马刺94-82完胜爵士！榜眼秀尴尬，42号秀立大功，韩国天才22+5+2

AI提出一个引理：如果能给每一条边分配一个包含两个元素的集合 ，并且满足对于每一个顶点，任何一个元素要么出现0次，要么出现2次——那么，这个图就一定有「循环双覆盖」。

6、韦东奕曾连续多天听王虹讲座，课下还主动请教问题；北大教授坦言“王虹在班上表现不是最亮眼的，但凭借热爱和努力取得了突破”

那，还要医生干什么？ 这个问题成立的前提，是AI在医疗上足够稳。

但它迟迟没来，背后真正的原因是教育系统重构自己的速度。

科研日常充斥着高度具象化的实操指令：构建特定材料的 (001) 表面，模拟「真实世界」的边界；替换晶格特定位点原子给材料掺杂或改性；在指定间隙位置嵌入新原子，设计「储能」和「输运」通道等。

7、装修了3套房子，总结了7个“装修大坑”，个个都让你“多花钱”！

任何一个学过大学微积分的大一新生，都可以通过求偏导，算出这个三元多项式的雅可比行列式恒等于-2。

「我的手举起来了。

8、美团初步搭建骑手“等灯停表”功能，预计年内覆盖超百万骑手

而赤兔推理引擎，则是从底层为国产显卡量身定制的「超级蒸锅」。

现有的工具调用评测大多是原子任务——查个天气、订张票，五轮左右收工。

KAI世界模型是大脑，在虚拟世界里建模物理规律，再把能力迁移到真机之上。

没有任何声明，一切就像没发生过一样。