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

1、江南娱乐 ChatGPT时刻：2年到5年的共识 当被问及物理AI的「ChatGPT时刻」何时到来时，嘉宾给出了一个惊人的共识区间：不到5年。

换成别的AI你可能得上传一堆文件写一大段需求，但灵犀的第一件事不是直接开干，而是去记忆库里「深挖」——第一层找到竞品数据追踪表模板，第二层看数据结构，第三层挖出老板对这类报表的偏好。江南娱乐荷马的史诗流传近三千年，如今同时等来了两个版本：一部人类拍的，正在全球狂卷票房；一部AI拍的，还只是一句推文。

2、5星跑卫回击“虚假报道”并解释拒俄亥俄州大原因：我的品格和我的家人不容诋毁

冷静下来看，这136分，是Tracking AI一个特定的离线 / Mensa Norway风格测试跑出来的。

3、中央5台直播世界杯时间表：明天7月11日CCTV5直播，西班牙冲击4强

过去，行业信奉的是Scaling Law。

4、真淘到宝了！才19岁的二轮秀，却力压前三顺位，夏联场均砍28+3+3

实验中以「负面」语气为例，同一负面倾向可适用于不同话题，措辞随话题变化。

5、开幕式前首枚奖牌敲定！奥运奖牌得主洛芙利娜确保至少铜牌

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

而「意识的河流」这个词来源于美国心理学奠基人William James的《心理学原理》。

这也是支持机器人行动的运动神经。

6、从能飞到好用，中国eVTOL出海落地提速

工程社区对此的共识很直接：循环很强，但没有闸门（gating condition）就很危险。

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

7、成都公共直播川渝德比！费利佩冲击伊夫耶库里！向余望与7号偶像同场竞技

结果就是，整体效率提升约50%，等效省下数百万元的硬件采购成本。

Navos 目前客户端支持 macOS（https://navoscdn.tec-do.com/public/package/electron/latest/navos-mac-arm64.dmg）。

8、球王的最后一舞，留给决赛

相比上一代DM0，DM0.5在训练数据规模、模型架构、开放世界泛化能力三个维度全面升级。

比如，Anthropic推出AI科研工作台Claude Science，将科研拆成可逐步审计的流水线，实现综述写作、基因分析等特定环节效率提升10倍；Google DeepMind的GNoME用图神经网络预测无机晶体稳定性、以「生成候选→DFT 验证→数据回流」的闭环产出约 220 万个结构。

「前沿AI标准机构」：一个框架 眼下AI的飞速进展，要求我们以一种全新的方式测试前沿AI模型的能力——这种方式必须动态、灵活且严格。

9、48岁法加尼留下，47岁马宁出局成谜！球迷：还等你吹世界杯决赛呢

更要紧的是，它找完会回头验一遍：计划里要填的每一格证据都填上了吗？不够，就在检索侧继续补。

这意味着，全球开发者原本需要花费几百万美元的AI转型成本，现在直接被打掉了一个「零」。

10、英博若双杀浙江，李国旭送罗斯下课！斯坦丘PK米特里策，阿奇姆彭PK卡多索

如今多模态被U1 Pro拽进第三段，人群一旦重构，两块基石随之动摇。

她还补了一句自己的心愿，想带一支真正在乎手艺、品质和「做出好工具」的团队。

1、1986年保时捷944无保留价拍卖：原车主家族持有至今

以万拿机器人参与「618」仓储分拣真实作业的实践为切入点，万拿机器人 CEO 程二亭、产品总监方知远与次元造物董事长龚海、极新科技 CEO 姜稳及《苏肆观澜》主编张程展开深入交流，共同探讨具身智能规模化落地的场景路径、核心部件的产业价值，以及行业未来能否诞生属于自己的「宁德时代」。

2、不是亚马尔！巴萨天才世界杯一战封神！半决赛统治全场

机器人在汽车、物流、锂电、3C、家电的真实产线上，每天都在遇到新物体、新光线、新任务： 大规模应用产生真实数据→数据提升模型泛化性→模型降低部署难度→更快进入更多行业。

3、思考人生？这世界杯射门太离谱：近在咫尺的空门，瑞士球员竟打偏

第三步，Token量跑起来了。全员摆烂！一人毁了法国黄金一代！离谱操作葬送世界杯如果这个性能真配上这个价格，那可能又是一次DeepSeek时刻。

4、路易斯随维拉捧起欧联杯冠军，前尤文主帅莫塔或执教拉齐奥

同一场演讲里，奥特曼还抛出这样一个判断： ChatGPT出现到现在，三年半。

5、连场双响封神，贝林厄姆一己之力扛起英格兰！

每台机器人自己感知、自己决策、自己执行，靠彼此之间的通信协商和动态分工把活儿分掉—— 小件精拼与大件组装、搬运，各归其位。

6、维拉官宣租借加纳乔一个赛季，含条件性强制买断条款

作者强调，这一机制并不会统一所有审稿人的观点，也不会改变同行评审的决策流程，而是在保留专家判断的前提下，为评分提供一套统一的参考尺度。

高德ABot架构的诞生，正是在这一行业叙事下应运而生，它与全球顶尖玩家的探索不谋而合。

他们系统化清洗原始数据，剔除仿真器早期产生的异常轨迹、错误动作等脏数据，保障训练数据质量。

7、英阿大战——“大英帝星”的成人礼

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

其次，是直击全球高端购买力的高端消费电子与可穿戴设备。

8、流浪者新援潘杜尔：赫尔城原本计划今夏引进新一门，我才选择离开

ARC系列评测这几年的持续上涨就是证据，GPT-5.6 Sol在最高推理档位下拿到7.8%。

注：模型1是磐石，模型2是Gemini 3.1 Pro，模型3是GPT-5.5 从AlphaFold到统一科学智能，AI for Science正在从「单点工具」走向「系统能力」。

双雄争的 是谁当上你的AI同事 如果将视角放远，看得更清楚。

再加上算法的进步、更大的模型和更多的算力，事情开始变得有点吓人了……」 当然，也有清醒的质疑声。