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

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

1. GPT-5.6 Sol Ultra 一小时解开50年未解数学猜想人工智能ai哪个好

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

2. 苹果起诉OpenAI系统性地窃取商业机密免费的ai工具

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

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

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

4. 腾讯洽购AI Agent明星公司Manus多数股权即梦下载官方

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

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

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