搜索
今天上午，OpenAI 把一个尚未发布的内部模型产出的 722 篇数学手稿一次性放上了 GitHub。发布本身的来龙去脉、模型背景和数学界的争议，我们在上一篇报道里已经梳理过。这一篇换个角度，打开仓库，看看清单上到底有哪些成果。
就在刚刚，OpenAI 宣布向 ChatGPT 全体用户推送 GPT-6，同时上线 Intelligent UI（智能界面）。
太炸裂了！
Anthropic发布Claude Haiku 5.5，单价为Haiku 4.5的十分之一，多项跑分显著提升，定位为处理摘要、上下文压缩、数据库查询和分类等任务的高速低成本模型。
谷歌推出Nano Banana 2.1，出图价为Nano Banana 2的一半，支持蒙版局部编辑、最高4K直出和最多14张参考图，并在Arena多图编辑榜排名第4，陆续登陆Gemini App、搜索AI模式、AI Studio等平台。
OpenAI公开了未发布的内部前沿模型产出的722篇数学手稿，归为372个成果族，涉及准黎曼猜想和四维挂谷猜想等，其中235族附有Lean形式化说明，仍待专家审读验证。
作者将手绘视频制作流程整理为handdrawn-explainer Skill并上传至SkillHub，使agent能按主题生成脚本和可视分镜，产出配音与绘画时序对齐的视频，并支持审阅后修改。
OpenAI推出四项更新：Auto-review全面免费，API付费等级由五档简化为三档且Grow门槛由1000美元降至500美元，Meetings插件进入macOS版ChatGPT Beta，Decisions API面向开发者开放公测。
OpenAI启用文本水印，未来几周将为欧盟符合条件的ChatGPT与Codex文本输出加入不可见水印，其textGrain方案由2026年考普斯奖得主苏炜杰等九人合作设计。
Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。