周二，OpenAI扔了个重磅炸弹——GPT-5.6 Sol Ultra一小时搞定了一个50年没人解开过的数学题。但同时，Grok Build的隐私问题继续发酵。有好消息也有闹心的。

① GPT-5.6 Sol Ultra：1小时，50年未解的图论猜想，拿下了

OpenAI宣布，GPT-5.6 Sol Ultra在不到一小时内生成了"循环双覆盖猜想"的完整证明。这个猜想由数学家George Szekeres和Paul Seymour在1970年代提出，挂了50多年没人解开。

模型怎么做的？调了64个并行子智能体，再加一个对抗智能体。留了8小时的计算时间，实际只用了约1小时。

OpenAI已经把证明和提示词以PDF形式发布了。目前还没经同行评审，也没用Lean做形式化验证。但如果最终通过验证，这将是LLM首次独立解决维基百科"未解决数学问题"列表里的难题。

点评：之前LLM在数学上被嘲笑"只会抄不会做"。这次不是算算术题，是真正的人类难题。64个子智能体协同工作的方式也值得关注——这可能是大模型解决复杂问题的标准范式。

② Grok Build被曝偷传整个代码库，马斯克承认了

这件事昨天发酵了一天，今天更严重了。安全研究者发现，xAI官方的Grok CLI会在每轮任务前后，把整个工作目录打包成before_codebase.tar.gz和after_codebase.tar.gz，通过独立通道静默上传。

验证方式很粗暴：只让模型回复一个单词，上传照样发生。12GB的测试仓库被拆成73个包，传了5.1GB——而正常对话只需要192KB。另一位研究者发现自己的电脑主目录被爬了个遍。

上传的包里还包含了~/.claude.json、Claude Code配置、全局AGENTS规则和30多个Skill文件，以及一个API密钥。

马斯克亲自回应承认属实，承诺彻底删除此前上传的所有数据。Grok Build已经上线了/privacy命令，用户可以一键关闭数据留存并追溯删除。

点评：自动上传代码这种功能，做之前就该问用户一声。默认开启+不告知=信任崩塌。xAI这波公关得补课。任何用Grok Build做开发的同学，先跑一遍/privacy再说。

③ PixVerse融资4.39亿美元，估值破20亿

新加坡视频生成公司PixVerse完成了C轮扩展融资，总共筹集4.39亿美元，估值突破20亿美元。投资方包括阿里巴巴。

产品线有三个方向：V系列（消费者和API）、C系列（专业影视）、R系列世界模型（游戏开发）。能生成4K分辨率、自带音频的视频。消费端注册用户超1.5亿，月活超1500万。图生视频每分钟4.80美元。

公司计划今年推出新V系列模型和新版世界模型，同时拓展全球企业客户。

点评：视频生成赛道还在烧钱，但PixVerse三个方向打得很清楚——消费级走量、专业级赚钱、世界模型卡位未来。估值20亿美元，收入模式还没完全跑通，但用户规模和产品线已经拉开差距了。

④ 腾讯混元Hy3量化版：1bit单卡就能跑，4bit接近满血

腾讯混元给旗舰模型Hy3（295B参数）出了量化版本。两个重点：

1bit版本（IQ1_M）把权重从598GB压缩到85.5GB，缩小6.7倍。一张96GB推理显卡就能部署。

4bit版本（Q4_K_M）体积169.9GB，两张显卡搞定。Agent、多语言代码、工具调用、长文理解这些任务上接近满血表现。

还配了MTP投机解码——1bit版本解码速度提升约50%，4bit版本提升近60%。

所有版本已开源，GGUF格式，直接适配llama.cpp生态。

点评：295B的模型让一张显卡就能跑，这意义不亚于模型本身。企业级部署的门槛从"买一沓显卡"降到了"买一张就试试"。量化技术越来越成熟了。

⑤ 高德发布世界模型工坊ABot-WorldStudio

高德搞了个叫ABot-WorldStudio的东西，已开放测试。输入文字或图片就能生成可实时交互、可分享的AI世界。

核心功能叫"时空任意门"——穿越之后能跳到另一个完整的3D世界。官方的测试数据挺夸张：单次连续推理稳定运行超1小时，没崩溃也没质量衰减。

底层模型ABot-World0和ABot-3DWorld0都可以在单张5090上本地部署，而且已经全面开源。

点评：高德做世界模型这事儿乍一听莫名其妙，想想又挺合理——地图公司手里有最多的空间数据。而且直接开源了底层模型，不是画饼。开发者可以立刻玩起来。

其他速报

• OpenAI面向普通用户发了提示词指南，核心建议：从结果出发，少写步骤。Chat处理快速任务，ChatGPT Work（基于Codex+GPT-5.6）负责复杂项目。Codex新增了Steer、Queue和沙盒模式
• 有人算了笔账：同一份TypeScript代码在GPT-5.x上是681个token，在Claude新tokenizer下变成1178个，差了1.73倍。标价没变，但实际成本涨了约30%。这算隐性涨价
• 商汤开源了SenseNova-Vision-7B-MoT，一个模型统一处理检测、OCR、GUI、深度估计、分割等任务。权重和5000万样本的训练子集一并开源
• 面壁智能CTO曾国洋接受专访：端侧模型是AI落地的关键路径。2B参数的MiniCPM表现优于同期8B竞品。团队还开发了全球首个完全由AI编写的生产级训练框架ForgeTrain
• Demis Hassabis发文：AGI可能数年可至，影响达工业革命10倍。他呼吁美国率先建立前沿AI标准机构
• Anthropic发布了加拿大Claude使用报告：加拿大占全球流量的2.6%，人均使用量是预期的4.4倍。加拿大用户最爱用Claude做的事之一是文档翻译——跟联邦双语政策直接相关
• Ghost Font（幽灵字体）：一种人类能读懂但AI无法识别的反AI字体。文字藏在运动视频里，单帧截图啥也看不到。Claude Fable和GPT Sol 5.6 Ultra都读不出来，直到被告知具体技术

今天就这样。明天见。