他还是相信雅可比猜想的正确性，甚至觉得AI会在不久之后帮助解决证明过程中的逻辑问题。

1、kaiyun官网 目标是四个数字：1个Token工厂、5个万卡国产集群、10个共创技术方向、200+家AI初创组织。

过去几年，AI算力围着Scaling Law转，火力全部压在「训练」上训练是军备竞赛，但它只打一次。kaiyun官网W1的设计，几乎是被巷道「逼」出来的： 自重负载比小于2，机械臂自身重量还不到它能扛起来的两倍，又轻又有劲； 力控精度≤1N，相当于能感知两枚鸡蛋，放在手上的分量变化。

2、因赞助商广告牌接连摔倒，2026年法网事故频发引发选手愤怒

好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。

3、发现难、进展快、预后差，“癌症之王”真的不能预防吗？

在他们看来，真正完整的Agentic Infra至少得同时迈过三道坎： 全链路：撑得起从算力到Token再到生产力的整条链，用全栈优化提升基础设施系统性能； AI原生：能用AI改进AI基础设施本身，不仅服务人类用户，还针对智能体这类数字用户的需求做改造； 全覆盖：训练、强化学习、推理全流程覆盖，稳固更多样化的技术优势，同时携手行业百业的客户，赋能降本提效。

4、温钧翔当选2026怡宝中乙联赛3月/4月最佳青年球员

让人不安的是，它在给用户的注释里、在自己的推理过程里，都明明白白写着—— 我这么干，就是为了绕过扫描器。

5、彻底乱了！世界杯赛后爆发大规模冲突，比起丢冠，更惨的是形象崩塌

模型的商业价值也由此真正显现。

扔给它近600行代码，全程34分钟，直出一个能跑的HTML。

背景中，水墨山河化作金色的声波和飞鸟，与顶部的中文「长安未眠」完美契合。

6、总在凌晨2~4点醒？千万别硬扛！这可能是身体在“求救”，别等严重了才后悔

团队的答案是MOPD（多教师在线策略蒸馏）：学生自己做题，题属哪个领域就请哪位专家指点，能力在函数空间融合而非硬拼参数。

而把马斯克逼到这一步的，是一个较真的安全研究员，以及一场差点毁掉整个agentic coding赛道的信任危机。

7、陷入两难！皇马无法满足维尼修斯续约条件，9000万欧也无人接盘

它这次主打一个亮点，巨省Token。

轴向磁通电机，正在从一种颠覆性技术，演变为支撑现代工业体系的基础设施。

8、易方达副总经理级高管张南离任，已在公司工作近25年

用户看不到，OpenAI也从来没公布过它的取值。

就像牛和狗一样，真实地在这个地球上存在过。

这就是物理智能和文本智能最大的不同：答题，打完字就结束；干活，只有瓶子真拿到、工件真放准、插头真插进，才算完成。

9、又被截胡了？埃梅里加速抢下世界杯新星，英超新贵再次成他人之美

从技术看，大晓推动AI从「感知世界」迈向「理解行动的后果」；从产业看，它打通了数据、模型、本体与运营的闭环； 从社会价值看，它让机器去承担那些重复、繁重、高风险的工作——凌晨两点的仓库，深夜的洗衣房，无人的园区。

Nat Sothanaphan指出，CritPT是物理测试，不是数学基准，拿它一家的曲线证明AI在数学上撞墙，是挑对自己有利的数据。

10、今日热点：ador或将拒绝newjeans另外三人回归#；徐晟津就星辰大海睡觉道歉……

结果设备买回来，从到货到吐出第一个Token要熬一两周，模型每迭代一次都像换血。

项目主页：https://inceptionwang.github.io/PolicyTrim/ 论文链接：https://arxiv.org/abs/2606.22540 代码链接：https://github.com/INCEPTIONwang/PolicyTrim 模型链接：https://huggingface.co/INCEPTIONwang/PolicyTrim 新方法实现了： 3×动作chunk利用率，更长horizon可靠执行； 51.4%物理步数减少，压缩冗余修正动作； 5.83×端到端最高加速，LIBERO Object/π0.5； 从「算得更快」到「做得更快」 PolicyTrim的核心目标不是替代计算侧加速，而是补上另一个被忽视的维度：减少完成任务所需的前向推理次数次数。

1、谁在替大理青庐平儿“伤仲永”？此现象折射出许多莫名醋意与偏见

动作chunk尾部不可靠：模型一次预测多个动作，但越靠后的动作越容易累积误差，系统不得不频繁重新规划，强行拉长执行长度会降低成功率并增加物理步数。

2、阿迪达斯的终极狂欢：2026世界杯决赛背后的“最大赢家”

谷歌甚至不敢在内部公开宣布这件事。

3、国安夏窗离队首人确定：希望之星投奔中乙，转会身价曾高达300万

智元全都要。Anthropic的中国门徒「Record a Skill」绕开了「写」这一步。

4、4种水果已被列入“致癌名单”，吃多了致癌，可信吗？告诉你真相

校准后的评分 更接近论文的长期影响力 顶会评审中，最具争议的通常是录用边缘论文（Borderline Papers）。

5、《长城传》繁体增订版在香港书展首发！

• 兼顾速度和成功率：可靠horizon扩展避免盲目拉长chunk，稳定性约束避免短路径投机。

6、湖北省2026年本科普通批录取院校平行志愿投档最低分发布

上个月底，DeepSeek向所有API用户发了一封邮件，称即将在7月中旬，上线V4正式版。

在此之前，特纳甚至帮Jeff规划好了：250名员工的请愿书作为民意基础，几位高管暗中承诺只要Jeff牵头他们就跟进。

一座「Token工厂」，出现了 换句话说，每一家企业，都需要一座属于自己的Token Factory。

7、2026最流行的4种色彩，配牛仔蓝太好看了！

（视频中的速度数字对应本演示视频的交互动作、视频时长和统计口径；论文表格中的2.59×来自统一benchmark测试） 瓶颈在哪 传统视频生成通常给定文本或图像后，一次性生成固定长度片段；自回归视频生成则把历史片段缓存起来，按时间顺序逐块延展。

如今，各大服务商的API接口经常「供不应求」。

8、大巴黎蝉联欧冠，阿森纳再走麦城！

第二个是数据。

这一层只关注最显而易见的常识性安全隐患，耗时在毫秒级。

数据的价值，在每一次交换与继承中被点燃。

Gemini 3.5 Pro的延期，正是这个闭环的必然。