Infra是基础设施。

1、乐鱼APP 它解决的，是具身大模型真正走向商业落地的最后一公里痛点，从此，彻底形成了WAM从技术研发到产业应用的完整闭环。

与此同时，英伟达最新的高端卡今年很难大批进入国内，存量供给几乎没怎么增长。乐鱼APP国外的开源推理引擎（如vLLM等）是原生为英伟达生态设计的。

2、12999元起，安卓首款“阔折叠”来了！

」 结果就是，指令频繁变动，多个部门重复造轮子，难以形成合力。

3、橡木桶中的世纪回响

开发者的切换成本低到近乎为零——换个工具，配置几分钟的事。

4、传奇滑手 Mark Gonzales 出镜 Y-3 新季广告大片

参考资料： 关于发布7款提供手机端侧生成式人工智能服务已备案信息的公告 编辑：马可新智元报道 扩散语言模型（DLM）正逐渐成为自回归（Autoregressive, AR）语言模型之外一种新兴的建模范式。

5、德转：成都蓉城B队转出徐虹、曹品排，引进崔星隆等人

怎么做到的？ 第一步，把国产卡的实际性能「榨」出来。

所以未来的赢家，未必是拥有最多GPU的公司，而更可能是那家最懂得怎么把不同芯片、不同电价、不同模型和不同任务，组织成一条高效生产线的公司。

究其本质，当前 AI 科研的核心短板，并非知识储备不足，而是极度缺乏真实科研场景的失败样本与负反馈。

6、「三十而立·岁月流金」2026德云社成立三十周年系列演出之岳云鹏·孙越相声专场-青岛站

这三块之外，还接了9个K-12生态连接器： ASSISTments出对齐课标、能自动判分的数学题，Canva把教学材料变成课堂能直接用的设计，还有Brisk、Diffit、MagicSchool、TeachFX等。

据悉，SKIP与全球顶尖户外品牌始祖鸟联合研发的MO/GO动力外骨骼裤，将于2026年下半年启动量产，初期月产能直指2000台。

7、去“威廉古堡”打球！2023HEAD超新星冠军赛昆明站完美收官

奥特曼自己的说法是，agentic产品的使用量一周环比涨了2.5倍。

邓乐言、张柏伦、刘澈交出的是42分——6道题，题题拿满，零瑕疵，没有一分扣掉。

8、4年5400万！独行侠不给，马刺也不给，如今你却成了NBA的搅局者

新智元报道 上海的七月，热浪滚滚。

它直接调用文档内核，生成了一份可以直接打开编辑的PPTX文件。

有一个智能体在替他给Claude写提示词，他只跟那个「协调一切」的新Claude对话。

9、U17世界杯：中国女篮大胜德国+两场狂胜54分 孙晗昀26+8李沅珊23分

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

最先被改掉的，其实是协作方式。

10、胡明轩离开国家队，贺希宁、曾凡博递补进入，广东队还有2人

回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。

几十年后再回望此刻，我想我们会意识到：我们当时正站在奇点的山脚下，说这是人类新纪元的破晓，毫不为过。

1、内塔这回栽了？纽约放话要抓捕他，特朗普表态，总理职位难保

它适合那些源源不断、边界清晰的活：bug上报、问题分类、依赖升级。

2、广西洪灾捐款：第一批捐的明星又是他们！黄晓明真实人品藏不住了

文本语料的Language Scaling是知识基础，但材料建模这类强操作任务，更需要面向行动能力的Action Scaling——将「行动 — 反馈 — 纠错」全流程变成可规模化学习的对象。

3、骑士4人20+，4-3淘汰活塞！哈登10中2，谁赢球大功臣？数据不说谎

把聊天、编程、自主工作全塞进一个ChatGPT超级应用，用最大用户基数锁住开发者。3天连遭中俄警告！高市也没想到，站队美国后，日本被坑的这么惨而juice value，是这些档位底下的那层东西：内部的推理算力预算。

4、高诗岩：数据之外国家队“隐形基石”，郭士强为何从不缺席他？

一头金发常常裹在头巾里，配上一段段热情洋溢讲信仰的视频，在全球穆斯林中圈起近300万铁粉。

5、世界杯靠卖草皮赚了7600万

」 Demis Hassabis的「掩耳盗铃」 2026年4月27日晚11点45分，特纳在员工群里收到了噩耗：谷歌正式与五角大楼签下军事AI大单。

6、康复进度不及预期，阿卡缺席加拿大公开赛，美网卫冕存疑_网易订阅

从Tool到Agent，从Token到Task，从Programmer到OPC。

整个测试中它反复陷入一种诡异的幻觉：信誓旦旦地声称「证明已经写入文件」，后台却连写入工具都没碰一下。

Tibo的帖子大意是：不是「降智」，是「调参」。

7、徐昕将出国打球，曝广东男篮欲提前回购，广州男篮获得资金补偿

他此前分享工作流时给过一条建议：想把Claude Code榨到极致，最重要的一步，就是给它一个能验证自己工作的方式。

全网都觉得它「变笨」了 这个日本团队的遭遇，只是这几天Codex社区里的一个缩影。

8、给淘宝打视频电话，AI陪你边逛边买！淘天连发四项购物黑科技

老板为什么这么需要私人助理？主要是因为助理知道老板的上下文——了解老板的脾气秉性、工作习惯、近期在忙什么、哪些人需要对接。

放在整个Coding模型的赛道里，这是一次实打实的跻身第一梯队。

done条件：且必须机器可判定，比如测试全绿，或者某个spec项被关闭； 硬上限：包括最大轮数和最大花费，专防成本失控和无限循环； 无进展检测：一旦发现它反复碰同一批文件却没有新的通过测试，就强制停下。

标准化解题与原创科研探索的核心差异，正体现在这一点。