新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

1、kok网页版 各方爆料一起涌出：谷歌的终极杀器——Gemini 3.5 Pro，代号「Cappuccino」，将在48小时内正式上线！ 200万的超大上下文窗口，全新的「深度思考」推理模式，据说内部评测已经吊打了GPT-5.6 Sol和Claude Fable 5。

小象电动敏锐地切入了由谷歌Alphabet X实验室孵化的企业SKIP的供应链体系。kok网页版官方演示里两相结合，Flash-Lite一口气直出25套高可用网页设计方案，速度快到几乎是「想一下就出一批」。

2、医生提醒：血常规这3项有“箭头”，癌症可能已经上身了

一边是2.5亿美元预算、上千人剧组、IMAX胶片实拍的好莱坞顶配；一边是马斯克和他的AI。

3、官方：迪福卸任英格兰第五级别联赛球队沃金主帅

其中，智元、宇树等技术方，配送任务成功率不低于85%，目标点到达误差不大于0.30 m，动态障碍避让成功率不低于90%。

4、非洲之王，为何在印度栽跟头？

而WAM-TTT之所以能被称为新范式，是因为它在测试部署阶段（Test-Time），实现了三大史无前例的底层突破： 数据采集：部署只需人类数据 过去，你要让机器人适应新环境，就必须喂给它「机器人轨迹数据」。

5、百倍暴利黑幕！成本5.5元售价788元，上万名宝妈被百万网红坑惨

如果模型的思考过程开口是「I'm」「I'll」，而不是老版本的「Let me」。

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

结果显示BadDLM可成功迁移到不同触发器类型，ASR普遍保持在86%–94%区间，效用稳定。

6、时政微观察丨培养全面发展的时代新人

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

过去一百年，人类传递历史的方式，是文字、图片、影像。

7、日本公开赛，国羽各单项均遇挑战

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

「边真的只被覆盖了两次吗？算错没有？」 「你是不是把重复的死胡同当成循环了？」 「你这个归纳法是不是偷偷引入了桥？」 只有被严格纠错还能活下来的证明，才有资格进入下一轮。

8、哈兰德想来中国，入境游接得住吗？

进到真实业务里，这省下来的全是真金白银。

仿真里一个极小偏差，会在强化学习里被放大；机器人还可能学会钻漏洞，在虚拟世界当「规则大师」，一落地就被一块湿毛巾教做人。

其难点不仅在于完成动作，还在于能否长期保持力量、精度、响应和运行一致性。

9、关于中国女足今天下午亚运会分组抽签结果的几个问答

整机算力扩展区间，覆盖160 TOPS到320 TOPS。

如果模型的思考过程开口是「I'm」「I'll」，而不是老版本的「Let me」。

10、福建武夷山：上下游河长联动巡河 守护闽江源头一江清水

许多人会问：国内新能源车市场已经卷成红海，现在去卷汽车电机还有机会吗？ 如果只盯着国内存量市场，那确实是「神仙打架」。

跨环境实测中，以人类视频为上下文的基线方法，性能保留率仅剩14.7%，几乎等于归零；而WAM-TTT则把这一数字拉到了75.6%，压倒性胜出。

1、家有一老如有一宝！老将王思雨轰17分5板6助，赛后三字点爆发真因

四个字，宣告了这场48小时狂欢的终结。

2、台州大叔跳江捞上来的2岁女娃，今年考上北京大学了！

Token Capital如果只是一个会计或战略概念，仍然很抽象。

3、76人总裁谈布朗交易：在这个行业里 结果终究难以预料

对持久状态类攻击，系统还会在两轮对话之间重启网关，用来验证被植入的负载是否真能跨越会话存活下来。正式官宣！韩德君重返辽宁男篮，担任球队负责人四年前，这句话是句玩笑。

4、克莱斯勒放弃全电动计划 将在2030年前推出三款SUV

OpenAI的解法： 不是一个AI在思考，是64个AI在开会 OpenAI是如何让GPT-5.6去攻克这个难题的？ 在他们分享出的任务提示词和证明全文两份PDF中，我们找到了答案。

5、怪事一桩：赵晨宇赢了棋，却输掉了比赛

模型主权解决的是推理资源控制权。

6、这一仗，UFC、世界杯和特朗普都输了

而Danny Zhang抛出的那句理念，才是AGX真正的野心所在： 此芯科技的愿景是构建一个开放的算力底座。

而且，软件也不再是买来一个固定的东西，而是随你的话不断变形。

ARC系列评测这几年的持续上涨就是证据，GPT-5.6 Sol在最高推理档位下拿到7.8%。

7、彻底分崩离析！洛夫顿公开承认不回上海，粤蜜：要争取复仇大鲨鱼

跨环境——深筐、货架、流水线、狭窄空间都能应对。

把活跃用户数摞在一起看：2月，Codex还不到100万；7月12日600万，14日800万，到16日，Codex和ChatGPT Work合计突破900万。

8、阿里自研芯片成功适配Qwen3.8大模型！百度萝卜快跑获发香港无人驾驶牌照

WAIC 上发布的 2.0 做了一次架构级升级：把原本分散在不同模型、工具和流程中的营销能力，收敛到一个统一的 AI 入口，围绕企业目标按需组合多个专业智能体，形成能自主循环的智能体工作流（Agentic Workflow）——钛动内部称之为 Loop Agent，即智能体之间可以相互调用、反馈、迭代，而非线性执行一次就结束。

Claude Code团队发文，正式定义「循环」，并拆出回合制、目标、时间、主动四种典型循环。

所有模型调用请求，都先流经这一层，由它来统一接入、智能调度、优化成本、把守安全。

要坚持「产业出题、科技答题」。