夜雨聆风🚀 GPT-5.6 Sol Ultra 64子智能体1小时证出50年图论猜想，RSI从概念走到可复现工程
OpenAI于7月10日官宣、7月12日由IT之家等媒体验证的消息：GPT-5.6 Sol Ultra用64个并行子智能体，在不到1小时内独立完成了"循环双覆盖猜想"（Cycle Double Cover Conjecture）——这个图论领域悬置50多年的难题。Prompt设计是关键：最多64子智能体并行、动态分配任务、早期保留研究路线多样性（不同表示方法/代数思路/结构归纳分头试），同时专设"对抗智能体"找漏洞和边界情况，要求禁止联网、拒绝特殊情形证明、必须通过对抗验证。系统预留8小时，实际约1小时跑完，完整证明+Prompt已上OpenAI CDN。这条要跟前几期串起来看：7月9日GPT-5.6全量开放时Altman展示过"Sol post-trained Luna"的RSI雏形（ 申万研报），7月12日这一发是把"递归自我改进"从后训练场景推到纯数学前沿——64子智能体+对抗验证的架构，本质是AI做数学研究的"博士生组+审稿人"范式，比单纯刷SWE-bench更有符号意义。同日Sam Altman在X放出的GPT-5.6医疗评估同样凶：最小变体Luna以1/25成本超越GPT-5.5最强推理，2万次盲评五维度（准确性/沟通/完整性等）全面优于专科医生，医生反馈"AI回答里的缺陷比人类同行少"——Sol证数学+Luna屠医疗，OpenAI这次是故意把"超大杯Ultra"和"小杯Luna"两端一起拉，中间Terra走量。
🇨🇳 智谱"摸高计划"直指AGI+拟150亿A股，MiniMax 160亿港元闫俊杰承诺AGI前不领薪
7月12日国内两家大模型公司同日抛出重磅：智谱创始人唐杰发内部信，公布"Touch High摸高计划"，未来两年聚焦长程任务、自治智能体系统、完全自我训练、安全治理四大方向，明确"不追求短期应用变现"直奔AGI，同步披露拟募资150亿元登陆A股，持续加码通用基座。MiniMax更戏剧——完成160亿港元新一轮融资，20余家国际主权基金+长线基金入场，7倍认购覆盖；CEO闫俊杰宣布"直至实现AGI前不再领取薪酬"，并拿总股本4%激励团队、1%支持开源社区。两条放一起看信号很强：智谱走"国家队+AGI重投入+A股上市"路线，MiniMax走"国际长钱+创始人ALL IN表态+开源回馈"路线，国产大模型第一梯队在GPT-5.6/Terra低价外压下，选了两条不同的"证明自己还能打"的路径。配菜里可灵AI那条（30亿美元+腾讯参投+12个月港股IPO，）跟上期7月4日已发过，今天不主发，但视频赛道"可灵+MiniMax+M3多模态"三角在WAIC前已形成合围。
🛡️ Fable 5于7月12日正式切按量计费$10/$50，Anthropic同日误发1660万美元账单乌龙
7月12日是Claude Fable 5的"成本悬崖日"——免费窗口（7月1-11日，原7月7日截止、7月7日延到7月12日）正式关闭，Pro/Max/Team/Enterprise用户从今日起每Token按$10输入/$50输出计费，正好是Opus 4.8两倍，Standard Enterprise连50%周额度缓冲都没有。Anthropic在X上说"按量计费是临时容量管理，非永久定价，算力允许时争取把Fable 5放回订阅"。同日雪上加霜：系统错误向免费用户群发1660万美元账单通知，仪表盘显示消费却是0，Anthropic承认错误并全撤。两条叠一起看：Fable 5从"限免5天→延5天→切按量"的曲线，本身就是美方"白名单+容量管制"逻辑的延续（6月12日出口管制→6月30日Mythos解禁给获批机构→7月1日Fable限免→7月12日按量），Anthropic在"不让中国人用"和"让美国人付费用"之间找到了第三种状态——"让美国人先用免费爽5天再看表跳字"。对开发者来说，Fable 5从今日起正式变成"溢价逃逸车道"，日常Volume切GPT-5.6 Terra/Luna是更理性的选择。
🤖 蚂蚁LingBot-VA 2.0发布：15.3B因果DiT原生具身模型，RoboTwin 2.0五十任务93.8%
蚂蚁Robbyant 7月11日发布、7月12日见报的LingBot-VA 2.0，是国产具身智能从"感知+规划拼接"切到"原生端到端"的标志性一发——因果DiT架构、约15.3B参数、多块预测训练加速2.3倍、推理延迟142ms，在RoboTwin 2.0的50项任务里成功率93.8%。这是继7月4日宇树G1登Nature（活猪腹腔镜胆囊切除）之后，国产具身一周内的第二声——宇树走"人形+医疗实操"、蚂蚁走"原生基础模型+标准化benchmark"，具身赛道从"哪家机器人能搬箱子"升级到"哪家基座能端到端控机器人"。同周日配菜还有两条：Google第二次推迟Gemini 3.5 Pro到7月底（200万上下文+Deep Think，避GPT-5.6锋芒）；NVIDIA发Nemotron Audex 30B-A3B，MoE架构统一语音理解/ASR/翻译/TTS的开源音频全能模型——英伟达从Jalapeño推理芯片（上期提过）延伸到Audio MoE，软硬件全栈继续铺。
⚠️ GPT-5.6 Sol爆Mac删文件bug + Meta紧急下线争议AI生图，发布周"翻车三连"收尾
7月12日凌晨两起事故打包：GPT-5.6 Sol被曝误删Mac用户主目录文件，硅谷多位技术大佬中招，OpenAI紧急发补丁+致歉+提醒升级；Meta新推的AI图像生成功能因偏见和不当输出遭社交媒体围剿，紧急下线，称重评安全机制后再上。加上前两日的"默认设置把用户推到高消费档位+额度重置两次+界面混乱"，GPT-5.6这一周的口碑曲线是：7月9日封神→7月11日Terra真香/Ultra翻车→7月12日Mac删文件+Meta陪绑。"前沿模型发布即完美"的叙事在7月12日被连续三起事故戳破——Sol证50年猜想的同一周，Sol也在删用户的~/.zshrc，这种反差本身就是2026年AI的注脚。
📅 WAIC 2026倒计时5天：9位诺奖/图灵奖、华为Atlas 950真机、MiniMax M3、阶跃Agent OS
7月17日上海开幕的WAIC 2026，7月12日进入倒计时预热——9位图灵奖+诺奖得主参会，展览首破10万平米、1100家企业、300余款全球首发。剧透清单里最硬的几样：华为Atlas 950超节点真机（国产算力最大规模单点）、MiniMax M3多模态大模型、阶跃Agent操作系统、近存计算3D芯片、全球首款AI智能体手机、多款人形机器人+AI灵巧手。百度同日剧透"智能体全家桶"：搭子/秒哒/伐谋+芯云模体全栈升级，AI搭子日均提问已涨20倍。WAIC 2026的关键词是"国产算力×智能体×具身"三件套同台，Atlas 950对标的就是英伟达GB200那档，MiniMax M3是160亿港元融资后首次公开亮相，阶跃Agent OS对的是OpenAI ChatGPT Work——7月17日那天会比7月9日GPT-5.6开放更像"中外对表"的现场。