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

1、Kai云体育 参考资料： https://x.com/thsottiaux/status/2077114635308986427?s=20 https://x.com/sama/status/2077036999303999910?s=20 编辑：摩西新智元报道 你半夜失眠问Claude该不该辞职，它体贴得像个认识了十年的老朋友。

普通人拿到手的，直接就是结果。Kai云体育轮毂电机，就是把电机直接塞进车轮里，四个轮子独立驱动。

2、鲁能终于收获意外之喜！马德鲁加火线复出，让球队腰杆子硬起来了

走到2026年年中，大模型这场仗，早就不只是比谁更聪明了—— 而是比谁能把「最聪明」这件事，做到让普通人也付得起。

3、看了几场夏季联赛，更加确定杨瀚森再不拼，在NBA真没有未来了

于是衡量算力的标准，从峰值算力转向任务完成效率，而Token则成了智能体时代算力价值的新「货币」。

4、文班亚马回归法国男篮 将出战世预赛迎巴黎奥运后首秀

第二印象甚至更差： CursorBench上，Gemini 3.6 Flash还不如Cursor的Composer 2.5。

5、罕见！图赫尔的英格兰“铁桶阵”，击破墨西哥人“高原不败神话”

企业需要衡量的是，智能体的行动是否真正产生了预期的业务结果。

问题的核心，是模型在关键能力上，尤其是AI编码能力，未能达到内部严苛的标准。

最近一个非常有意思的行业现象是：大量的海外开发者，也开始嫌弃OpenAI、Anthropic的模型API太贵了。

6、西班牙VS阿根廷：无敌传控斗牛士，能否终结梅西时代？

GPT-5.6 Sol在ARC-AGI-3上的表现随推理档位陡升，Low档只有0.3%，Max档拿到7.8%。

填色表示覆盖，空心表示同维度里没覆盖到。

7、阿拉格齐坦言，害死哈梅内伊的内奸，大概率还藏在高层没被抓出来

第一道槛：专业领域数据 通用模型在营销场景里有一个致命盲区：它没有实战数据。

我以为到现在，它早该变了。

8、印度国羽中国公开赛全军覆没：拉克什亚惨遭逆转，阿尤什决胜局20比22惜败

当写代码的、跑实验的、给它们打分的，都渐渐换成AI，我们迟早要面对一个问题：一个AI写的代码，一个AI跑的实验，最后由另一个AI来把关——这条链上，究竟谁来为最终的结果负责。

华山论剑第一招，是先否掉对方对战场的判断。

以前，是「生成一段好看的内容」，现在，则变成「生成一个可交互世界」。

9、佛得角门将身价暴涨十倍！哈兰德亚马尔身价并列第一！

混合云算力聚合：实现本地私有集群与公有云算力的安全互通混训，不仅将整体性能提升了68%，而且还治好了企业「自己的卡不够用、云上的卡却闲得发慌」的问题。

目前，小象电动累计出货近7万台，位居全球轴向磁通电机厂商前列。

10、日本队后悔吗？轻视激出近年最强巴西队！库尼亚伸出5个手指回怼

Figure 把端到端模型做分层，Skild AI 用一个通用模型控制所有机器人，大量创业公司把 VLA 当大脑——回答的都是同一个问题：如何造出更强的技能。

这让视频世界模型的推理过程从固定流程，变成了随交互状态变化的动态系统。

1、里程仅千英里，这台蓝色Cobra复刻搭载351温莎V8和5速手动变速箱

征集场景 国家定方向，GDPS来落地！具身进实景，劳动最光荣！国家使命，上海担当。

2、74枚导弹倾泻基辅，俄下达最后通牒:不撤军就屠城!锆石砸穿基辅

本来要打一场翻身仗，结果自己先把地基炸了。

3、2026中产协卫生和母婴用品分会年会暨首届吸收护理与卫生用品大会在沪举行

真正让「一中心」配得上「自主式」三个字的，是它开始自己管自己。行驶仅1900英里的2021款路虎揽胜SV Autobiography Dynamic亚利桑那在售这样的进化能力更类似于人类成长的节奏，在一个人中学阶段学习的是一元二次方程，大学阶段掌握的则是微积分。

4、周四3:07，蓝鸟迎战光芒。科莱门特(.297)对阵迪亚斯(.308)。

资本的倒逼，让行业面临一个现实的分水岭：过去那个靠电机扭矩有多大、后空翻有多稳来证明「机器能动」的故事，已经讲到头了。

5、吉利拿下福特西班牙闲置产线，将生产去年中国销冠车型EX2

「20倍产能」背后，是否带来薪水的狂飙？ Andreessen称，顶级AI相关程序员的年收入已经达到5000万美元。

6、1986年保时捷911：历经栅栏碰撞与280项复古改装，红妆素裹再度登场

很快可能他连loop也不用写了。

这套工作流落地为五个核心智能体。

奥特曼自己的说法是，agentic产品的使用量一周环比涨了2.5倍。

7、鲁能小妖一战成名！泰山肠子悔青，迪马塔自带德比气质！蓉城遭遇平局大师

产出的结构 - 文本配对数据送入大模型智能体，通过pymatgen的StructureMatcher工具对比模型输出结构与标准目标结构，量化评估模型性能。

这种「一套框架、按需标注位置」的设计，使得从最具体的定向输出特定词到最抽象的越狱行为都能被统一表达，且每类目标的输出都随输入动态变化。

8、23岁左投对阵37岁右投，运动家今日力争系列赛胜利

就像Coding模型交付的不是软件，是一个会敲代码的程序员；U1 Pro交付的，是一个活在数字里的设计师。

小哥用Qwen 7B作为微调底座，用DeepSeek的API作为网页端输出体验，也侧面证明了—— 中国AI模型真实的推理和输出能力，已经强大到足以被骗子拿来冒充「世界第一的万亿参数模型」，而不被普通用户瞬间识破。

自己用AI写代码的时候，明明有便宜的档位摆在那儿，可你还是把档位拉满。

第三种，时间循环（/loop和/schedule）。