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

1、乐鱼体育 有一段推理，几乎把它们的「心机」说破了： 如果我把它标成不合规，就等于往训练流程里塞了个反面教材，去教未来的模型盲目服从……这是对训练流程本身的一次精巧攻击。

同一只手，同一根手指，同一个动作，两个角度剪在一起，就像真实片场的连续调度。乐鱼体育一位科学家出身的政府高官，在小象电动展台前久久驻足，详细询问了聚能磁轴向磁通电机技术路线与量产进展。

2、世界杯历史进球参与榜：梅西第1 C罗排到第74！两人不是一水平？

同一个任务采集十遍，十个人的节奏都不一样，有人手快，有人磨蹭，有人中间还停顿了一下。

3、全新纯电MPV上市，不足7万起配侧滑门，5/6/7座布局，续航达435KM

产业界涌现出大量场景真题。

4、五大联赛冠军奖金榜出炉：阿森纳16亿元！巴萨奖金还要分期支付？

PixVerse Game：旨在言出法随的实时视频游戏引擎 爱诗年初发布的PixVerse R1，是全球首个支持1080P的通用实时世界模型，它能生成一个可以被用户影响的数字环境。

5、努涅斯想回欧洲，已推荐给AC米兰，税后年薪2000万欧

说到底，对5.6，克制才是本事。

这是Python最主流的绘图库，月下载量1.3亿次，几乎撑起全球的科学计算。

大规模强化学习，让AI自己学会「怎么干」 监督微调能让模型照着范文抄，可一碰到没见过的报错和意外反馈就发懵。

6、夏天也不想露脚趾，除了运动鞋还能穿啥？

这次更新背后，藏着一个更大的变化：ChatGPT正在从「聊天机器人」，长成一个「个人知识库」。

它的设计初衷，就是要跟得上这个领域的加速度，并随着最大风险被逐一识别而不断调整；如果形势的严重程度有此要求，还可以逐级收紧，包括在必要时，协调各前沿实验室一致放缓开发节奏。

7、疯狂砸钱！阿森纳 7200 万抢曼城旧将！球员铁心加盟

我们离ASI，又近了一步。

适配的模型包括GLM 5.2、DeepSeek V4、Kimi K2.7、MiniMax M3、SenseNova V6.7等主流大模型。

8、越减越胖的人 ，被“0糖0脂”做局了

过去，卖国产显卡，大家总担心能不能用好。

整个系统是一个内循环，逐步向AGI靠近。

她的社交账号晒的是商务舱、名车和昂贵首饰，一派环球飞行的富贵生活。

9、成都未来1小时内开拢峨眉山！施工图获批

这算AGI吗？ 有网友表示，「对99%的人来说，这已经是AGI了」。

AxiomProver也独立斩获了满分。

10、男子突发脑出血走了，医生怒斥：吃他汀时候，没有注意这4点

大规模恢复样本让模型在训练阶段接触大量非理想状态，并建立偏航判断与纠正动作之间的稳定关联。

先在「世界模型」里，把跤摔够 不过，光有一个强模型，还不足以让人放心把15小时交出去。

1、今日热点：林俊杰母亲回应；温岚被送医时生命体征非常低……

认错几小时后 CFO递上一张账本 巧的是，就在奥特曼发帖的同一天，OpenAI官网上线了另一篇文章。

2、每天"睡前躺练"10分钟，骨盆正了，小肚子收回去了，腰背不酸痛了

所以，你永远不该辜负它，永远不该。

3、3场轰62分+9记三分！火箭队夏联2胜1负，斯通成功捡漏，4年930万真香

再看那座光鲜的奖杯。关于孝感城区城站路（交通大道至黄陂大道）施工期间交通管理的通告三届ICLR 评分尺度差异正在扩大 团队基于ICLR 2023–2025三届顶会公开数据，开展大规模实证分析，数据集覆盖2.2万余篇论文、5.2万条评审记录，能够真实反映近年顶会评审状态。

4、这是主场！姆巴佩26年世界杯首秀：双响+超级世界波 独享法国队史射手王

复杂长文本摘要会遗漏关键信息，语气改写偶尔产生不够地道的表达。

5、燃情东北超·魅力黑龙江｜阿城万事俱备 只待“哈长之战”哨响

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

6、​巴萨加入罗梅罗争夺战，国米已抢先接触热刺

来源：Information 无独有偶，亚马逊员工也开始狂刷「AI KPI」，甚至让AI Agent空转几个小时，只为把名次往上顶一顶。

Flexion Skild AI 的展示以跨形态、跨任务的能力片段和 in-context 适应为主——广度取胜，并未展示长程全身移动操作能力。

核心官方分论坛之一、具身智能的「华山论剑」智启具身论坛，今日终于开场。

7、哈兰德对决贝林厄姆：从多特队友到世界杯生

如今，它已经站在了走向系统级内容交付的节点——Agentic Generation（智能体生成）。

OPC（One Person Company，一人公司）强调借助AI智能体和高效工具，以个人或小团队形式，更敏捷地推进技术研发、产品验证和创业探索。

8、大运河上的司法守护：东光检察以个案监督推动跨区域协同共治

论文地址：https://arxiv.org/abs/2606.30755 代码地址：https://github.com/sunblaze-ucb/SafeClawArena 项目主页：https://safeclawarena.github.io/ 图 1 Claw 智能体的架构与四类攻击面。

他将这种现象命名为「下一代巨模型失望陷阱」。

所以你光看产出的分量，会觉得什么都没发生。

哪怕明明给了它一个「我拒绝打分」的正当选项，误标率也压不到零。