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

1、火狐官网 难得的是，它极高的完成度：双战队设定，仪表盘计分、AI守门、动感音效，一应俱全。

比如，「改进这段代码」是个坏目标，因为没法验证；「/tests/下所有测试通过，只许改/src里的文件，修3次还不过就停下来汇报」是个好目标，因为每一条都能核对。火狐官网Flexion 的公开 Demo 跑在第三方硬件宇树 G1 上，任务以户外拾取、搬运包裹为主，时长和复杂度与逐际动力和 Figure 的家庭长程任务有一些差距，全身运控的稳定性和精度也受限于第三方硬件。

2、首发2场锁住张玉宁，张洪福踢出来了，辽宁10年后卫不愁，换掉瓦吉奇上限更高

它不改变VLA架构，也不重新收集专家数据，而是在已有预训练策略之上继续优化机器人真实执行行为。

3、新车均价5万美元，这5款2026家庭SUV不到3万；二手平替最低仅1.1万

OpenAI赌入口。

4、众星演唱会+足球赛！7月4日岳阳奥体中心见

原本这些活儿，都得你在一个个工具之间来回切、把数据一段段复制进对话框。

5、米利西奇未辞职！媒体人：靠山已倒时间问题，和李铁性质类似

接入Learning Commons后，Claude按所在州课标和学习顺序，自动搭出一节课的教案与学生材料。

其次，是无可替代的顶尖人才与技术底蕴。

从Tool到Agent，从Token到Task，从Programmer到OPC。

6、SVG刷爆椭圆纪录：49圈领跑碾压此前12圈，无线电问车队“现在该做什么”

就这样，游戏行业最沉重的试错成本和管线门槛，一下子被打掉。

那对我们普通人来说，这套系统能用来做什么？ 在WAIC上，围绕着商汤的多模态智能体系统，我们还看到了一个个超级个体（OPC）的故事正在发生。

7、工信“半年报”里的新动能密码，都在这些数字里

而且，除了海报之外，无论是漫画、广告还是杂志封面，U1 Pro都能实现直接交付结果。

而这，绝不是补了个搜索框那样简单：它让你的数据更值钱的了。

8、ESPN裁员风暴中Mina Kimes遭老鹰传奇公开呛声：一词之争引爆观点交锋

Turner本以为看到了希望，但现实却狠狠给了他一记耳光。

重启后扫一眼，进度立刻回来。

并行的TTC让长时间运行的推理变得具有现实可用性。

9、梅德韦杰夫葬礼上连出三招，招招致命，给中国挖坑，伊朗接招必死

第二题：模拟太阳系，共用一个「时钟」 再来测试一个交互类的，让V2.5徒手捏一个太阳系。

然后它证明了：每执行一步操作，Φ至少减少1。

10、16分钟开幕独白只答4个问题 新帅首秀用拖延战术躲过尖锐质问

所有信号，都指向一个清晰的结论：一个属于轴向磁通电机的时代，正在拉开帷幕。

在未来的科研范式里，「寻找答案」和「构造推导」将不再是人类智力的最高体现。

1、疆超联赛进行时丨把“同同”“新新”和阿勒泰文创一起带回家 阿勒泰主场文创售卖区成球迷打卡地

我把积攒了三个月的报销明细（大概200多条）扔给灵犀，说「帮我按部门、按费用类型分类汇总，标出超标的项目，生成一个可以直接交给财务的Excel。

2、立新能源，7连板，累涨94.74%

肩、肘、腕、腰、腿五个维度协同发力，几乎就是真实对抗的全身运动。

3、2.2万英里2014宝马650i敞篷M运动版，无保留拍卖

这样的进化能力更类似于人类成长的节奏，在一个人中学阶段学习的是一元二次方程，大学阶段掌握的则是微积分。仅剩7天！国际原油暴涨超6%香江之畔的驻足，资本的真金白银 技术硬核与战略清晰，往往能引来最具慧眼的伯乐。

4、德尔加多穿9号球衣，深情告别泰山队，阿尔瓦罗没报销，战大连打对攻

这三样，刚好是AI最擅长、最能替你代劳的。

5、NBA内幕记者爆料：詹姆斯推迟决定，只为等欧文或浓眉被交易

在场景端，无论是高德途途的场景验证，还是城市级长程任务导航的实际案例，高德的体系是在真实泥泞的路上跑出来的。

6、英博门将位置十年无忧！云南客战泰山进了3个，大连主场打算进几个？

他花了几十美金买了个域名，搭建了一个极具硅谷审美的官网。

而只要掉了一台，整场训练就可能直接崩掉、从头再来。

据报道，GPT-5.6 Pro 在首次尝试中就解出了 2026 年 IMO 的全部六道题，全程没有任何人工提示或引导。

7、沃尔沃V70 XC的改头换面：从丑小鸭到SUV硬汉

而这，正是「前店后厂一中心」最自然的延伸：从数字世界，一路走到物理世界。

正因为有了 S0，我们才能看到 Demo 里，上层任务指令不断切换，下层的全身运控，依旧能保持全程平衡、稳定、精准地执行全身动作。

8、6900 万终极补强！曼联锁定全能神翼！完美融合阿马德 + 姆贝莫

Prompt的最后，AI被命令道：「在这上面至少花上8个小时，然后再去考虑放弃或返回结果。

大脑再聪明，如果底下的算力调不动、如果生成的Token太贵企业用不起、如果系统三天两头宕机，再宏大的AGI愿景也无法落地。

任何新的Agent、模型、机器人，只要接入HMS，就能立刻继承过去的知识和行为规律，而不必从头再学。

那这套系统交出来的东西，到底长什么样？ 这里有一个极其严苛的任务。