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

1、b体育官网 首先是「工业皇冠上的明珠」——半导体制造设备。

Palantir需要向前一步 Palantir的强项一直不是训练最大的模型，而是将数据、业务对象、权限和行动连接到一个企业级Ontology中。b体育官网这条路才刚刚开始，但方向已经清楚。

2、拿中国当冤大头？美对伊开战划掉1000亿，特朗普：钱找北京要

比运维更硬核的，是高性能算子生成智能体系统KernelMind。

3、两天三大传奇告别世界杯！41岁C罗一语成谶，内马尔奥乔亚爆哭

各有各的强项，也各有各的天花板： 领域专用模型（AlphaFold 3、ESM3）：在蛋白质等特定对象的预测任务上做到了极致，但能力也被严格局限在单一对象和任务形式上； 工具增强型通用模型（GPT-Rosalind、Claude Science）：凭借外部工具链灵活切入科学场景，但其科学能力仅寄生于工具，模型本体并未深化对科学的本质理解； 科学语言模型（NatureLM、LOGOS、BioMatrix）：试图将蛋白质、分子等转化为符号序列进行跨对象的统一联合建模，但目前的探索仍主要停留在表征层面。

4、非布司他降尿酸，能用于无症状患者吗？

这才是「反思」落到实处的样子。

5、《人民日报》点赞株洲这家制造企业

COSA 负责「大脑系统」，FluxVLA Engine 负责让这套系统的 VLA 技能可被训练、复用、被反馈、被迭代。

GPT-5干的事情，是把他不知道的那些文献翻了出来。

人形机器人作为通用底座，技能可以化身为App和Skill。

6、那个对你笑的人，正在给你最高级的冷暴力

很多人幻想，给机器人看几个示例视频，它就能像ChatGPT写文章一样照猫画虎。

磐石在科研世界里扮演的，正是这个角色：从文献分析、研究假设、方案设计，到建模仿真、验证分析、成果表达，科研全生命周期的六个环节，它全程在场。

7、引援目标变了？曝皇马对罗德里展现浓厚兴趣，但交易需要说服一人

参考资料： https://x.com/demishassabis/status/2076957440109625718?s=20 编辑：大卫 所罗门新智元报道 【新智元导读】大模型在原子操作任务中遭遇瓶颈。

竞争对手可能拥有同样的大模型，但不一定知道： 企业如何识别一个高价值客户； 如何判断一次设备故障的根因； 如何安排现场维修资源； 如何进行客户补救； 如何在成本、满意度和风险之间做权衡； 如何判断一次任务执行是否值得复用。

8、10亿美元！孟加拉批准马塔尔巴里深水港修造船园区，中国港湾为技术合作方

模型主权解决的是推理资源控制权。

产出的结构 - 文本配对数据送入大模型智能体，通过pymatgen的StructureMatcher工具对比模型输出结构与标准目标结构，量化评估模型性能。

Skill 则处在知识与行动之间。

9、11级大风、大暴雨！最强影响时段来了

产业界涌现出大量场景真题。

通用大模型的底层逻辑，是基于统计的「概率」。

10、泰国总理阿努廷会见董军

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

这什么神仙速度？ GPT-5.6发布满打满算才6天，活跃用户就一路狂奔—— 12日冲到600万，13日破700万，到今天15日，直接飙上800万。

1、中国代表强调和平解决争端是联合国会员国宪章义务

从写prompt到写loop 中间隔着一道验收 一个会自己无限干活的AI，凭什么不是一台高速产出bug的机器？ 答案在一个被大多数人略过的环节：验收。

2、陈天灿30分！中车时代新材险胜湘钢

具身智能，已被明确写入「十五五」规划纲要，成为国家重点布局的未来产业方向。

3、筑巢繁殖！白琵鹭“落户”延庆~

过去几年，AI算力围着Scaling Law转，火力全部压在「训练」上训练是军备竞赛，但它只打一次。哈兰德不是挪威队核心吗？为什么不传球给他？还提前下场？听上去简单，切片、上传、拼回去。

4、热҈热热҈~今日入伏！避暑指南来了

剩下的路，让它自己闯。

5、Oracle 拿下美国战争部 10 年长约，总价值最高可达 69.9 亿美元

整个过程里，规则从不靠手工打补丁： 评审员每揪出一个错，就往规则手册里加一句话，再把受影响的那批文件重新生成一遍。

6、三伏通三焦！10分钟排毒排湿瑜伽，胜过跑步1小时，淤堵打通了

第一步，先想清楚要找什么，再动手找。

单Agent自主完成一次办公任务，动辄消耗数万Token；而多个智能体协同作业，一个任务就要烧掉上百万Token。

在试点中，日均有效沟通时长被提高了36%。

7、在肯尼亚，8月1日这个节日越来越火：他们用鲜花和手写信悄悄宠女友

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

现在已经退回272k，接下来几天再把372k放出去。

8、孟加拉国总统楚普辞职

明天它还是会夸你的点子有意思，还是会说你那段代码结构清晰。

「但要踏踏实实去做，这3到5年才有希望。

他们只用一页纸，就搞定了Beck没碰的那一问。

2026年2月23日，西奈山伊坎医学院的独立评估在《Nature Medicine》上线，测的是今年1月刚发布、日活约4000万人的ChatGPT Health。