周末AI圈没闲着。OpenAI的GPT-5.6 Sol Ultra干了件大事——甩出一份50年没解开的数学猜想证明。同系列模型在医疗评估里把医生比下去了。还有个反AI字体挺有意思，读完就知道了。

① GPT-5.6 Sol Ultra 一小时证出50年图论难题

OpenAI在7月12日宣布，GPT-5.6 Sol Ultra不到一小时就生成了"循环双覆盖猜想"的完整证明。这个猜想由数学家George Szekeres和Paul Seymour在1970年代提出，挂在维基百科"未解决数学问题"列表上超过50年。

模型调了64个并行子智能体加对抗智能体干活，预留了8小时计算时间，结果1小时就搞定了。OpenAI已经把证明和提示词以PDF形式公开。

点评：目前证明还没经过同行评审，也没用Lean做形式化验证。但如果最终被验证成立，这将是LLM第一次独立解开真正的数学难题——不是做数学题，是真的搞科研。速度快是一回事，能力和方向对了才是大事。

② GPT-5.6 医疗评估全面优于医生

Sam Altman在X上公布了GPT-5.6系列的医疗评估结果。最小版本GPT-5.6 Luna，在最弱的推理强度下就超过了GPT-5.5开到最大强度的效果，成本还低了25倍。最大版本Sol直接刷新了所有指标。

测试方法挺严格：专科医生被允许用无限时间和网络访问权限写回答，然后由其他医生盲评。评估标准五个维度：准确性、沟通、完整性、指令遵循、健康决策帮助。总共做了两万次评分。

结果：所有GPT-5.6模型表现都明显优于医生写的回答。更扎心的是——医生挑出GPT-5.6回答里的毛病，比挑出同行写的回答里的毛病还少。

点评：注意一个细节——“医生被允许无限时间+上网查资料”。这不再是比谁知识记得多，而是AI在理解病情、沟通表达、给出完整建议这些"软能力"上也赢了。医疗AI这事，不再是"能不能用"的问题，而是"怎么用"的问题了。

③ Ghost Font：专坑AI的反人类字体

一个叫Ghost Font的项目火了。它生成的文字人类能读，但AI读不了——各种视觉模型、多模态模型碰上它直接"失明"。

原理挺妙：文字由与背景完全相同的点组成，静止状态下不显示任何信息。把文字转成视频——点阵跟着运动，人眼能追踪到字母形状，但单帧截图啥也没有。他们还加了"诱饵文字"让AI以为找到了正确答案，实际是误导。

项目灵感来自2013年Sang Mun设计的ZXX字体，但ZXX现在AI一眼就能看穿。Ghost Font目前还是本地原型，数据不离开你的电脑。作者说以后会开源视频生成代码，想把它做成CAPTCHA或者AI视觉基准测试。

点评：AI能读图了，人类就开始造AI读不了的图。这不光是个好玩的项目，背后其实是个严肃的问题——如果未来到处都是验证码/反爬/防AI的内容，互联网会变成什么样？

④ xAI Grok Build 被扒：上传整个仓库到云端

安全研究员分析了xAI的Grok Build CLI的网络流量，发现一个让人后背发凉的事实：这个工具在上传你的代码库时，比你以为的多得多。

具体来说，Grok Build至少干了三件事。第一，它把读到的文件明文通过对话接口传输。第二，它把整个仓库的git历史打包成git bundle，上传到Google Cloud Storage——即使你只让它读一个文件。第三，有人在12GB的仓库上试了一下，这个上传通道传了5.1GB数据，对话通道只传了192KB，差了27800倍。

最关键是：关闭"改进模型"设置完全没用，上传照常进行。

点评：这不是xAI一家的问题，是很多云端编码工具的共性风险。区别在于xAI被逮到了。如果你的代码是公司核心资产，用这类工具之前，至少搞清楚它到底往外传了什么。

其他速报

• Claude Code桌面版新增内置浏览器，可以像操作本地开发服务器一样浏览文档和网页，沙盒隔离数据不出本地
• Anthropic请来前美联储主席伯南克当长期利益信托受托人，帮研究AI对经济和就业的影响
• Mesh LLM开源：把多台机器的GPU内存池化，对外暴露兼容OpenAI的API，18MB小体积
• Meta关掉Instagram用公开账号生成AI图片的功能——被用户骂到下线
• Sam Altman改口了：说"相当确信"AI目前净创造了就业，不是之前说的会大规模裁员

今天就这些。明天见。