她上来第一句话就定了调： 然后她补了一句让全场沸腾的话： 接下来她开始逐条“打勾”，把SpaceX 24年的里程碑一项项翻出来： 一连串“Check”打下来，直接把华尔街看沸腾了。

1、人人体育 不过，要让机器人真正成为生产力，实现AI自己造AI，背后的「大脑」仍是关键。

此外，2026年一季报显示，公司茅台酒产品收入达到460.05亿元，同比增长5.62%；“i茅台”实现收入215.5亿元，同比增长267.2%。人人体育当下教育数字化已走完信息化、数字化两大阶段，但教育仍深陷质量、成本、规模难以兼顾的“不可能三角”：传统自适应工具、通用大模型仅停留在内容分发表层，只能完成答题响应、习题推荐，无法仿真学习者内在认知逻辑，难以破解统一教学与异质认知的核心矛盾，行业亟待从“信息传递”迈向“认知仿真”。

2、最后一攻低级失误！杨鸣直言挖掘内部潜力，辽媒：阵痛期必须经历

国内这部分流程，通过美云销系统已很顺畅了，但海外客户多种多样，回传的信息语言也是五花八门，人工梳理的工作量很大。

3、力士的「真香」实力藏不住了！这次必须冒个泡！_网易订阅

而之所以能成，也是它石长期布局之下两条暗线的交汇所赐—— 足够大的真实数据规模，以及能消化大规模数据的Infra。

4、广厦6人确定离队，多队争胡金秋，朱俊龙顶薪留队，孙总无人问津

7 月 17 日，2026 世界人工智能大会（WAIC）在上海举行。

5、沙特直升机公司增购八架空客H145直升机

我们回来后就看了账面现金流，刨除供应商的应付货款、团购卡券、消费余额——这些都不能算是自己的钱，还要减去银行贷款——这部分我们没有，但当时正在修建物流中心，所以预留出一部分资金，又拨出2000万元用于给员工加工资，剩下的才能投入到门店调改，计划控制在7000万元以内。

摄影：吴莹 一位冰淇淋从业人士曾提及，哈根达斯未能持续维持其辉煌地位的原因，在他看来，是工业模式下产品品质、新鲜度无法保障，最终必然影响消费体验。

摄影：梁宵 杜志兰：之前有同行问我，如何考核绩效。

6、超市开张！降级队卖人狂赚1.5亿英镑！

而且，Figure全栈闭源。

张小龙称，在粉笔报班的学员中仅有少数能考上，对于大多数报名的学员，粉笔提供的是情绪价值。

7、印奇“十问十答”：首款AI智能体手机，怎么造？

让每一度电都成为算力产业的增长动能 依托全链路运营能力，算电协同2.0平台将为智算中心带来可量化的多元经营价值： 经营提效：覆盖需量电费优化、需求响应增收、参与辅助服务、储能多元收益、持仓策略优化、现货价差套利、实现算力挖潜等场景，全链路释放降本增收空间，同步提升园区算力承载能力。

几乎同一时间，网络流领域的Dinitz-Garg-Goemans猜想也被证伪了——同样开放约30年，同样是AI的手笔。

8、火箭本赛季最大问题非他莫属 曾经球队最好的球员 为何如今最鸡肋

Anthropic内部已经有不少工程师觉得，Claude写的代码质量和人类打平了。

这些机器人每天面对的，不是标准化测试环境，而是真实世界中的各种变化。

改造的目的是堵上漏洞，再把水舀出去。

9、山东高速男篮累了！连续客场作战负山西，斯蒂尔首秀两双有亮点

第三项，是把项目带出去 「创业复兴」计划设置产品路演。

Harness 工程可延长 Agent 可持续运行的 Loop 时长，从而让 Agent 真正具备“执行、反馈、迭代”的生产级能力。

10、10万字速记一口吞，金山办公新Agent开始直接交活了

换句话说，越像「解题机器」的数学家，转会市场估值越高。

尽管小红书一度收敛了激进的引男动作，但30%的男性用户比例始终稳住了，他们没有被冲突赶走，也没有大规模流失，而是以一种相对安静的方式留了下来：搜索、浏览、做购买决策，但相对于女用户较少发声互动——这也让平台意识到，与其高调地“拉男人进来”，不如先把已经进来的男人的商业价值吃透。

1、向佐郭碧婷带孩子现身长隆游玩，女儿侧颜曝光，向太坐轮椅陪同

Jacob Tsimerman成了本届菲尔兹得主中唯一一个还不会讲汉语的数学家。

2、辛纳卫冕温网：稳定到让人无法呼吸

有人回他：这说不通，菲尔兹奖按定义就是给最优秀人类数学家的奖章。

3、数字丝路发展论坛｜赵靖：以高质量数据架起“数医融合”之桥

文章开头说的油气钻井井控，是典型的高风险、强时效场景。雄鹿助教：伯里斯攻防兼备 有超越同龄人的成熟毕竟，AI能帮一个人写代码、做设计、跑运营，却没法凭空变出第一批客户、融资机会和出海经验。

4、名师高徒！奥运冠军导师崇明执教 沪乒嘉年华混合团体赛四强焕新出发

用的是AI编程工具，配上自家的模型权重，再加上沐曦的公开文档，饭还没吃完，脚本就跑通了。

5、太狠了！老詹老了，真的老了，把自己都忘了！

比如立足“火”的，重点在于如何打造场的餐饮化的现场加工能力；主打“效”的，强调的是有限单品策略，要有非常强的端到端的单品打造能力，侧重不同。

6、有意成全热火，凯尔特人想退出字母哥争夺战，但和布朗逼宫无关

噫吁嚱！ 具身智能的世界里，世界模型终于有了一个明确的、能规模化应用在机器人部署过程里的岗位！ 纸上谈兵终觉浅。

目前我们会在早期去跟踪那些能讲清楚第一性原理，又能链接生态的初创公司，还没到大规模出手的阶段。

来源：受访者 目前我们投的企业，没有因为周期影响而价值归零的。

7、光盘之死

过去哈根达斯代表着“小资”生活方式，自带社交属性，但随着中国消费群体的快速迭代，以及IP联名、跨界合作、高频推新等营销玩法在餐饮行业不断升级，品牌形象多年未做大幅调整的哈根达斯，对年轻消费者的吸引力明显减弱。

对于C端用户而言，AI产品拟人化是一大卖点。

8、主打一个实用，没有花里胡哨的10个家居好物~

概念模型能够证明技术方向，量产成本、可靠性和长期交付能力，才决定它能否真正转化为产品优势。

一个平台，五个齿轮 「书生・端砚」之所以能构建完整科学元认知闭环，核心依托五大底层要素深度协同、环环咬合，形成 “算力 — 数据 — 模型 — 智能体 — 自主实验” 全栈一体化基础设施。

当时处于全球经济危机余波中，股市低迷。

（图源：Simons Foundation） 今年5月，他在斯坦福讲完《新数学工作流》后，曾在Mathstodon上宣布改变自己的工作习惯：不再试图实时跟进所有新证明。