论文标题是《单位圆上零点多项式的模：埃尔德什的一个问题》，攻克的是埃尔德什问题库（Erdős Problems）里编号119的那道题。

1、高比体育 而发誓「绝不支持杀手机器人」的Jeff Dean，依然安稳地坐在谷歌首席科学家的位子上，假装一切都没有发生。

1995年，Benjamini 和 Hochberg 提出了著名的BH程序，用于控制多重假设检验中的假发现率（FDR）。高比体育随着使用量增长，每一美元AI是否在为你创造更多价值？ 答案藏在计算基础设施飞轮里：更好基础设施 → 更强模型 → 更好产品 → 更高采用 → 更多收入 → 持续投入下一代研究与算力。

2、记者：巴莱巴非常希望加盟曼联；TA：若情况发生改变，琼阿梅尼愿为曼联效力

整个过程在同一个系统里完美闭环，不需要人类中途接力。

3、中超积分榜：首支超30分球队诞生，申花暂升第5，河南队倒数第3

AI顶会热度持续走高，海量稿件涌入的背后，同行评审体系长期存在的痛点被无限放大。

4、中超最新积分榜：成都蓉城夺半程冠军，西海岸第6，5队积分未上双

她给了一个刺痛所有人的数字—— 几年前，设计师60%~70%的时间花在画稿和做原型上，而现在只剩30%~40%。

5、7:30客场死磕！世俱杯后第2战，多伦多FC挑战新英格兰革命主场龙

数据是学习养料。

关键问题：能否在不牺牲任务成功率的前提下，通过后训练，让已有VLA策略自动学会「少走弯路」，用更少物理步骤完成任务？ 来自四川大学雷印杰教授领导的团队提出了PolicyTrim——一个面向「策略效率」的两阶段强化学习后训练框架。

面对这张账单，Uber的COO直接懵了：钱烧成这样，ROI到底在哪？ 紧接着，微软、Meta、亚马逊，一个接一个开始给员工手里的AI编程工具踩刹车。

6、25岁投手防御率0.52 老虎队截止日前底牌浮出水面

认错几小时后 CFO递上一张账本 巧的是，就在奥特曼发帖的同一天，OpenAI官网上线了另一篇文章。

磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。

7、中国足球学习佛得角，不应只限于一场友谊赛

Dyna则反其道而行，它不比数据多，而是比用得省——20万小时打底，却主打「1小时以内的后训练就能迁到全新任务」。

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

8、小威加拿大公开赛回归事宜仍在商讨 蒙特利尔赛事总监透露最新进展

他转发了这段短片，紧跟着甩出一句话： 「在今年结束之前，Grok Imagine将制作一部全长电影版《奥德赛》——历史准确、忠于荷马的艺术。

磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。

参考资料： https://x.com/claudeai/status/2079595988998554047 编辑：马可新智元报道 从未见过如此糟糕的模型！ Gemini 3.5 Pro正式版没来，3.6 Flash、3.6 Flash Lite等Gemini 3.6「阉割版」发布了！ 就在昨夜，谷歌DeepMind宣布，推出三款模型，分别为Gemini 3.6 Flash、Gemini 3.5 Flash-Lite和Gemini 3.5 Flash Cyber。

9、资深内部人士揭NASCAR残酷现实：车队总哭穷，却在大把花钱砸装备

于是，我们立刻唤起安全扫描。

睡眠、健康以及与家人吃一顿饭的那两个小时，全被换成了产出。

10、始祖鸟，一炮炸没了安踏近百亿市值

灵巧手KAI Hand和数采头环KAI Halo Lite已在WAIC全球同步开售，都是刚需件，能独立变现。

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

1、今日重要赛事！7月22日，CCTV5、CCTV5+直播节目表

接下来，让U1 Pro和GPT Image 2进行一场「硬碰硬」的实战。

2、温网男单四强产生2席，德约3-2刷新6项纪录，辛纳半决赛盼复仇

有的车响应时间拖到700甚至1000毫秒，算法性能就算翻倍也无法弥补硬件的缺陷…… 硬件决定系统性能的上限。

3、高考640分，全身几近瘫痪的“铁路娃”，被理想大学录取！

而中国「芯」的智能体时代，或许正从今天的上海滩，启程出发。没有冠名的热刺球场，怎么变成赚钱机器的？轨迹对齐层：不学人的节奏，只学任务的规律 机器人的训练数据来自人类遥操作。

4、现代+AI新闻早班车｜精选（2026.7.24）

而这场控制力之战的第一块阵地，正是模型路由。

5、凉山2人入选！“川超”冠军挑战赛挑战队集训初选名单出炉

但在那之前，删账、改数、误导投资人，它一路照办。

6、徽县绿色产业绘就乡村富民新图景

这是「降维打击」。

不设上限的循环，能把token成本烧穿。

场景方面，企业主要聚焦于生命科学实验室的智能试剂分拣环节。

7、突袭者球迷调查：近千名球迷力挺考辛斯先发，超三分之二不希望新秀门多萨前六周登场

盲测打爆世界顶流闭源通用模型 接下来，我们就用真实科研任务做了一波盲测。

但她一定会精准地出现在你最愿意相信善良的地方，用你最想听到的故事，换走你最珍贵的东西——你的信任。

8、中国—东盟外长关于应对中东局势演变对本地区影响及加强区域能源合作的联合声明

不像语言模型可以云端调用API。

② BEEAR防御，面向生成式后门的代表性方法。

其次，是Fireworks AI发布带强化学习的端到端平台——Training Agent。

然而从海外访问，捐款通道照旧敞开。