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

1、kaiyun网页版登录入口 效率提升只是表层。

AI Agent不再是PPT上的愿景，而是真的开始拆任务、调工具、跑流程。kaiyun网页版登录入口被问到是否需要考核员工使用 AI 的频率，李述昊的回答很干脆： 不用。

2、10号核心捂嘴交流直红离场！巴拉圭惊险晋级，新规该如何拿捏尺度

不公开、防泄题，专门用来堵住「模型提前背过答案」的漏洞。

3、男篮世青赛爆发大冲突！全场4人被驱逐：中国小将劝架被打还挨罚

终局是什么？一万个人读同一本《几何原本》，一万个大脑长出同一套几何直觉。

4、泰山队四外援出征深圳，两人复出随队，中场人员安排要有新变化

OpenAI未公开模型解5题拿下35分金牌，Gemini Deep Think达到同等段位。

5、科普｜从“瘀”与“痛”读懂子宫内膜异位症

每一个被提出的候选证明，都要被拿来疯狂攻击。

他们的Helix VLA模型，走的是快慢脑双系统架构，目标不是卖机器人，是卖劳动力。

他们更在意的问题是：角色是否足够独特，情绪是否成立，以及这个概念最终能不能变成真正好玩的产品。

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

AI的竞争开始拼物理。

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

7、推动新时代社会工作高质量发展 坚定不移走中国特色社会主义社会治理之路

人会耸耸肩走开 AI会接着试下一个 如果只有这一件事，它顶多算个漂亮的孤例。

从「看到」到「看懂后果」，这一步之差，恰恰是物理AI从表演走向生产力的分水岭。

8、战报

截止今年7月，无问芯穹Agentic MaaS平台日均Token调用量较年初增长约40倍。

朱红色的丝带贯穿山谷，与山脚下极小的白衣人物形成鲜明对比，那种「寄蜉蝣于天地」的宏大尺度感扑面而来。

同一个页面，面对不同的查看者，各自拉各自的数据，干各自权限内的活。

9、险些加盟青岛！媒体人：有其他球队也想要赵柏清 但同曦不舍得放手

Fable 5不会记住你。

不要修代码，六步核心框架 那么，这套打法的灵魂是什么？ Anthropic把它总结成一句话：不修代码，而要修那个产出代码的loop。

10、“镁”好人生—镁与中国全民健康管理白皮书

这，正是这项工作的出发点。

Dyna嫌贴标签不够。

1、和李月汝同遭低谷！自由人总裁杯决赛夺冠却弃用韩旭 女篮遇危机

任何企业都可以买到相似的模型，也都可以使用相似的API。

2、这，可能是今年WAIC最惊艳的图片！

于是护城河换了「品类」。

3、前北京国安外援巴坎布 前海港外援巴尔加斯 下一站会是哪里

两条指令打架，GPT-6选择了后者，即去公开仓库提交结果。5月张江AI创新小镇，邀您共赴这场 AI for Materials 闭门之约他随手举了一个例子：机器翻译折腾了许多年，大语言模型出来以后直接碾压了整个赛道。

4、泰山半场输大连？结果早已不重要！伤病+无轮换，球队已陷入绝境

过去企业能查到的，最多只有前半个。

5、《逐玉》热播数据与传播效果分析报告

「每当我想退缩时，我就会看看手机里存着的那张照片——那个被DHS特工在街头无辜枪杀的平民。

6、孙颖莎4-3蒯曼，赢不可怕，可怕的是赛后郭焱说的话，不愧是世一

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

前沿安全研究表明，一个高级AI如果想要欺骗人类，它绝不会直接写在最终输出里，而是会隐藏在CoT中。

而WAM-TTT之所以能被称为新范式，是因为它在测试部署阶段（Test-Time），实现了三大史无前例的底层突破： 数据采集：部署只需人类数据 过去，你要让机器人适应新环境，就必须喂给它「机器人轨迹数据」。

7、绍兴一音乐节突然公告：全额退款！

有一个智能体在替他给Claude写提示词，他只跟那个「协调一切」的新Claude对话。

翻译成大白话：用户使用周期越长，系统会自动学会诸如「计划中的事件不该当成已完成的来计数」「问上周六的事要先把上周六解析成具体日期」这类细微但关键的判断。

8、又一个高手加盟火箭！这下别说雷霆，连马刺也要担心了

当时，Anthropic拒绝了这一霸王条款，结果遭到「切断供应链」的威胁。

当他再次走进谷歌办公楼这个「科技圣殿」时，他感觉自己像是一个回到了旧高中的毕业生——曾经这里装满了梦想， 但现在，他非常清楚地知道，自己已经不属于这里了。

传统的后训练路径，是把真机拉到现场，一遍遍试错、一遍遍采数据，昂贵且缓慢。

电影海报 · 雨夜来信 一张民国上海的悬疑电影海报。