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

1、博鱼手机 其中AI Coding跑得最快，仅这一类就吞下了全球超50%的Token消耗。

更可怕的是它的商业化落地能力。博鱼手机qrdl的论证倒不情绪化。

2、央视点名马龙，男双夺冠释放三大强烈信号

金融想做风控、报表、智能运维，合规和数据安全是红线，享受不到公有云「封装成API、开箱即用」的便利，自建一套，选型、调优、监控、排障全得自己扛，非AI出身的IT队伍根本玩不转。

3、带伤鏖战91分钟逆转！陈雨菲取胜展现羽球精神 昂首晋级16强

至此，发电站（后厂） ➔ 电网枢纽（门店） ➔ 智能体商城与配电系统（终端节点）这套三层体系，完美闭环了Agent产业的所有基础设施需求。

4、昂际智航与亿维特航空签署ET9载人版航电系统适航阶段采购意向书

同时，用户对「固定智能」的那点幻觉，也要从此结束了。

5、故宫公告：下周一免费开放

LLM对审稿意见进行结构化分析，将自由文本整理为论文的Pros（优点）和Cons（缺点）。

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

一个智能体的记忆叫经验，一亿个智能体的共享记忆，叫文明。

6、补短板推动航运业提质增效

他在X上写道： 目前为止，GPT-5.6 Sol是我见过数学上最有意思的新模型。

它底下那套「理解生成行动」的统一架构，本就是个通用底座，视觉创作只是这回「专注做到极致」的第一站。

7、让冰箱扩容50%！10件逆天平价神器，收纳瞬间多1㎡~

《2026 年机器人产业全景研究报告》显示： 中国机器人市场规模预计将由 2025 年的 2003 亿元增长至 2030 年的 4914 亿元，年复合增长率为 19.7%； 在人形机器人 BOM 成本中，执行器占比约 40%—50%，灵巧手占比约 14%—18%。

邓乐言、张柏伦、刘澈交出的是42分——6道题，题题拿满，零瑕疵，没有一分扣掉。

8、输不起？阿根廷仅3人祝贺西班牙夺冠！西媒怒批：没风度 不尊重

这种从底层架构向物理世界的全面映射，超越了传统单点突破的机器人研发模式，并最终外化为传统机器人整体性的物理表征。

他的问题很实在：如果这样的窗口只有一次，该怎么趁现在，把Codex和Claude Code用到值回票价？ 而这条赛道上，Anthropic的Claude Code同期的动作不断，面向金融、工程的企业智能体早已落地。

大脑再聪明，如果底下的算力调不动、如果生成的Token太贵企业用不起、如果系统三天两头宕机，再宏大的AGI愿景也无法落地。

9、3岁女童和婴儿车一起从机场摆渡车跌落，面部受伤缝合30多针，家属索赔120万；涉事人员已停职

通用人工智能（AGI）——一种具备人脑全部认知能力的系统，距离我们可能只有短短几年。

反观核心的原创科学研究领域，技术迭代节奏相对平缓。

10、CBA速递：赵睿发声力挺中国男篮，广东加入布朗争夺战，多名年轻球员放弃CBA选秀

通过老式邮局玻璃、雨水与薄雾的多层折射，将这三位叙事人物精妙地隐藏在倒影中，空间景深与悬疑张力直接拉满。

用/loop就能按间隔重跑一条提示词。

1、西安老板严鹏跳楼自杀！知情人曝原因，最后朋友圈曝光写好了遗言

CEO喻杰博士，师从计算机视觉权威田齐教授和罗杰波教授。

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

走到这座教堂的最前沿本身就极耗力气，而大模型已经能以超人的效率做到这件事，最近的突破基本都源于此。

3、诸神终章，双雄诀别！C罗魔笛最后一舞，输赢皆是时代遗憾

这就像一个没有文字的部落：每个人都得亲历一切，谁也无法真正站在别人的肩上。世界杯第二轮定调：强队集体苏醒、伪黑马褪去光环，夺冠格局明朗值得玩味的是，2026年，三巨头几乎在同时做同一件事，只是路径各不相同。

4、一个周末，AI黑掉了AI！这剧情太科幻了

用Python工具链，每个平台编译要8分钟，整个构建矩阵每次发布得等上半小时。

5、王晶不再隐瞒，张柏芝婚变主因不是王菲，是让她3年怀孕5次的人

这标志着全球最顶尖的性能车品牌，已经将「四轮毂电机」方案作为电动时代的终极答案。

6、4换1！交易达成！东契奇等来最强帮手

把这些维度串起来，会看到一个完整的增强回路。

早期实测显示，该模型在前端界面生成与空间推理方面表现极差，被用户戏称为「史上最差」。

参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。

7、被曝离婚的李小冉，早就给自己找好了后路，原来她跟王菲是一类人

自AI4S智能体CNS挑战赛、电力市场交易、可控核聚变、生物结构预测与古文字识别五大赛道的30支队伍齐聚西岸，在上海科学智能研究院（下称「上智院」）开展线下答辩，最终决出5支一等奖、10支二等奖、15支三等奖团队。

灵犀给出的答案是四个词——懂你、懂事、懂交付、懂闭环。

8、69㎡，推开这扇门，就被美拉德色系温柔捕获了

智能体的火，烧得比谁的规划都快。

第三种声音同样来自Nat Sothanaphan，他借用了Bloom的一个说法：现代数学是一座巨大的教堂。

没有人类，坐在键盘前。

为了保持长时一致性，模型需要维护较重的历史信息；当前片段需要参考更长上下文；每生成一个视频片段，又要经过多步去噪。