AI 日报

【事件】截至 7 月 12 日，OpenAI 公开的 Cycle Double Cover Conjecture 证明、提示词与工作流开始接受独立技术复核。公司材料称 GPT-5.6 Sol Ultra 调用 64 个并行子代理、不到一小时生成证明；Wolfram 社区和技术作者开始逐步检查论证。最重要的边界是：模型“生成一份声称完整的证明”和数学界完成同行评审不是同一件事，公开材料当时尚未经过正式期刊审稿。

【背景】该猜想来自 1970 年代图论，长期未有公认一般证明。公开完整证明与提示词使外部专家能够检查，而不只是接受 benchmark 分数。多代理模式的意义也不应简化为 64 倍算力：并行搜索、候选归并、错误淘汰和最终写作分别贡献多少尚未拆解；若证明依赖遗漏的既有结果或存在隐藏假设，结论需要修订。相反，若独立专家和形式化工具持续确认，科研自动化的价值会显著高于传统测试集。

【信号】研究型模型的商业验证应采用“发现—专家复核—形式化—发表”漏斗，而不是只统计宣称解决的问题数。后续应看是否出现可复现运行记录、Lean 等形式系统的覆盖范围、独立数学家的错误清单及正式论文。对科研软件和算力平台，机会在于把多代理搜索、证据溯源与形式验证组成可审计工作流；对投资者，未完成复核前必须给突破叙事保留失败概率。

【事件】Humanity & AGI Summit 7 月 12 日在 Stanford Faculty Club 举行，九小时议程把讨论集中在具身智能、机器人、科学发现、治理和真实部署。公开议程列出 Deepak Pathak、John Ioannidis 等研究者与创业者。该活动并非 Stanford HAI 官方年度峰会，地点在 Stanford 场地也不等于由大学背书；现有来源可以确认时间、组织方和议题，不能据此推断现场达成投资或政策协议。

【背景】模型能力快速上升后，产业焦点正在从纯文本推理转向感知、规划、控制和安全执行。物理系统的进展受数据、硬件可靠性、仿真到现实迁移、责任和单位经济性共同限制，因此峰会议程里同时出现机器人研究、资本和治理并不意外。对外部观察者，活动价值在于映射研究与融资议题，而不是把演讲者阵容当作技术验证。

【信号】具身智能投资需要把“模型演示”拆为任务成功率、连续运行时长、人工接管、硬件成本和部署场景付费意愿。后续应跟踪参会公司是否公布可复现实验、试点合同或量产节点。若没有这些工件，峰会只能证明叙事热度；若多家团队在相同场景形成可比指标，方能缩短资本对机器人项目的验证周期。

【事件】上海市政府 7 月 12 日发布 WAIC 会期危险物品安全管理通告，普陀区同日披露 AI×数学主题论坛的会前科研活动，显示大会从发布会口径进入现场执行。此前官方发布会给出的计划为 7 月 17—20 日、140 余场论坛、1100 余家企业、3000 余项展品与 300 余款全球首发。后四项仍是计划口径，不能写成已经到场或完成发布。

【背景】同日的安全通告给出 7 月 15—21 日运输管控窗口，论坛筹备材料则显示具体联合主办方和主题活动开始落地。这两项是 7 月 12 日新增执行证据；1100 家企业、3000 项展品和 162 亿元历史意向合作仍来自较早发布，必须与实际到场、正式合同和回款分账。大会规模只能说明供给密度，不能直接代表商业景气。

【信号】会前执行期应建立逐项核验表：实际首发数、可试用比例、价格与交付期、意向转正式合同、具身设备量产节点，以及超节点和近存计算产品的客户验证。若首发主要停留在演示，展会价值集中在营销；若出现采购单、交付计划和复购数据，才构成应用与基础设施商业化证据。

【事件】苹果 7 月 10 日在加州北区联邦法院起诉 OpenAI、io 及两名前员工，指控其窃取商业秘密并违反合同。诉状称 OpenAI 招聘流程索取未发布产品信息，并要求禁用、返还相关材料。苹果寻求禁令、材料返还与赔偿两名前员工被列为被告所有窃密描述均为苹果指控，尚未获法院认定对大型科技公司，AI 人才治理需要从保密协议升级为可审计的招聘、入职和资料隔离流程；模型团队与硬件团队的知识边界不能继续靠口头约束。

【背景】OpenAI 正推进首款硬件，且其硬件负责人 Tang Tan 曾在苹果任职 24 年。苹果称 OpenAI 现有逾 400 名前苹果员工，但诉讼中的行为仍待法院审理。诉讼的关键不是“挖人”本身，而是苹果声称招聘、离职与供应商协作中存在系统性索取机密材料的行为。法院后续的证据开示将决定案件是否从个别员工行为上升为组织责任。诉状是原告单方陈述，400 名前苹果员工也不等于 400 人涉案。

【信号】争议把 AI 硬件竞争从人才争夺推到知识产权边界。若禁令或证据开示触及供应链资料，OpenAI 硬件节奏与 Apple-ChatGPT 合作都将面临重谈。硬件 AI 的稀缺资产不只是模型，而是产品工程、供应链和未公开设计知识；人才流动的合规成本正在成为新进入者的真实壁垒。对 OpenAI 而言，硬件路线本就需要跨越工业设计、器件、供应链和量产四道门槛。诉讼若限制特定人员、资料或工艺使用，时间成本会比赔偿金额更重要。