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

1、乐鱼电竞 四步在一个界面里完成，不用在不同软件之间来回切换。

正是这一视角的转换，构成了本文研究的出发点。乐鱼电竞过去三年，大家拼的是谁堆的卡多、训的模型大；可当Agent铺开之后，战场就从「训练」大规模扩展到了「推理」。

2、6场807码，他有望冲击CFL历史接球纪录

它以营销策略大脑为核心，跑通了「1名真人座席+5个AI分身」的人机协同模式，AI分身的音色和沟通风格与真人座席保持一致。

3、赫恩回击富里质疑：约书亚职业生涯从未退赛_网易订阅

在这个场景下，消费者对价格完全不敏感，但对重量却锱铢必较。

4、转会窗：尤文确定引进19岁前锋埃卡托，两位斑马之星将离队

你写的每一行 from_pretrained，你跑的每一个数据集，大概率都是从这儿拉下来的。

5、耻辱丢冠！阿根廷王牌全场隐身！世界杯决赛沦为透明人

在DM0.5身上，原力灵机第一次看到了「泛化涌现」。

小哥展现出了惊人的产品经理天赋。

从繁华长卷到商业广告，从科普卡片到电影海报，同一个模型，一口气全包了。

6、以1967年窃听法为武器：用户点完“拒绝cookies”，发现追踪没停，丰田在美国被告了

给这股风潮命名为「循环工程」（loop engineering）的谷歌工程师Addy Osmani，也在其中。

在架构端，高德从一开始切入具身智能，就不是为了造某一台特定的机器人。

7、贵州以旧换新补贴调整！7月27日起执行

面壁是一家追求通用人工智能的大模型公司，并选了一条区别于云侧的路线：端侧。

前者，如今的模型早已驾轻就熟。

8、The Athletic记者曝高斯曼拒交易名单：8队上榜，红人酿酒人在列

有大佬对此表示，这绝对是GPT-6。

为的不是问题背后的答案，是「思考」和「学习」这两个元技能，而写作和编程，正是训练它们的工具。

从单点决策到长程闭环 DA-Nav升级NavBrain导航能力 在NavBrain的能力链路中，DA-Nav承担的是长程方向理解、局部目标生成与主动纠偏。

9、睡一觉就能醒酒？男子隔夜醉驾追尾被判刑

本月初，钛动还与 OpenAI 正式达成了合作并签约。

更进一步，它还把这些关键致病位点，在3D蛋白结构图里逐一精准标注了出来。

10、德尚博打破沉默谈争议罚杆：我为自己的拼搏感到骄傲，无怨无悔

质量指标上，论文报告了PSNR、SSIM、LPIPS、VBench等多维结果。

小哥展现出了惊人的产品经理天赋。

1、资深内部人士揭NASCAR残酷现实：车队总哭穷，却在大把花钱砸装备

这也决定了它现在最适合的，是边界清晰的结构化任务，而非天马行空的自由发挥。

2、历史之最！哈兰德亚马尔身价上涨至2.2亿欧 姆巴佩2亿

而部署量够大后，一个更强的机制开始启动——数据飞轮。

3、传统节庆与全域乡村游双向奔赴 徽县文池端午活动激活乡村新动能

为填补这一空白，来自UIUC、UC Berkeley等机构的研究团队构建了SafeClawArena。新疆小伙臀部莫名肿痛甚至流脓，硬扛几日后无法正常行走才就医；医生提醒：久坐年轻人警惕这类疾病这一跳，他们打破了技术路线的次元壁，成为了标准的定义者。

4、阿利米B2B！周定洋白跑第一，大连双煞排第二第三，德尔加多打河南争口气

Qoder CLI从v1.1.0起支持同样的能力：输入/security-settings，即可查看并开关三层防线。

5、文班亚马：钱让球队潜力难兑现，是马刺夺冠最大障碍

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

6、英格兰“打懵”法国！19分钟连入2球，赖斯传射建功，孔萨建功

五角大楼的「霸王条款」 Turner的愤怒，源于真实的事件。

一是，把科学数据「统一编码」。

事实是关了没用，照传不误。

7、文化中国行丨阿勒泰166名各族师生赴京津开展研学交流活动

Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

她们速通的不是一款游戏，而是游戏开发中最早、也最昂贵的一次创意验证。

8、突发：圣海伦斯主帅罗利闪电下课，上任不足一年

这一次，屏幕上显示的是128，掉了将近87%。

据公众号「科技大满贯」统计，本次中国队没有高三选手: 作为首次举行IMO的中学，上海中学累计斩获20枚IMO金牌。

7月15日，前谷歌DeepMind科学家Alex Turner宣布辞职。

质量指标上，论文报告了PSNR、SSIM、LPIPS、VBench等多维结果。