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

1、金喜体育 初等。

当数据飞轮真正转动起来，当模型开始从与真实世界的每一次交互中学习，那道「Scaling Law的物理墙」，终将被推倒。金喜体育梅卡曼德的解法是用标准化「眼脑手」组件，打通「感知—决策—规划—执行—数据反馈」的完整闭环，尽量减少人工调试。

2、阿斯报：皇马不会以低于1亿欧的价格出售琼阿梅尼，曼联愿为其花巨资

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

3、户外市场新趋势：服装高端化，鞋子平民化

在人类的智商分布里，130分是「天才」的起跑线，全球仅有大约1%的人能站上去。

4、宏大智慧科技再获国家级重磅荣誉！成为常州全市唯一上榜企业，获评全国典型！

「一镜到底」比拼接单个任务的 Demo 难得多，因为它考验的是，在人形大脑系统 COSA 的认知和调度下，三层系统同时运转的协同能力。

5、今日重要赛事！7月24日，CCTV5、CCTV5+直播节目表

工业区更热闹：两台人形机器人在「搭班干活」——一台搬运料筐，另一台从筐里抓取工件精准放到指定位置。

研究团队在3个平台与5个大模型交叉出的15种组合上完成了评测。

但检索，并不等于记忆。

6、卫报：拉什福德将回归曼联，并在卡里克麾下开启新赛季；太阳报：曼联计划新赛季开启前为拉什福德安排转会

实验证明，BadDLM在四类多样化目标上均能取得强攻击效果，同时基本保持良性效用，并对面向AR后门设计的防御具有鲁棒性。

实验覆盖固定目标位置的标准设置，以及抓取过程中随机扰动目标的动态设置。

7、逆转英格兰！阿根廷晋级世界杯决赛！

物理AI的「开悟时刻」，从来不是完成一次惊艳的演示。

主角是OpenAI旗下的GPT-5.6。

8、小暑节气，文明实践“童”样精彩

它可不会替你做单选题，而是两头都当圣旨，当场精神分裂。

上海东方枢纽国际商务合作区系国务院批复、上海建设的「全球首创、国内唯一」新型国际商务合作区，是中国开放程度最高的区域之一。

围绕这一直觉，研究人员设计了触发器感知的训练目标，并从理论上将其转化为一个更易实现的诱导掩码过程。

9、世界杯半决赛伤退，阿森纳确认萨利巴将长期缺阵

https://x.com/markgurman/status/2064047700488655019 国行版的 AI 能力底座是阿里千问，与海外版的技术栈并不相同。

KAI世界模型是大脑，在虚拟世界里建模物理规律，再把能力迁移到真机之上。

10、1966年野马轿跑深度竞技化重构：302引擎配五速手波，魂动红涂装完成仅驶680英里

用徐立的话说：在人类眼中甚至可能产生幻觉的信息，在AI的眼中，其实可以正确推断出背后的结构化信息。

压缩一下，大概是这样： 单个HTML文件，Three.js，第一人称。

1、UFC传奇主持隔空喊话NFL：下一届超级碗就在我家门口，让我开场

这，正是这项工作的出发点。

2、汤姆·克鲁斯确认回归！《雷霆壮志》续集启动制作，2027年初开拍

要知道，这一切发生的时间点，正是SpaceXAI刚发布Grok 4.5、在AI编程赛道全力冲刺的当口。

3、耐克中国“换脑”，外籍高管能加速“大象转身”吗？

HMS的第一个关键判断，与William James不谋而合：把留存（retention）与回忆（recall）彻底分开。上季冲球1585码18达阵，新赛季或成首轮地雷？Jonathan Taylor风险几何站在2026年中回看，AI视频赛道正在经历一轮剧烈的格局重塑。

4、从倒车雷达到座椅通风，这些汽车功能用过后，老司机都回不去了

AI 达人：依托钛动覆盖全球的 1.5 亿达人资源网络，智能体根据商品特征和目标市场自动匹配达人、生成多语种建联话术并发起合作邀约。

5、斯诺克21日凌晨战报！中国4胜3负，江俊，刘宏宇零封，4冠王出局

国产化进程也在提速。

6、因凡蒂诺：扩军48队很成功 扩军64队？正在讨论中

因此，小象电动第一步切入的是对性能要求极高、对价格相对不敏感的场景：高端人形机器人、四足机器狗，以及高性能跑车（轮毂电机的初始应用）。

具身智能部署时的适应方案怎么选，行业第一次有了明确的路线指引。

他也点出了背后的原因：他推测，关键那一步里有一个很小的、反直觉的拐弯。

7、世界杯头号罪人！阿根廷王牌决赛全程坐板凳！离谱操作毁了梅西

前三派有个共同的毛病，即「能力割裂」。

随着视频世界模型走向更长时序、更复杂控制和更高分辨率，这类状态感知的推理优化方法可能会成为重要方向。

8、公募科技持仓冲上历史峰值

不过，人们上手后的实测，恰恰给出了另一半答案：GPT-5.6好像，正在把「会做题」和「会做事」这两件事，慢慢拧到一起。

电送到了终端，用户该怎么用？ 清程极智打造了面向企业、开发者、各类Agent的一体化终端生态治理节点，补齐了Agent从下载部署到成本治理的最后一环。

即便是拼错了，它也会自己纠正，让整个过程完成一个闭环。

今年，密歇根大学、斯坦福等机构测算发现，在一组真实软件工程任务中，编码Agent每生成1个输出Token，背后平均要累计处理约154个输入Token。