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

1、星空官方 在硬件层，这份开放被贯彻到了近乎「不设防」的程度。

」 如此看来，现在行业所感受到的「模型差、数据荒」，可能问题压根不在脑子上，而是身体的物理极限卡住了天花板。星空官方每一次转化有没有效率，每一个Token有没有被计量、归因、管住。

2、北京首钢大动作！3外援或全部清理，杰曼存疑，将寻找强力外援，李楠剑指CBA总冠军！

梅卡曼德的解法是用标准化「眼脑手」组件，打通「感知—决策—规划—执行—数据反馈」的完整闭环，尽量减少人工调试。

3、当技术挑战伦理，治理如何跟上？（求解时代之问③）

它将帮助我们解决社会面临的一些最重大的难题：从加速新药研发，到开发新型清洁能源，再到创造全新的先进材料。

4、国庆日变受难日，法国队遭遇三连杀，“西拦法”如何玩出了花

最终拿下最高分的，是磐石。

5、23分大胜，中国时隔十年重返八强

Vision-Language-Action（VLA）模型把视觉观测、语言指令和机器人动作统一到一个策略模型中，使机器人能够根据自然语言完成复杂操作任务。

彭博社记者 Mark Gurman 判断这是一次意外推送：苹果不会毫无宣传动作地发布国行 AI，不会选在中国凌晨上线，视觉识别调用的是谷歌引擎而不是国产引擎，在中国也不合理。

它是一个人 + AI，重建了整个历史现场。

6、时代天使(06699.HK)：授出78万份受限制股份单位

AI的证明策略，堪称一场精妙的「降维手术」。

物理AI三道墙前，背后三场争论 不过，这次有个隐秘共识：下一阶段不再拼Demo花哨，而是拼谁能把「经验」规模化。

7、别再纠结大S的遗产，看完这些账后就明白，汪小菲才是最大冤种

这些东西很难写成操作手册，但能被一段录屏完整保留。

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

8、曝CBA青年军还要卖球员！本可以成为强队，却选择摆烂

四条战线，全栈闭环 漫步WAIC展馆，两百多家公司都在往自己身上贴标签。

权重是什么？就是决定模型怎么回答问题的那套核心参数。

朱红、赭石、深蓝、琥珀金四色铺开，灯笼暖光撞上夜色冷调，全在一次生成里落定。

9、陆控二季度新增贷款同比增4.6%，多项前端风险指标环比改善

此外，参与这场挑战的是原力灵机Dexmal Apex，一款「具身原生」的通用机器人。

它不再一口气把图吐完，而是把创作拆成一套动作空间：生成、编辑、局部重绘、组合。

10、刘嘉玲晒合照悼念谢贤：您的一生如此风趣、优雅、一丝不苟

这正是「不知道用什么就直接说需求」的机制在真实科研里的落地。

7月14日，OpenAI给ChatGPT上线了一套全新的统一搜索，把你在ChatGPT里的所有东西，塞进了一个统一入口：历史聊天、项目、上传的文档、生成的图片，全部能搜。

1、藏了49年！郭达20次春晚屹立不倒，真正的王牌从不在舞台上

这一机制的关键意义在于：语言指令第一次被稳定映射到「空间决策点」，而不是抽象语义。

2、欧洲国防Theon公司投资Kopin、eMagin、Varjo等布局AR单兵技术

OpenAI的解法： 不是一个AI在思考，是64个AI在开会 OpenAI是如何让GPT-5.6去攻克这个难题的？ 在他们分享出的任务提示词和证明全文两份PDF中，我们找到了答案。

3、伊朗重创美军：摧毁4台爱国者与4台海马斯，创21世纪最大败仗

第二项，它会自己查自己。股价创16年新高！被群嘲的诺基亚，已经悄悄逆袭了」 腾讯的选择是明确的——只做大脑，不做本体。

4、王思聪送珠宝高调表白懒懒：老婆我爱你，两人同框照曝光很恩爱

算得清、接得快、管得住——这是企业AI下半场的入场券，也正是「星火Token Factory」想替企业拿到的东西。

5、25岁南非国脚陨落！光鲜赛场的背后，是体育界无人看见的心理深渊

它完全依靠纯粹的自主决策。

6、感受艺术和科技！这场属于新就业群体子女的游学走进南科大

Anthropic有条硬规矩：Claude只对18岁以上开放。

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

PixVerse的国内版，叫做「拍我AI」。

7、格科微(688728.SH)：高像素图像传感器产品获国际知名手机品牌客户订单

他是Beck-Fiala定理的提出者，1985年Fulkerson奖得主，1986年国际数学家大会受邀报告人，差异理论的奠基者之一。

接下来，让U1 Pro和GPT Image 2进行一场「硬碰硬」的实战。

8、赵露思澳门演唱会舞狮惊艳全场！把非遗搬上舞台，这波文化输出太燃了

3.6 Flash在几条关键测试上，都甩开了前代—— DeepSWE：编程测试 37% ➔ 49% MLE Bench：机器学习研究测试49.7% ➔ 63.9% OSWorld-Verified：让模型直接操作电脑测试78.4% ➔ 83% GDPVal-AA v2：知识型工作任务拿下了1421份，比上一代高出70多分 如下demo中，3.6 Flash大秀多智能体编排绝活，不仅轻松拿下复杂的代码迁移任务，更在响应速度、代码质量上对3.5 Flash完成了降维打击。

一个人，两帧起始图，一套prompt，拍出了连贯的电影级对话戏。

温暖vs严谨：让你感觉好，还是让你答案对。

我们就是来解决这一层的。