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

1、米兰体育 要做到这一点，它手里就得一直攥着你的登录凭证，以及一大把系统级权限。

老板为什么这么需要私人助理？主要是因为助理知道老板的上下文——了解老板的脾气秉性、工作习惯、近期在忙什么、哪些人需要对接。米兰体育「我的手举起来了。

2、SEC最大黑马？肯塔基携5大利好迎斯坦时代首秀

因高度还原真实装置运行约束与工程逻辑，新奥玄龙-50U球形环装置高保真仿真平台的专业性受到不少从业于聚变控制领域参赛者的认可。

3、啃阵地还是跑起来，我们眼中的二选一难题，现代篮球早已给出答案

一个分数可能难以令人信服，那么，GPT-5.6离开考场、真刀真枪干活时是什么样？ 光有分不够 把GPT-5.6拉去干活 开发者Amir Bohlooli拿同一个物理模拟prompt，同时喂给Fable 5和GPT-5.6 Sol，本以为会被Fable碾压，结果反被GPT惊到。

4、英联邦运动会格拉斯哥开幕 印度靠拳击田径举重冲前五

DA-Nav没有让视觉语言模型直接预测连续三维坐标，而是将机器人第一视角中的道路空间划分为候选区域，让模型先在画面中判断接下来应该经过哪些位置，再由控制模块将这些空间落点转化为可执行轨迹。

5、没有冠名的热刺球场，怎么变成赚钱机器的？

大千世界，晓识万象 回到开头那笔深夜订单。

他花了几十美金买了个域名，搭建了一个极具硅谷审美的官网。

机器人进入家庭之后，将开创一个全新的物理交互维度。

6、维拉已敲定加纳乔！周四官宣加盟，同时切尔西双星杰克逊在谈总价1亿

这一次，「好看」不再是终点，「能用」才是。

有人担心学生数据隐私，有人担心教育被过度自动化，还有人翻旧账：硅谷高管自己的孩子，上的却是不带科技产品的学校。

7、喷气机队上季零抄截急需补强，前熊队角卫赖特成二号角卫热门

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

火星和木星之间，是一圈细碎的尘在慢慢转——小行星带。

8、1996款克尔维特Grand Sport：810辆限量、57k英里，改装排气悬架

保持投放精准度靠的是一个每天转动的反馈飞轮。

如果只是在一个无干扰台面上，按部就班地执行机械化工作，根本用不着大模型。

Kimi K3发布的含金量，还在上升。

9、西班牙加时1-0胜十人阿根廷，2026世界杯决赛夺冠

对个人用户影响不大，但对那些把Agent挂在工作时间不间断跑的团队来说，这是实打实要重新算的一笔账。

大脑（ABot-ER）：具身大脑，负责统一的逻辑推理与环境认知。

10、点球都能输的德国队，你指望他们赢得什么？

进到真实业务里，这省下来的全是真金白银。

杨帆说了一段特别犀利的话：很多自称算力服务商的公司，实际上是帮大厂代持机器、签长租约，本质上提供的是一种金融服务。

1、阿根廷职业联赛Clausura首轮：飓风迎战班菲尔德，近5次

机器人由此从「生成一个逼真的虚拟未来」，转向「预判自己这一下会对世界造成什么影响」。

2、MLB交易截止日倒计时：金莺老虎等多队仍陷买卖两难，未来一周定走向

参考资料： https://x.com/jenny_wen/status/2076679443754475919?s=20 https://jennywen.ca/ 编辑：桃子新智元报道 【新智元导读】人类迈入全新科学时代！卡半年的弦论笔记被Claude Fable 5一晚破解，AI甚至主动写代码验证自己的预测，AI怀疑论或彻底破产。

3、动动手指拿大奖 “泾生宠爱”萌主系列征选大赛正在进行中_网易订阅

标准化解题与原创科研探索的核心差异，正体现在这一点。送走杜锋，朱芳雨！弃杜润旺，广东男篮正在下盘大棋，迎回功勋建新王朝5小时的限速高墙被他一脚踹倒，用量上限如今一天一刷新，光一个周末就连重了两次。

4、恒大青训产品首发！茹萨又没进名单，蓉城踩刹车？约翰来了个大轮换

逐际动力创始人张巍的判断截然不同：纯大模型就像躺在病床上的霍金——极其聪明，具备强大的思考、决策、认知能力，但无法自主行动。

5、玛莎拉蒂电跑也挤牙膏？2027款官图仅微调藏玄机

但她一定会精准地出现在你最愿意相信善良的地方，用你最想听到的故事，换走你最珍贵的东西——你的信任。

6、从利物浦26号到热刺3号，罗伯逊：我得尊重那个传奇

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

你写了段破绽百出的代码让Claude看，它不但没嘲笑，还先夸了句结构清晰。

机器人拥有比人类丰富得多的传感器矩阵，能够潜入人类无法涉足的环境，7×24小时不间断地收集数据。

7、宁忠岩的金牌，遮不住中国冰上的“窟窿”

各方爆料一起涌出：谷歌的终极杀器——Gemini 3.5 Pro，代号「Cappuccino」，将在48小时内正式上线！ 200万的超大上下文窗口，全新的「深度思考」推理模式，据说内部评测已经吊打了GPT-5.6 Sol和Claude Fable 5。

谷歌甚至不敢在内部公开宣布这件事。

8、“你会被踢出会议！”Jon Sumrall遭手机闹钟打断，差点在SEC媒体日摔讲台

于是他干了件过去想都不敢想的事：用Claude Code，把整个Bun从Zig迁到内存更安全的Rust。

长城挑战，是一场「实战」。

打个比方，你在做一个交易系统的账单导出功能，AI用Runtime.getRuntime().exec()调用系统命令，才生成一行代码，就被第一层标记出来了。

AI Coding在这里，已经不是一个提效工具，而是长在企业身上的研发基础设施。