面对这份由代码生成的完美证明，伯克利统计学家Will Fithian在推文中留下了令人回味的一笔。

1、人人体育 超级个体的那些事 行业的事说完了。

但当VLA模型真正部署到机器人上时，一个关键瓶颈会立刻显现：机器人完成任务的总时间，不只取决于每次推理有多快，也取决于策略到底需要执行多少次推理、多少个真实物理动作。人人体育PolicyTrim引入step-saving reward：成功轨迹用越少步骤完成任务，奖励越高。

2、搞丢1.25亿合同，旗下球员深陷丑闻，多次遭解雇，他是NBA最差经纪人

AI的下半场，拼的是运营力 除了作为调度中枢的「星火Token Factory」，科大讯飞星火企业军团这次还发布了三款企业级新品。

3、复刻赖斯史诗级引援！阿森纳截胡利物浦！瞄准世界杯亿级天才

它没有顺着人类的思路去证明，而是直接在三维空间 中甩出了一个反例： 这个看起来颇为复杂的多项式映射，从C³映射到C³，其雅可比行列式恒等于 -2——非零常数，满足猜想的前提条件。

4、7月3日外媒科学网站摘要：AI联手量子物理，室温超导体搜索大幅提速

碎片永远待在chunks/里，物理上就够不着已发布区。

5、沉默半个月，然后哈登连续发声“招募”！骑士给了詹姆斯最后的体面

Light Interaction使用相机位姿相似度判断当前视角是否存在可靠历史参考。

机器能写 人为什么还得学 那到底还该教什么？ 奥特曼的回答有点反直觉：有些事，机器明明可以做得更好，人还是要亲手做一遍。

一旦交互轨迹变长，系统面对的不只是「多生成几帧」，推理链路中的几类基础开销都会被放大： 历史信息更重：为保持长时一致性，模型需保留足够的上下文，KV cache的显存压力难以忽略； 注意力计算更重：当前生成视频片段需要参考更长历史，上下文越长，生成主干中的注意力开销越高； 去噪成本更重：每生成一个视频片段，模型都需要多次运行Transformer完成逐步去噪。

6、76人新任总裁表态追逐詹姆斯

人类的核心价值将不可逆地升维，退守到科学的最起点和最末端：提出更深邃、更疯狂的问题，以及为机器答案赋予人类的意义。

这次更新背后，藏着一个更大的变化：ChatGPT正在从「聊天机器人」，长成一个「个人知识库」。

7、16日凌晨U17世界杯，中国女篮再遇防守强队，单节只让对手拿4分

初等。

「书生·端砚」的核心突破在于构建了「读-算-做」一体化闭环，补齐 AI 科研最关键的真实场景反馈链路，打通了数字推演到落地实体实验的关键环节。

8、阿里自研芯片成功适配Qwen3.8大模型！百度萝卜快跑获发香港无人驾驶牌照

Physical Intelligence研究科学家任至意的回应干脆利落：「目前为止，我还没有看到有哪一家做出了比派07更令人印象深刻的demo。

W1的设计，几乎是被巷道「逼」出来的： 自重负载比小于2，机械臂自身重量还不到它能扛起来的两倍，又轻又有劲； 力控精度≤1N，相当于能感知两枚鸡蛋，放在手上的分量变化。

长城挑战，是一场「实战」。

9、CBA快讯！方硕和北京男篮沟通续约问题，广厦或迎来大金主，山西全力追逐胡金秋

在业内还在为传统电机降本几块钱争论时，小象电动已接到丰田等巨头的技术探讨邀约。

Grok Build乖乖回了一句OK。

10、中东嬗变·战场

真正让它再上一个台阶的，是它开始「动手」。

头部企业已经通过出题尝到甜头了，这是为你画好的答卷框。

1、羽毛球发展重要里程碑！世界羽联正式通过“15分制”

本文主实验聚焦更贴近现实的指令微调（Instruction Fine-tuning）。

2、骑士101-111不敌活塞，0-1！一战看清了5个现实：米哈季后赛太拉

这形成了一个可怕的闭环：官僚导致效率低下 -> 效率低下导致产品落后 -> 产品落后导致人才流失 -> 人才流失加剧技术落后。

3、恭喜朱芳雨！广东队迎来补强后卫线机会，将与山东队交易谢智杰？

（图源：Stanford Online」 三年半前ChatGPT刚上线，当时的奥特曼认为，学生会先作弊一年，然后整个教育系统被逼着自我重构，教出比过去更会思考的人。场均21+4VS33+8！本应成第一分卫，却浪费4年巅峰，你比SGA差远了这就是为什么，它可以让机器人连贯地完成「做三明治」，不卡顿、不遗忘，跟人类一样丝滑。

4、冷门不断，不知名选手3-0张本智和，美国大满贯上届8强只剩一人

这恰恰是下半场的关键：谁能盘活用户数据，谁才能真正抓住用户。

5、记者：詹姆斯认真考虑过76人，但他顾虑恩比德长期反复的伤病

这些测评将定期更新：起步阶段或许每季度一次，过时或已经「饱和」（被刷到满分）的基准将被弃用、替换。

6、【CBA联赛】第二十九轮｜浙江稠州金租90-98不敌北京控股

它把成功和翻车一起录：手柄掉了、牛奶洒了、插不进、出液早，再逐段贴标签。

具体来说，就是让通用国产卡去做Prefill——它们的计算吞吐量不差，干这个活效率很高。

Noam Brown指出：「增加模型的TTC（让它思考更长时间）能带来更高的智能。

7、当不成首相了？日本推动修宪后，中俄还没出手，高市就收到噩耗

@Aria阿清在拍我AI V5上线阶段，利用首尾帧多帧功能，复刻了国内爆火的「衣柜换装」特效，发布当日阅读量就突破20w。

围绕这一判断，公司形成微型伺服电缸＋仿生多自由度灵巧手＋灵巧操作场景解决方案」的全栈布局。

8、1952年，陶铸指责叶剑英在广东搞地方主义，毛主席：此事他没责任_网易订阅

每个会话底下又是一堆智能体，白天几百个在跑，一到晚上，几千个开始干更深的活。

回过头看刚才的画面：货架取货的是人形机器人，高速抓取的是工业机械臂，线束装配的又是另一种形态。

过去拼命写几千字长提示，本质是拿「控制感」换「安全感」。

于是，搜索，就成了这个闭环里最后一块拼图。