【人工智能 · 重大突破专题】
OpenAI 内部模型"攻克"千禧年难题：万级智能体88小时证明纳维-斯托克斯问题
9月8日宣布：一个未公开的内部AI模型（性能超GPT-6 Astra）约1万个智能体协作88小时生成证明，再由GPT-6 Astra在17小时内完成Lean形式化验证，估算算力成本1500万-2250万美元；公司表示不申领100万美元奖金。此为公司公告、未经同行评议，已引发数据隐私与功劳归属争议，但标志着AI数学推理再进一步。
📎 来源：腾讯新闻AI日报/IT之家 | 2026-09-08
🔹 OpenAI 发布最强生图模型 ChatGPT Images 2.5
9月8日正式推出：生成延迟最高降低50%，新增Sketch草图参考、模板库与图片区域圈选修改；提供Flare与Sunburst两款API模型，输出嵌入C2PA元数据与水印。当前每周经ChatGPT Images及API生成的图片已超30亿张。
📎 来源：IT之家 | 2026-09-08/09
🔹 国产大模型开源双响：面壁 MiniCPM5-2B + 微信 WeMM-Embedding
9月8日面壁智能联合OpenBMB开源MiniCPM5-2B：Artificial Analysis榜单以23分居全球4B以下开源模型第一，Agentic Index 20分（同级普遍<10），开源完整训练配方与4大数据集，被称"L4级真开源"；同日微信视觉团队开源多模态嵌入模型WeMM-Embedding（2B/4B/9B），9B版80.6分登顶MMEB-v2，已在视频号/公众号场景落地、日调用量十亿级。
📎 来源：证券日报 | 太平洋科技 | 2026-09-08
🔹 DeepSeek V4.1 Flash 内测：输出速度超500 tokens/s
9月9日开启中间版本内测：新模型结构、原生多模态，开发者实测最高507 tokens/s、多人平均超300 tokens/s，计费与V4 Flash相同，模型名设为 deepseek-v4.1-flash-expires-on-0910 即可调用（9月10日自动下线），或预示新一轮模型更新周期开启。
📎 来源：腾讯研究院AI速递 | 2026-09-09
【人工智能 · 重大突破专题】
OpenAI 内部模型"攻克"千禧年难题：万级智能体88小时证明纳维-斯托克斯问题
9月8日宣布：一个未公开的内部AI模型（性能超GPT-6 Astra）约1万个智能体协作88小时生成证明，再由GPT-6 Astra在17小时内完成Lean形式化验证，估算算力成本1500万-2250万美元；公司表示不申领100万美元奖金。此为公司公告、未经同行评议，已引发数据隐私与功劳归属争议，但标志着AI数学推理再进一步。
📎 来源：腾讯新闻AI日报/IT之家 | 2026-09-08
🔹 OpenAI 发布最强生图模型 ChatGPT Images 2.5
9月8日正式推出：生成延迟最高降低50%，新增Sketch草图参考、模板库与图片区域圈选修改；提供Flare与Sunburst两款API模型，输出嵌入C2PA元数据与水印。当前每周经ChatGPT Images及API生成的图片已超30亿张。
📎 来源：IT之家 | 2026-09-08/09
🔹 国产大模型开源双响：面壁 MiniCPM5-2B + 微信 WeMM-Embedding
9月8日面壁智能联合OpenBMB开源MiniCPM5-2B：Artificial Analysis榜单以23分居全球4B以下开源模型第一，Agentic Index 20分（同级普遍<10），开源完整训练配方与4大数据集，被称"L4级真开源"；同日微信视觉团队开源多模态嵌入模型WeMM-Embedding（2B/4B/9B），9B版80.6分登顶MMEB-v2，已在视频号/公众号场景落地、日调用量十亿级。
📎 来源：证券日报 | 太平洋科技 | 2026-09-08
🔹 DeepSeek V4.1 Flash 内测：输出速度超500 tokens/s
9月9日开启中间版本内测：新模型结构、原生多模态，开发者实测最高507 tokens/s、多人平均超300 tokens/s，计费与V4 Flash相同，模型名设为 deepseek-v4.1-flash-expires-on-0910 即可调用（9月10日自动下线），或预示新一轮模型更新周期开启。
📎 来源：腾讯研究院AI速递 | 2026-09-09