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

1、nba下注 然而，光照的明暗、物体的纹理与尺寸、桌面高出或低了几厘米…… 任何微小的现实差异，都可能让性能显著下降。

结语 AI时代最危险的误解，是认为企业只要接入最先进的大模型，就拥有了智能。nba下注也就是说，两个人打开同一个看板，会因为各自账号能碰到的数据不同，看到不一样的东西。

2、排位锁死无悬念，鲁辽季后赛首轮巅峰对决

真实的软件工程，九成的功夫都花在这些「万一」上。

3、恩佐红牌、罗梅罗伤退：阿根廷的点球剧本为何彻底崩盘

对此，无问芯穹的答案，是它首创的「跨集群异构PD分离架构」（Prefill-RelayDecode-MainDecode，PDD）。

4、运动品牌，瓜分耐克高管

AI虽然未能完美预测出绿茵场上的终极比分，但这恰恰证明了现实世界的不可预知与巨大魅力。

5、Marine Serre x Under Armour 完整公布

方向再清楚不过：OpenAI要把ChatGPT，变成你干活的地方。

过去这两者混在一起，没人分得开。

WAM-TTT是「理解型」学习，用快速权重吸收的是任务的本质动态结构，而不是死记硬背表面特征。

6、金价大跌，老铺黄金迎来「压力测试」

对于整个行业来说，这或许是一件好事。

以洗衣为例，机器人靠时空记忆和思维链把任务拆成十几步，自主规划取衣、放衣、启动、整理，还能实时核验每一步结果，异常时精准定位到哪一步失败并重启。

7、印尼过河拆桥，中方企业不惯着！没了中国，印度埋的雷果然炸了

爱诗在今年初发布 PixVerse R1，全球首个支持最高1080P分辨率、可实现即时响应的通用实时世界模型；近期又在联合国 AI for Good 峰会展示了PixVerse Game—— 首个实时视频游戏引擎。

这四类失配，横跨了报告测试的14个前沿模型，包括Anthropic、OpenAI、Google DeepMind、xAI等全球前沿AI实验室。

8、3月份国内马拉松奖金榜：毛金虎朱卿居男女榜首

」 在这个漫长的打磨过程中，机器人自身就在不断收集数据、反哺算法。

而它则是一个字节一个字节对：差一点，就抛出错误，原数据纹丝不动。

通用Agentic，从「会调工具」到「能扛业务」 写代码只是Agentic能力的一半。

9、中国男篮又一人冲击NBA！2米26徐昕飞赴美国，此前马刺邀请他试训

最近，这个AI时空漫游Vlog在Youtube上爆火，简直一夜封神。

以前那种先研究、再动手、边做边自我推翻的劲儿，没了。

10、10分4板胡金秋再被喷！他是情有可原还是能力真下滑了？

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

下一代物理世界的入口 超维动力脑海中的家庭机器人终局，绝不是一堆专用机器塞满你的客厅。

1、估值超200亿元，百川智能完成50亿元A轮融资，北上深国资入局

商业广告 · 山岚高山乌龙茶 再看一张奢侈品级的茶叶广告，最考验的是材质和文字。

2、《EVA》《阿基拉》卖疯了，「动漫 Tee」成为 Vintage 硬通货

发布会后半段，来酷科技、后摩智能、天数智芯、银联商务等生态伙伴先后登台，分别从智能家居、端侧加速、算力普惠、支付安全等角度，展示了各自与此芯科技的协同落地方案。

3、明日14点男篮VS台北生死战，传来3好3坏消息，阵容天克，男篮能赢

论文地址：https://arxiv.org/abs/2510.04704 项目主页：https://masterai-eam.github.io/atomworld/ 代码仓库：https://github.com/MasterAI-EAM/atomworld 理解不等于操作 在科学领域，大模型已经展现出了惊人的 「理解力」：读懂文献、预测材料性质、解析晶体结构、甚至科学发现。别再说苏超没悬念了！扬州主场死磕徐州，这场球谁都输不起！_网易订阅当时，这件事足以让全网倒吸一口凉气。

4、全球领先AI超大规模云服务商采用ATLANT 3D NANOFABRICATOR® LITE平台，打造AI驱动材料发现实验室

」 OpenAI的Aaron Lou用内部Codex（无网络搜索）从零推导出本质相同的反例，完整写出策略与证明，还给出可复现的数学推导（从三次因式分解到仿射坐标变换）。

5、贺希宁顶薪合同到期，半决赛场均仅11.8分，还值得顶薪续约吗

」 这组数据对 AGI 格局的影响比数字本身更深远。

6、又美又能打！中国女篮18岁1米93新星崛起：场均砍20+5，看齐黄思静？

官方给这款产品的定调也很清楚：Claude for Teachers是给老师的工具，不替代老师，更不直接喂给学生。

第三件是国产化。

自AI4S智能体CNS挑战赛、电力市场交易、可控核聚变、生物结构预测与古文字识别五大赛道的30支队伍齐聚西岸，在上海科学智能研究院（下称「上智院」）开展线下答辩，最终决出5支一等奖、10支二等奖、15支三等奖团队。

7、咖啡战火蔓延！名创优品试水咖啡，跨界杀入餐饮市场？

物理AI三道墙前，背后三场争论 不过，这次有个隐秘共识：下一阶段不再拼Demo花哨，而是拼谁能把「经验」规模化。

AI 消除在简单背景下尚可，遇到复杂场景就露出阴影残留、边缘模糊和纹理断裂。

8、山西逆转北京！赢球三大调整，管理层重任队长人选，潘江终有进步

高效压缩能用更少Token承载同等视觉信息，就像高清图转高质量JPEG——画质不减，体积锐减。

自研多模态模型MiniCPM-V/O系列已迭代两年半，开源下载量突破2500万；MiniCPM-V 4.6开源不到2个月下载量突破200w，在国内外社区影响力广泛。

如果强行把模型的预测动作和原始轨迹的固定时间点绑死，模型学到的就成了采集员的手速，而不是任务本身的规律。

三是三层奖励。