搜索
今天上午，OpenAI 把一个尚未发布的内部模型产出的 722 篇数学手稿一次性放上了 GitHub。发布本身的来龙去脉、模型背景和数学界的争议，我们在上一篇报道里已经梳理过。这一篇换个角度，打开仓库，看看清单上到底有哪些成果。
就在刚刚，OpenAI 宣布向 ChatGPT 全体用户推送 GPT-6，同时上线 Intelligent UI（智能界面）。
太炸裂了！
谷歌推出Nano Banana 2.1，出图价为Nano Banana 2的一半，支持蒙版局部编辑、最高4K直出和最多14张参考图，并在Arena多图编辑榜排名第4，陆续登陆Gemini App、搜索AI模式、AI Studio等平台。
OpenAI公开了未发布的内部前沿模型产出的722篇数学手稿，归为372个成果族，涉及准黎曼猜想和四维挂谷猜想等，其中235族附有Lean形式化说明，仍待专家审读验证。
OpenAI推出四项更新：Auto-review全面免费，API付费等级由五档简化为三档且Grow门槛由1000美元降至500美元，Meetings插件进入macOS版ChatGPT Beta，Decisions API面向开发者开放公测。
OpenAI启用文本水印，未来几周将为欧盟符合条件的ChatGPT与Codex文本输出加入不可见水印，其textGrain方案由2026年考普斯奖得主苏炜杰等九人合作设计。
OpenAI在GitHub的openai/math仓库公开722份数学手稿，涉及372个问题家族及Lean形式化证明，并表示多数结果来自未发布的内部模型，部分未形式化结果可能存在问题。
OpenAI开启Codex“疯狂28天”计划，首日宣称将GPT-6 Astra和GPT-6.1 Sol默认推理速度提升约50%至50TPS，但用户实测低于预期，叠加ChatGPT测试广告、欧盟文本隐形水印及订阅调整引发质疑。
一位北大数学系校友认为，OpenAI和Anthropic借AI高调宣传数学突破，可能误导公众并打击青年学习数学的热情，学界仍应支持人类数学研究与公平成果归属。