这三条，正好一一对应前面那三个命题。

1、天博官方 Andreessen说，这些朋友里有相当有名的人，现在见面「气色很差，黑眼圈很重，明显没在照顾自己」，但一个比一个兴奋。

而这条引理，恰恰源自导师莫宗坚本人先前发表的学术成果。天博官方horizon reward只在组内出现成功轨迹时激活，避免模型在失败情况下盲目追求更长的chunk长度。

2、古德温抢断绝杀！上海男篮逆转广厦再下一城，布朗狂飙50分成徒劳

行业头部玩家也在持续探索突破： Anthropic 最新发布的 Claude Science，接入 60 个科学数据库，可依托自然语言驱动多步骤科研流程； OpenAI 推出的 GeneBench-Pro，聚焦基因组学、定量生物学真实场景，专项评测 AI Agent 处理模糊数据、完成多阶段科研判断的综合能力。

3、姚均晟：韦斯利的能力在中超给到夯；世界杯看好英格兰夺冠

AxiomProver也独立斩获了满分。

4、WAIC五位首席科学家交锋：多模态是LLM的“外挂”，还是下一代智能的“灵魂”？

200 字草稿点击「改为专业语气」，不到两秒出结果。

5、据说这双鞋被王一博一人就撑住了全国销量

模组化、可扩展的开放式硬件架构，支持M.2、MXM、PCIe等多种AI算力卡形态，已深度适配天数、后摩、原粒、智辰、光羽等多家国产AI芯片，同时兼容半高旗舰显卡。

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

钛动的 Navos 下一代性能如何，以及第一笔真正零人工介入的 A2A 成交什么时候发生，值得后续关注。

6、智元启动赴港上市

打个比方，你在做一个交易系统的账单导出功能，AI用Runtime.getRuntime().exec()调用系统命令，才生成一行代码，就被第一层标记出来了。

One More Thing 对了，文章写到这里，还有一个反转没讲。

7、广东队大调整，爆杜润旺后，又一位冠军球员也要离开，徐杰表态

她出生于广州，仅用三年便横扫MIT数学与物理双学位，更是Morgan Prize的得主。

对理论统计学家而言，历史在此刻被粗暴地折叠了。

8、美国公司推出AI换胎机器人 无需拆轮毂即可完成换胎

它是全球首个开源的3T级模型，专为长时编程、知识工作和推理等前沿智能任务设计。

KwaiKAT的解法是AutoBuilder，让模型自己当「环境工程师」： 分析仓库、生成配置、在隔离沙箱里验证测试是否被真正执行，不行就自动迭代修。

管着十几个人的团队，做着行业最眼馋的产品。

9、湖北青年星官方：单欢欢、张伯霖等9人加盟，陈佳奇等7人离队_网易订阅

绝招亮完，战场却各画各的：智元盯着数据、表征、闭环三道墙，PI说墙是上下文，Dyna说是可靠性，清华说是机器人自救。

于是，衡量算力的那把尺子，也换掉了计量单位。

10、京东养车与小马智行达成战略合作，共建载人Robotaxi标准化运维服务体系

聪明的人形大脑系统如何让 Oli 在非结构化的家庭场景连续不断地执行任务？我们看视频说话。

在联合国演讲的结尾，谢旭璋说了一句话：「过去，视频是一个结果；未来，视频是一个入口。

1、央视报道伊朗今天摧毁12架美军机！美军大批被抬走，特朗普找帮手

Fable 5和GPT-5.6 Sol在前，Kimi K3在侧，V4想靠纯性能掀桌子，难度不小。

2、Shams：勇士不愿为戴维斯付出高额交易代价，谈判毫无进展

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

3、每跑1000趟多赚31块？酒店机器人开始自己养家了

学习闭环的竞争 未来企业之间最重要的差异，不一定是谁使用了最强的模型，而是谁拥有更好的闭环。三连败的山西男篮！潘江采访引球迷热议，前教练直言：皇帝的新装可解释性的未来 解释模型vs解释影响 本文以J-Space为引，经由康德十二范畴的哲学奠基，最终落脚于大语言模型与本体工程的融合实践，完成了一条从神经科学到知识论、再到工程实现的思想线索。

4、今晚西班牙VS比利时预测，有3好3坏消息，盘口让0.75，西班牙难赢

现在扫码 · GDPS赞助商征集 科技让生活更美好，展现双基友好真技术 【GDPS赞助商·扫码报名】 长按识别小程序码 · 展现行业一流技术实力 ·赞助商征集窗口限时开放 赞助商征集咨询 沈老师：13301882228 GDPS大赛全流程 · 7月征集已启动 GDPS全力打造循环演进、迭代升级的产业飞轮：2026年7月WAIC场景征集→10月GDPS上海总决赛→12月出征中东迪拜人工智能展→2027年4月联袂上海国际汽车工业展览会机器人专区完成闭环进阶。

5、世界杯绝杀！28岁锋霸救主：4年蜕变 从笑话到英雄 哭成泪人

作为科学智能领域的旗舰赛事，由上智院与复旦大学联合主办的世界科学智能大赛自2023年创办以来已累计吸引全球近6万名参赛者。

6、CCTV5直播！上海VS广厦胜负难料，双大外出战成疑，王博主抓防守

他提出的TUTOR方法把长程任务的自主成功率从8.3%拉到35%。

GPT-5.6 Sol：60分钟，两轮，满分。

针对AR模型的后门主要作用于「下一个词预测（Next-token Prediction）」这一从左到右的生成链条；而DLM采用独特的掩码扩散（Masked Diffusion）训练，模型需要从剩余上下文中恢复被掩码的词。

7、跑圈防晒天花板！雪肌精xKeep联名挑战邀你“膜”力开跑

当然，放手不等于放任。

但今天，先去把HF token换了吧。

8、上海后卫欲被交易，韩硕张兆旭加盟北控，郭昊文出战NBA夏季联赛

前段时间，知名高端装备企业新卡莱主动找到了小象电动，提出需求：他们希望在光刻机的精密运动控制系统中，使用小象电动的轴向磁通电机。

报道称，大量研究人员因为对谷歌的落后感到失望，纷纷跳槽到了Anthropic和OpenAI。

关键在于，这里没有一个中央调度台在发号施令。

由此，AI Ping串联起生产端与使用端，通过统一API屏蔽了多厂商差异，让中小开发者也能享受「企业级VIP」的稳定Token服务。