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

1、bob登陆入口 他曾用一年，写下了Bun这个比Node.js还快的JavaScript运行时。

这是个科学怪人式的检查点——塞满了Qwen2.5-7B-Instruct的碎片，循环重用，用随机数据填充，外加一堆无法验证的基准测试成绩。bob登陆入口机器人关节对电机的要求极为苛刻：体积小、扭矩大、精度高。

2、追梦降薪后不久，詹姆斯也有表态，金州复仇者联盟真要来了吗

ABot-N1在R2R-CE等5项权威基准取得SOTA 让机器人真正走向开放世界，最大的拦路虎就是机器人无法直接使用常规的导航地图。

3、渣叔挂帅！克洛普正式执掌德国队，日耳曼战车终于要醒了？

但一个学习闭环要真正运行，必须有一个可靠的学习信号。

4、李云峰在交城调研

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

5、挪威足协主席：因凡蒂诺应为特朗普干预禁赛案面对道德委员会

第二步：杀入新能源汽车主战场 小象电动CEO透露，公司会先从高性能的、对价格成本不敏感的场景入手，最后再走向更广阔的乘用车市场。

而真正让Fithian「颇有嫉妒」的是GPT-5.6抵达结论的方式。

晓途：一脑多形，7×24小时在岗 它依托通用智能大脑（Agentic AI），同一个脑子能适配多种形态的四足机器人本体，室内外无缝衔接、动静态避障、多机协同调度，全程无需人工干预。

6、克洛普即将就任德国队主帅，召入林德斯与克拉维茨辅佐

第三步，Token量跑起来了。

这已经不是一场行业展会，而是真正的国家级AI盛会。

7、泸州市第三届幼儿教师基本功展评活动圆满举行

他们很清楚，即便是轴向磁通电机，要满足车规级的大规模量产，依然需要漫长的验证。

项目背后的操盘手，是一位名叫Max Scherf的小哥。

8、记者：芒特去米兰是个不错的机会，他在曼联没有未来

更具价值的是，平台沉淀的科研资产并非静态存档数据，而是可复用、可迭代、可持续反哺模型的动态核心资源。

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

部署逻辑是「职能 × 岗级」的矩阵——每个职能（数分、投放、创意、洞察）乘每个岗级，生成对应的智能体。

9、3-0，意大利U17轻取黑山U17，尤文小将首发进球

帖子结尾他还提醒大家额度再过几分钟就恢复了，多去忙自己的正事，别总刷推特了。

作为全球首个自主科研智能体赛事，创新赛道「AI4S智能体CNS挑战赛」打破以往只比拼算法模型的竞赛模式，转而考核科研智能体全流程自主工作能力。

10、奥利塞追平贝利！单届6送助攻，创世界杯纪录，25场独造15球

身高173厘米，体重70公斤，1:8.5的头身比，与真人几乎实现了像素级的一比一还原。

传统做法里，手动搭量子电路、调试噪声模型、做数值演算、再把结果绘图汇总，本身就很耗时。

1、尤文旧将追踪：道格拉斯科斯塔意丁9场0球

为满足技术要求，需攻克透明材质识别、柔性力控等产业级难题。

2、亨利点评梅西：他才是世界杯最可怕的球员，足球智慧无人能及

承认事情是真的。

3、徒步险丧命，户外约人要谨慎

代码提交前的最后一道关，就是「提交前要不要先扫一下？」 此时，扫描引擎会从局部的「一隅之地」跳出来，构建整套项目的全局依赖关系图，进行深度语义分析。刘家峡完成今年入汛首次“异重流”排沙作业第二道槛：从对话框到工作台 钛极的能力再强，缺了工作流承接，它还是一个聊天窗口。

4、训练营在即爱国者三大难题待解：续约冈萨雷斯、填补近端锋空缺

第一道叫Prefill，就是「读题」：把用户扔过来的资料、文档、聊天记录、上下文全部读进去，理解清楚。

5、康熙无嫡女成人，为何却有五位固伦公主？玄烨仅封1位

这不是数学能力问题，是agent能力问题。

6、NFL年收破140亿美元，超MLB、NBA、NHL总和

AI 选品智能体先跑了一遍数据：美国户外场景需求大但竞争拥挤，英国办公室咖啡场景增速更快、进入窗口更好，建议两个市场同时测试。

而这组数字真正的分量，首先在它的测法：所有被拿来比较的系统，全部基于各自的官方开源仓库复现，并且统一用同一个模型GPT-5-mini来完成记忆抽取、答案生成和对错判定。

作为此芯科技在全球计算平台层面的重要合作伙伴，Arm 边缘 AI 消费计算市场高级总监 Parag Beeraka 通过线上视频连线致辞： AI正从简单的问答交互时代迈向智能体计算时代，这一转变仰赖CPU与各类加速器在系统层面实现高效协同。

7、中超8轮积分榜：前5积分均上双，申花落后榜首12分，仅剩1队负分

当它们还在用文字绕圈子解释噪声影响时，磐石直接「甩」出了depolarizing noise作用后的完整密度矩阵： 评价纠缠态，磐石一针见血地指出：混合态不能只看子系统熵，必须上Concurrence（共生纠缠度）等硬指标。

2025年3月，那次视觉重构—— 刷新观感、砍掉冗余功能、把无数小细节一个个拧紧，让一个正在疯狂膨胀的产品重新变得「像一个整体」。

8、莱万揭秘亚马尔世界杯失常之谜：八周没踢球，上来就干高强度的

更让我惊喜的是改稿环节。

具身智能真正的未来，是走向AGI，是在开放、未知、充满长尾变数的真实世界中执行高度泛化的任务。

逐际动力回答的是另一个问题：如何把能力组织成一个能在真实身体上运转的系统。

那双看起来纤细的机械臂，负载能力直接超过了20公斤。