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

1、b体育官网 V4正式版打造的一款《我的世界》+《无人深空》的混合游戏HTML，可玩度还是比较高的。

所有人都在兴奋地倒计时，摩拳擦掌，准备见证历史。b体育官网金星和天王星的自转必须是负数。

2、低空“飞手”护林海，江苏加快构建“空地一体化”智能监测预警体系

区别就在「创作」两个字。

3、1941年Packard敞篷轿跑再现：282ci直八配三速手排，银红双色尽显战前风骨

实验室还需与标准机构合作，处理模型发布后暴露出的任何重大漏洞。

4、上季冲球1585码18达阵，新赛季或成首轮地雷？Jonathan Taylor风险几何

全场最廉价的白卷 P6这道数论题是Day 2的压轴，它要求证明递推序列最终具有周期性。

5、卡拉格批姆巴佩失点：最关键时刻掉链子！缺乏信心未能扛起球队

一句话总结：老办法是让模型在一大堆搜索结果里凑答案，HMS则先像人一样，把回忆这件事有规划、有验证、有条理地做完，再请模型下笔。

」 「中国似乎正在以肉眼可见的速度，迅速抹去美国在先进AI领域的领先优势。

要知道，130这道门槛之前一直没被跨过去。

6、空门打立柱！中超名场面+1，球迷：这球可能入选中超十大笑话

模型侧腹背受敌的谷歌，突然把更多筹码推向了自己最深的那条护城河——芯片。

参考资料： https://claude.com/blog/getting-started-with-loops https://code.claude.com/docs/en/agent-sdk/agent-loop https://support.claude.com/en/articles/14554000-claude-code-power-user-tips?utm_source=chatgpt.com https://www.reddit.com/r/ClaudeWorkflows/comments/1ujy4wq/workflow_designing_robust_claude_agent_loops/ 编辑：元宇新智元报道 数亿美金，竟输给了一台相机？ 一边，是硅谷明星机器人初创Physical Intelligence，用数亿美金算力砸出来的明星大模型π0.5。

7、美国脚贝尔哈特被曝200万转战英冠 与前队友重聚 其父曾执教美国队

商汤已经签约国星宇航，计划今年四季度发射4颗「商汤号」系列算力卫星，完成首发并组网；2028年目标建成星地混合云商用骨干网；到2030年建成千颗级天地一体化AI算力星座。

钉进传统电影的心脏 X用户Harold Carver的评论，可能是这整场风波里最清醒的一句话： 「谢谢你，Elon。

8、罗德里被指推动转会皇马，但即将接受背部手术

打开这个网页，中间是今天的日期，而屏幕上那八颗行星，正站在它们此刻真实所在的位置上。

表面更是暗藏玄机。

银河通用首次在顶级会议ICCV发布WAM模型，全球首次打破壁垒。

9、洋基盯上蓝鸟内野手克莱门特，去年季后赛打击率4成11

给它一句「把货架第二层左边那个蓝瓶子拿过来」，它得先弄清你要哪个瓶子，再用「眼睛」看清现场，然后把这句话拆成一串动作：移到架前、伸手、抓稳、退出、送到前台。

过去几年，老师们用AI生成教学材料，几乎都踩过同一个坑：看着挺漂亮，教起来很空。

10、里斯回应WNBA教练歧视言论：感激联盟禁赛，这里不容仇恨

数亿美金算力砸出来的π0.5，平均成功率跌到14.8%；而WAM-TTT是它的3.1倍。

当我们谈论具身智能，实际上在谈论未来十年的通用生产力。

1、场均20+10却续约僵局，年薪2.87亿恐成泡影？活塞高管揭杜伦真实现状

Coding的下半场，拼的是「工程」 KAT-Coder-Pro V2.5背后是一个清醒的判断： 眼下限制编程模型变强的，已经从「模型多大」转向「周边基建够不够扎实」。

2、杜特尔特被关一年多，能救他的竟是特朗普？国际刑事法院摊上大事

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

3、肋骨骨折恢复中，扬基重炮贾奇转入60天伤病名单_网易订阅

模型必须基于当前图像、机器人状态、任务指令和历史信息，回答一系列受约束的问题。流浪者主帅批凯尔特人点球“恶心”遭禁赛4场，俱乐部将上诉不过，人们上手后的实测，恰恰给出了另一半答案：GPT-5.6好像，正在把「会做题」和「会做事」这两件事，慢慢拧到一起。

4、克洛普：如果塔的进球是犯规在先，那么阿森纳就不是英超冠军；太阳报：曼联确信乌加特的伤情不会影响俱乐部的夏窗转会运作

走到2026年年中，大模型这场仗，早就不只是比谁更聪明了—— 而是比谁能把「最聪明」这件事，做到让普通人也付得起。

5、仅1球4助！加纳乔切尔西数据断崖下跌 一项关键指标却让埃梅里4300万押注

而GPT-5.6最抢眼的几样新东西：max档更长的思考、ultra默认四个智能体并行、更大的上下文窗口，恰恰全是吃token的猛兽。

6、为何得州人四十年珍藏雷鸟无底价出？Holley喷射V8与蜂蜜黄秘辛

这里面还有一个很关键的设计——多人协同。

据CNBC报道，这是谷歌「有史以来规模最大的预训练项目」。

防御窗口收窄 防御工具也在加速 AISI 在报告中明确了政策信号：防御方的准备时间比去年更短。

7、赫尔城老板：被拒传闻让我不安，已签3将，日本中场签约进度99%

7个Claude通跑，设计流程已死 今年3月的《Lenny's Podcast》，她开局就给了所有人一记闷棍—— 设计师被教了这么多年、当成圣经的那套设计流程，基本上已经死了。

但在这片热闹里，有一家公司做的事有点「反常」——它不造机器人。

8、岳阳市中心医院肿瘤科加入全国肿瘤临床研究协作组，学科发展再上新台阶

久而久之，企业可能越来越依赖模型供应商，而模型供应商却越来越理解企业。

但那种能力，就在这个早上「彻底消失了」。

这带来一个很直观的变化：Agent太能吃了。

说白了，这家做了38年办公软件的公司，这回干了一件很大胆的事——他们要给每个打工人，配一个「私人助理」。