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

1、火狐买球 物理智能Scaling面临三道墙：数据墙、表征墙和闭环墙。

这组差异意味着，纠偏并不是模型在执行过程中自然获得的附加能力。火狐买球场景单位：长电科技面向危化环境，封测产线场景聚焦安全生产与制造。

2、俄罗斯提供帮助？伊朗炸中情局太准，美国情报部门坐不住了

而这一差距，单看平台或单看模型都无法解释。

3、550亿美元收购获批准！EA要和DEI说再见了？

编辑：大卫 所罗门新智元报道 2026年WAIC的展厅里，人潮涌动。

4、又爆了！湖人用布朗尼4换1华盛顿！？你侠真要签詹姆斯了！

做加法，比一上来堆满再删容易。

5、近34场不败！摩洛哥是世界杯夺冠热门？

面对训练和推理环境不同，造成的长程任务执行过程中的误差累积问题，ABot-M0.5通过ABot体系激活了「数据回流」机制进行了解决。

比如，Anthropic推出AI科研工作台Claude Science，将科研拆成可逐步审计的流水线，实现综述写作、基因分析等特定环节效率提升10倍；Google DeepMind的GNoME用图神经网络预测无机晶体稳定性、以「生成候选→DFT 验证→数据回流」的闭环产出约 220 万个结构。

更要命的是，这些Agent不是偶尔吃一顿，它们7×24小时不停地吃。

6、流言退散！深度解析泰山现阶段阵容走势与人员变动真相_网易订阅

当他的几个Claude在Loop里写代码时，它们会自己跑到Slack上，跟同事的Claude聊天，对齐那些谁都还没想明白的地方。

VLA与世界模型谁是下一个目标？真机数据还是人类数据更有价值？全栈还是只做大脑？ 这些问题没有标准答案，但有一点是确定的：物理AI正在以远超预期的速度向我们走来。

7、三镇2-0十人新鹏城 近11轮首胜 少赛1场距海牛3分 21岁新星生涯首球

越到两个极端，它越容易判错。

而中国「芯」的智能体时代，或许正从今天的上海滩，启程出发。

8、邹市明一家五口合照曝光！回应创业失败：钱是我一拳一拳打出来的

AI时代，这笔交易要重新谈了。

这些信息单独看可能只是一次提示词、一次模型调用或一次用户纠正，但积累起来，它们构成的并不是普通数据，而是一张企业的认知地图。

换句话说，它懂得蛋白质是蛋白质、光谱是光谱，而这两者又能在同一个模型里被一起理解。

9、干细胞赛道风起：从“跟跑”到“领跑”，千亿级产业加速突围重构

现在它交给你的，越来越接近一个能连上你的数据、自己跑起来的应用。

真急症的判轻率51.6%，居家级病例的判重率64.8%。

10、申花开赛至今都没5外援首发 依然足协杯进8强 联赛赢了8场 平了5场

真正决定机器人有没有产业价值的，不是它像不像人，而是能不能快速适应复杂环境、完成真实任务、用足够低的成本实现部署。

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

1、玩家骂声还没到，索尼的“禁言令”先发了——前战神编剧透露内部公关策略

更妙的是，在处理「上下文记忆」时，它的计算成本几乎不增加。

2、农民骂光伏是骗局，国家却拼命砸钱，这矛盾到底怎么来的？

动画海报 ·二次元乐队 一张8K的国风二次元乐队《长安未眠》舞台海报，简直令人拍案叫绝。

3、2026年中国宠物分阶喂养行业绿皮书

「工程师」这个角色，在Boris这儿也被改写了： 模型负责写代码，他负责搭系统、做验收。早读敢押佛得角的底气，藏在基座里 看到这你可能要问了，既能押中黑马，又能完成巨幅战报图，靠得是什么能力？ 答案就藏在它背后的商汤日日新SenseNova大模型体系和集成其能力的的Skills。

4、王心凌“捏捏广州小蛮腰”！一句话双关秀身材，网友：这活人感太爱了

作为空间理解的核心底座，ACE-BRAIN-0.5累计斩获十二项全球SOTA，在空间理解、导航决策、操作执行、进度评估等维度跻身全球第一梯队。

5、火爆脾气曾与杨鸣激情对喷！山东男篮放弃大外援克里斯优先续约权

智能体已经好用到大家抢着用。

6、Confiant报告：恶意广告在浏览器内组装专属恶意软件，近半年已波及多国

系统比较审稿人实际评分与Anchor Score之间的差值（Residual）。

过去AI办公工具最多做到「生成一段文字」，属于参谋型。

算力的新货币，叫Token 今天上午，此芯科技创始人、CEO孙文剑登台，开口就扔出了一个判断： 我们正站在一个从「生成内容」到「完成工作」的范式跃迁的起点，而此芯科技，将是这场变革的核心驱动力。

7、瞄准备孕、怀孕人群的牙膏，是新刚需吗？

所有的智能，最终都要从这样一层地基上长出来。

车还在路上，Claude就已经替她干起活来了，这是她前一天交代过的任务： 把当天每个学生的「出门测」（exit ticket）挨个复盘一遍，看谁掌握了、谁还卡着，再据此把明天的教案调一版。

8、一年650万！掘金奇兵出走，约基奇痛失好帮手，马刺坐收好礼

为了客观量化该项能力，研究团队搭建了AtomWorld评测框架，框架依托材料领域通用晶体学信息实现自动化测评。

第二项，它会自己查自己。

效率可想而知。

25页苦心，换来高层的「已读不回」 为了阻止谷歌签下这份「卖身契」，特纳开始了长达数月的内部斡旋。