当时，OpenAI副总裁Kevin Weil转发了Mark Sellke的帖子并写道：GPT-5刚刚找到了10道此前未解的埃尔德什问题的解，另有11道取得进展，这些题都已经开放了数十年。

1、亚娱体育 冷静下来看，这136分，是Tracking AI一个特定的离线 / Mensa Norway风格测试跑出来的。

为什么？因为游戏不只要画面，还要规则、反馈、角色一致性、情绪递进、互动结果。亚娱体育juice到底是什么？从目前能看到的公开信息判断，它更接近系统内部的一个推理资源配置标记，粗略地说，就是系统允许模型在一项任务里投多少推理资源。

2、温网男单半决赛明天7月10日赛程：辛纳PK德约，兹维列夫PK黑马

围观人群有人喊：「这里面是有真人在操控的吧？」 答案是没有。

3、青岛市城市管理局：关于2026年二季度投诉较高小区的通报

而DM0.5，只是这个故事的开始。

4、1992年讴歌Vigor GS待售：原车主家庭持有34年 行驶仅7.1万英里

国产算力的「出海大后方」 而且，清程极智提出更宏大的生态战略——让国产算力以Token的形式，扬帆出海。

5、上半年毛纺贸易形势保持较快增长

假奖杯、假难民、假行善，一场教科书级的AI慈善骗局，正在疯狂收割大众的善良。

这一次，大晓首次提出了「信息密度定律」： 数据的价值不在数量堆叠，而在信息密度。

但前提是，我们得给自己留出时间和空间，把接下来这关键的一步走对。

6、彭啸+高准翼送大礼，谢文能又伤了 泰山队溃败成常态 拿什么保三？

AI 创意：接入以 Seedance 2.0 为代表的多模态大模型，自动生成多语种短视频、图文素材和广告脚本，从选题到成片的效率压到分钟级。

项目主页：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的核心目标不是替代计算侧加速，而是补上另一个被忽视的维度：减少完成任务所需的前向推理次数次数。

7、The Athletic：道奇是交易斯库巴尔“行业最看好”球队

侧边栏那个搜索框约等于摆设，会话一多，搜旧对话近乎不可能。

最后说「眼」。

8、浪费职业生涯，段刘愚替补踢不上 竞争不过2新星 泰山青训又被挖角

过去，行业信奉的是Scaling Law。

展馆、园区、厂区的很多角落存在信号盲区。

为什么PolicyTrim有效？ • 面向策略本身提效：它减少冗余动作和不必要的重规划，而不只是降低单次推理延迟。

9、众媒看雪都丨《学习强国》刊发：布尔津 碧草连天，每一帧都是壁纸

中文的Claude是个混合体：一边挑你的毛病，一边安慰你别难过。

L1—L2仅能支撑基础预训练；L3—L4止步于已知任务的拟合，换个场景就不灵； 唯有迈入L5，深度融入三维力触觉、失败恢复轨迹与开放场景变量，世界模型才真正跨越「描述」，获得泛化、反思与自进化的能力。

10、齐达内泪谈梅西：真正的传奇，不只在举杯时伟大，也在流泪时令人敬佩！

这五款模型类似于高德为机器人打造的「数字灵魂」，它们完整地映射在机器人的五大仿生单元。

轮毂电机，就是把电机直接塞进车轮里，四个轮子独立驱动。

1、价值20万的新车刚“满月”被撞大修，1.6万“折旧费”谁来赔？法院判了

从智驾战场带回来的执念 这种死磕全栈的起点，要追溯到自动驾驶时代。

2、尤文引进布拉欣-迪亚斯困难重重，37岁马蒂奇进入尤文考察名单

他随手举了一个例子：机器翻译折腾了许多年，大语言模型出来以后直接碾压了整个赛道。

3、欧联资格赛前瞻：蒂拉斯波尔警长迎战特拉维夫马卡比

Flexion 的公开 Demo 跑在第三方硬件宇树 G1 上，任务以户外拾取、搬运包裹为主，时长和复杂度与逐际动力和 Figure 的家庭长程任务有一些差距，全身运控的稳定性和精度也受限于第三方硬件。双料卫冕冠军约翰逊-汤普森因伤退出英联邦运动会 九人同日退赛这让人想起几个月前，Anthropic CEO达里奥的「凡尔赛」。

4、冠军的胸前，耐克的胜利

一位数学家说，自己和同事多次尝试用GPT-5.5解决，从未成功。

5、让一追二！河南队2-1攻陷工体，取3连胜的同时明确要换掉的外援

全网都觉得它「变笨」了 这个日本团队的遭遇，只是这几天Codex社区里的一个缩影。

6、喜讯！前多特王牌携手民主刚果国脚锋霸官宣加盟国安，值得期待

据Boris说，公司里几乎没有手写代码这回事了，连SQL都是模型写的。

虽然这次针对比分的「终极预言」与现实擦肩而过，但它向行业展示的，却是从「给出一个猜测」到「交付一件完整的商业成品」的蜕变。

因此，Skill是企业「如何完成一件事」的可计算表达。

7、公羊主帅承认与新援团队偶遇，防守阵容再升级

当机器人在踏入陌生厨房的那一秒，学会通过「看」来修正自己的动作时，那个曾遥不可及的通用机器人时刻，才真正具备了大规模商业落地的可行性。

当算力、Token、生产力，这条链到前店才算真正闭合——那些从芯片里一点点挤出来、又被后厂压到极便宜的Token，最终都在真实业务里，变成了看得见的生产力。

8、2026年湖南省小儿外科学会联合学术年会在岳召开，这场“儿科盛会”定下四大发展方向

知识库解决的是「系统知道什么」，但企业认知系统还必须回答： 系统应该在什么条件下使用这些知识？ 应该调用哪些技能？ 应该采取什么行动？ 什么结果才算成功？ 失败应该归因于知识、技能、计划、执行还是环境？ 学习以后，系统应该修改哪一部分？ 因此，认知主权比数据主权更深一层。

在闪购仓、小店、仓店一体几种形态上都能跑成闭环，支持天级轻量化部署，不用把仓库大改一遍。

这是一支跨学科的复合型、国际化、多元化团队：有人师从计算认知记忆奠基人，为AI注入人类记忆的理论灵魂；有人深耕世界模型与推理优化，把长序列记忆从算力黑洞变成可落地的工程现实；有人曾主导微软小冰核心算法开发、ToDesk、QwenC多模态推理Agent等千万级用户产品，把前沿论文变成真实世界的生产力。

已发布的、进度元数据、没传完的碎片。