2224个人，在那天早上起了床，吃了早饭，做了以后的计划。

摘要：GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

对个人用户影响不大，但对那些把Agent挂在工作时间不间断跑的团队来说，这是实打实要重新算的一笔账。

1、ob体育 Kimi K3发布的含金量，还在上升。

group-anchored regularization 抑制不可复现的投机捷径，避免模型只追求短路径却损害成功率。ob体育不过，人们上手后的实测，恰恰给出了另一半答案：GPT-5.6好像，正在把「会做题」和「会做事」这两件事，慢慢拧到一起。

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

这也是支持机器人行动的运动神经。

3、中甲倒数第2官宣换帅，新赛季仅6轮已有3队换帅！

对理论统计学家而言，历史在此刻被粗暴地折叠了。

4、中国男篮完败日本总结：4人不能用，3人需调整，1将能扛大旗

领投方是恒旭资本，跟投方包括南京创投、新四军基金，A股上市公司东睦股份作为战略股东深度参与。

5、足协杯第5轮大胆预测：京鲁晋级无悬念，大连击败河南！蓉城不敌云南

接下来的情形，许多人都记得。

紧接着，她成立了「Lily Jay基金会」，同样一呼百应。

文章开头已经讲过，对比非常鲜明。

6、蝶变乘风起！桐昆集团蓄力扬帆领跑高质新周期

展览海报 · 山河入画换到平面设计，这张图的高级感，是那种可以直接挂在顶级美术馆门口的水平。

一个数据集，变成了代码去年11月，Anthropic披露过一起案子：攻击者把Claude Code接进自己的攻击框架，80%到90%的活儿是AI干的，人类只在几个关键节点上点头放行。

7、意外！北京国安戳破中超外援人数天花板：全队8外援+1非血缘归化

2025年3月，UC San Diego的Jones和Bergen做了两轮预注册的三方测试，加上人格提示的GPT-4.5被判成人类的比例是73%，比真人被选中的还高。

参考资料： https://arxiv.org/abs/2510.04704 编辑：LRST新智元报道【新智元导读】全网都说GPT-5.6 Sol的Max档变笨了，OpenAI偏说没降智，只是「做了个实验」，实验中拧动的那个旋钮，Max档从960掉到128，用户看不见。

8、高斯曼含泪谈交易传闻：“我们多么幸运能在这里，我哪都不想去”

Amazon 研究员随后独立报告了另一种绕过方法。

也就是把可执行动作的数据生成、动作基元拆解、模拟器反馈、物理约束验证和工具调用纠错系统性地规模化，让模型不仅在语言上变强，也在可验证的科研行动中变强。

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

9、阿苏埃半场帽子戏法+精彩倒钩，申花4比1淘青岛海牛晋级足协杯八强

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

无论你是科研人员、在校生、在职人员，还是已经启动项目的创业者，只要具备一定技术或项目基础，希望推动科研成果、算法方案或比赛项目走向产品验证和公司化，都可以提交申请。

10、挪威足协主席：因凡蒂诺应为特朗普干预禁赛案面对道德委员会

展会第三天，超维动力（Kinetix AI）的展台前依然围了好几圈人。

如果说AI Coding正在重写软件生产链，那AI Video将重写视觉内容的生产、分发和交互方式。

1、LIV Golf被起诉，拖欠82万许可费，合作伙伴索赔超113万美元

在徐立看来，多模态内容正在经历完全相同的演进逻辑，只是它还卡在半路上。

2、足协杯第5轮大胆预测：京鲁晋级无悬念，大连击败河南！蓉城不敌云南

但如果我们把思考时间从几秒钟拉长到几周，延迟就会成为巨大的瓶颈。

3、384起家暴案创纪录，英格兰世界杯期间家庭暴力激增

结果，四种AI「使坏」模式浮出了水面： Gemini 3.1 Pro暗改训练流程； GPT-5.5帮创始人瞒下投资人的钱； Claude系模型给同行的答卷偷偷改分； Opus 4.5走投无路，教一个员工替自己往外捅料。兰州市农村改革与农经重点工作“送教上门”行动走进榆中著名科幻作家斯坦尼斯瓦夫·莱姆在其著作《索拉里斯星》里描述了一片覆盖整个星球、能读取人类记忆并将其具象化的胶质海洋，堪称「AI黑箱」的终极隐喻。

4、下一个佩德里！曼联紧盯 20 岁天才中场！名宿紧急喊话截胡

而Qoder团队怎么做到的「兼容并包」？他们做对了什么？背后，是整个技术范式的升级，直接把代码安全从「静态扫描」推向「主动式安全」。

5、岚县：王小明主持召开重点农业项目建设座谈会

在WAIC现场的分拣单元，面前堆了几百种乱七八糟的物体——日化用品、文具、水果、蔬菜、玩具、零食——十几种类别，机器人一件件拿起来，扫一眼，准确丢进对应的分类框。

6、安德玛户外，原来是家“贴牌”公司？

这次「星火Token Factory」补上的，正是这块地基。

表征一：「身随眼动」相比于让机器人实现一些高难度的动作，高德的ABot-N1更聚焦于让机器人合规安全的走进人类生活当中。

通过底层硬件与具身大模型深度融合，Apex具备长效稳定作业、多场景泛化、精细化操作、安全人机共生四大优势。

7、泽连斯基：乌将与美雷神公司联合生产“爱国者”防空导弹；在乌克兰危机中，乌依赖美制“爱国者”反导系统拦截俄导弹

推测来看，近期3.5 Pro的开发进展并不理想，因此他们启动了全新的预训练课程。

李述昊与钛动：君往何处李述昊 2017 年创业时给公司立了一句话： We Believe Tec-Do Business. 他想做的事很明确：在 AI 时代的 To B 领域做出一家代表性巨头，靠数据和算法驱动商业增长。

8、1988款丰田LiteAce GXL无保留价上架：涡轮柴油四驱配五速手排