AI早报 | 2026年7月12日（周日）：GPT-5.6一小时解开50年数学猜想、苹果起诉OpenAI

1. GPT-5.6 Sol Ultra 一小时解开50年未解数学猜想

OpenAI 的 GPT-5.6 Sol Ultra 在一小时内成功证明了图论领域悬而未决约 50 年的 Cycle Double Cover 猜想。该模型调动 64 个子 Agent 并行协作，生成了完整的数学证明。曼彻斯特大学的数学家 Thomas Bloom 评价这份证明”简洁、初等”，其核心思路可追溯至 1983 年的一篇论文，但巧妙地将已知工具进行了新颖组合。Bloom 指出，人类数学家可能会在尝试自然思路失败后放弃，而 AI 不会气馁，会不断尝试细微变体直至找到突破。不过他也批评 OpenAI 的论文未引用前人的工作。这一成果展示了大规模 Agent 协作在数学研究中的巨大潜力。来源

2. 苹果起诉OpenAI系统性地窃取商业机密

苹果在北加州联邦法院正式起诉 OpenAI，指控其通过 “有组织地挖角”苹果员工来系统性窃取未发布产品的商业机密。起诉书称，超过 400 名前苹果员工目前就职于 OpenAI，公司高层鼓励他们在离职期间带走机密文件、图纸和技术规格。案件焦点人物包括 OpenAI 现任首席硬件官 Tang Tan（此前负责 iPhone、Apple Watch 和 AirPods 产品设计），以及前 iPhone 硬件工程师 Chang Liu（被指控下载数十份机密文件）。苹果要求陪审团审判，并请求法院下令销毁所有被盗材料。OpenAI 方面否认指控，表示对其他公司的商业秘密不感兴趣。来源

3. 中国首个十万卡国产AI超算集群”曙光8000″正式落成

中科曙光在郑州正式落成 曙光8000（登峰） 全国产 AI 超算集群，这是中国首个达到 十万张国产加速卡规模的算力集群。该集群采用”原生超智融合”架构，同一套系统既能支持 FP64 双精度科学计算，也能支撑万亿参数大模型训练。目前已完成 300 余项应用适配，覆盖材料、量子、生物医药等 20 多个领域。实际成果包括：8 万卡加速蛋白质折叠模拟、8.8 万卡完成 328 万亿网格湍流模拟、9 万卡协同完成 3.16 万亿个原子的 DFT 高精度仿真。曙光 8000 已接入国家超算互联网，第二套同等规模的系统也已启动建设。来源

4. 腾讯洽购AI Agent明星公司Manus多数股权

据英国《金融时报》报道，腾讯正洽谈收购 AI Agent 初创公司 Manus 的多数股权，交易估值约 20 亿美元——与之前 Meta 收购要约的估值相同。此前北京方面以违反投资规则为由，强制 Meta 放弃了对 Manus 的收购。多数现有投资者（包括腾讯、真格基金和红杉中国）以及管理层团队均参与本轮谈判，美国投资机构 Benchmark 预计不会参与。Manus 将继续以新加坡为独立运营总部，最近报告年收入接近 5 亿美元。腾讯计划将 Manus 的 Agent 能力嵌入微信生态。来源

5. Meta Muse Spark 1.1 编程得分超越GLM-5.2，幻觉率大幅下降

Meta 超级智能实验室发布 Muse Spark 1.1，在编程能力上以 71.3 分超过智谱 GLM-5.2（68.8 分），仅次于 GPT-5.6 Luna（71.4 分）。在 Intelligence Index 综合评分上与 GLM-5.2 并列 51 分。更值得关注的是，幻觉率从 73% 骤降至 38%，模型更倾向于拒绝回答而非给出错误答案。上下文窗口从 25 万 token 扩展至 100 万 token。成本方面，每次任务约 0.26 美元，低于 GLM-5.2 的 0.37 美元和 GPT-5.4 的 0.89 美元。该模型目前仅通过 Meta 自有 API 提供服务。来源