总体结果显示，PolicyTrim在保持任务成功率稳定的同时，显著提升执行效率。

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

新智元报道 天哪，打工人也能有自己的私人助理了！ 以前我们提到助理，一般都是服务老板的。yb体育还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。

2、深度太厚！卡斯尔、菜鸟哈珀少年老成，马刺板凳席还藏着一员猛将

OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」 网友惊呼：证明令人叹为观止，AI改变数学！ 幽灵般盘旋了50年的数学魔咒 循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。

3、热火，詹姆斯来了！1.7亿，又创纪录了......

科研智能体的新赛道 AtomWorld的核心价值，不止于定位模型失效，更在于把 「材料智能体不会建模」 这个模糊痛点，拆解成一系列可测量、可追踪的原子操作能力 —— 从基础元素替换到空间区域判定，再到连续几何理解，逐层厘清失效类型、程度与规模增益规律。

4、复杂性创伤后应激心理分析：第五十二讲 成为表演型人格

此时此刻，无障碍第一次从「工具无障碍」，走到了「能力无障碍」。

5、世界女排联赛香港站：中国队首战不敌加拿大队

而此芯在做的事情，是为这些未来的AI居民打造栖息之地。

那两名负责人直接对特纳的消息「已读不回」。

第1个测试是AI综合能力。

6、跟队记者：卡尔迪纳莱希望米兰加快转会运作，特别是卖人

其中，他详细拟定了审查机制，明确规定了AI不能用于无人类控制的致命武器和无差别监控。

随着投稿量激增，审稿人的主观打分标准越来越不统一，评审随机性、不公平性逐年加剧。

7、不拼通用能力、聚焦端侧，腾讯副总裁林松涛：Marvis专注做好系统级操作

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

恰恰相反，它是效率工具：替我们省掉了海量注定失败的尝试，没有它，没人能在有限的一生里走到学科前沿。

8、世界女排联赛总决赛：中国队力克美国队晋级四强

于是Anthropic给出了一套可复用的六步框架：先搭好裁判、写规则手册、画依赖图、列缺口清单。

要终结这次争论，需要一场严格对照实验：同一份模型快照，同一批任务，同一套工具环境，只动juice这一个变量。

Gemini 4开跑 史上最激进预训练 虽然Gemini 3.5 Pro还没到手，Gemini 4也开始训了。

9、浙媒谈U23国足抽签：“死亡之组”不可怕，怕的是未战先怯

他直言：现在是人类史上的关键时刻，AGI或将在短短几年内实现！ 哈萨比斯给出了一个令人战栗的算式：AGI的影响规模将是工业革命的10倍，而速度也是10倍。

按常理推演，编程效率涨上去，工程师应该活得轻松一点，现实恰好相反。

10、节省3.17亿美元！雷霆无惧送走核心轮换：将重新投入未来引援

接下来，滑动工具栏切出沙子、橡木与石头等材料，是时候大展身手造房子了。

所以商汤这几年在底层做了海量的脏活累活——编译器、算子、网络、缓存、调度、容错，一层一层地打通。

1、争议！巴西出局三大细节，小熊不满恩德里克，内马尔争论不顾球队

HMS-base（不带自进化控制器）的准确率是92.4%，加上自进化控制器后达到92.8%。

2、数名美军阵亡！胡塞武装盯上红海航线，鲁比奥称是伊朗不认真谈

能用上、还便宜的，才是今天就能装进你钱包的东西。

3、勇士骑士为何集体撤退？浓眉2.75亿顶薪梦，只剩一地鸡毛

它也能反过来，让外部服务在对话里渲染出可交互的界面：图表、地图、表单，直接画在对话里，不用再啃干巴巴的文字。美以伊最新局势：特朗普威胁对伊朗发动空前打击，称如果他提出要求，以色列“两分钟内就会加入”，伊朗、胡塞武装：已做好应战准备两套体系给出了一致的结论： GLM-5.2（2026 年 6 月发布）在窄任务上的表现与 Opus 4.6（2 月发布）相当，差距 4 个月； 在 Cyber Range 上追平 Opus 4.5（去年 11 月发布），差距 7 个月。

4、拒绝哈登！错失布朗！火箭管理层盲目自信，杜兰特离队或迎倒计时

用户无需在应用间切换，即可在 Apple 设备上直接体验千问的文本与图像理解、内容生成等能力。

5、为王梓谦、刘宇、魏虹霖、范德顺点赞！“川超之星”最佳阵容（最佳人气球员）评选正式开启！

2. 冗余感知的步数压缩（Redundancy-Aware Step Reduction） 当可靠horizon被扩展之后，第二阶段进一步减少总物理步数。

6、CBA狂野一日！6人获顶薪报价，4笔交易确定，广东北京上海都有动作

此芯科技CMO Danny Zhang正式发布AGX Agentic Compute系列产品，并给了AGX一个定义： 首款从底层架构开始，就为智能体计算量身打造的异构计算平台。

Figure 的 System 1 / System 2 和 Skild AI 的通用基础模型，底层逻辑都是「模型即大脑」。

杨帆说，今天大家都在用Agent去写算子适配。

7、超高性价比叠加高温来袭 京东折扣超市精酿啤酒销量暴增142%

真正容易出现偏差的，恰恰是第二步。

而且它不是单枪匹马上分，SOL、TERRA一整个家族集体飙到136，连视觉版都没掉队。

8、字母哥邀詹姆斯联手冲冠

从工程角度看，这项工作也强调了算法稀疏与实际系统加速之间的差距。

智元全都要。

大脑系统在真实世界的考试 COSA 0.5 的 Demo 选了一个看似普通、实则极难的场景：做家务。

小浣熊带动超两千万用户运转，周活三百万，八千家企业客户接入，并已裂变出教育、政数、金融等行业版本。