新智元

GPT-6.2 Astra要来了！神秘「双模型」闪现API，OpenAI火速撤回

OpenAI下一代模型GPT-6.2 Astra接连泄露：API闪现双虚拟机候选模型后秒撤，官博神秘内部模型跑分起步即碾压Astra满血版，峰值达87.5%，剑指复杂Agent任务。

刚刚，Claude破纪录！日烧3万亿Token，神秘Fable 5.5压轴登场

自Opus 5.5上线一个月，OpenRouter上Claude 5.5家族7日平均Token使用量暴涨3.6倍，单日峰值逼近3万亿Token，前十榜单被Opus系列屠榜。降价20%叠加超92%缓存命中率，开发者实际输入成本不到挂牌价六分之一。Opus 5.5在前端审美与3D物理模拟上表现惊艳，全网正催更Fable 5.5。Anthropic三季度营收达168亿美元并首次实现正向自由现金流，传出11月9日前后冲刺IPO，Fable 5.5或成拉高估值的终极筹码。

刚刚，Fable 5.5被爆明天突袭！谷歌OpenAI全面迎战

Anthropic新模型Fable 5.5被曝即将上线，主打推理深度与“读心”能力，能看穿用户未明说的意图。谷歌Gemini 4 Carbon、OpenAI新Terra同期亮剑，十月大模型决战聚焦长任务与复杂编程。

刚刚，Claude彻底解禁第三方应用！

Anthropic 更新政策，Claude 高级订阅额度可直接用于第三方 App 与 Agent，破除双重收费难题。BYOS 模式降低开发者成本，吸引开发者共建生态，助力 Anthropic 在 AI 智能体赛道构筑生态壁垒。

丘成桐弟子再立功，广义庞加莱猜想证明首次形式化验证！

由Ayush Khaitan带领的团队联合英伟达Humanfia团队，成功完成Thurston几何化猜想的完整Lean形式化，共约470万行代码，其中新增270万行仅用约两周完成。这是继庞加莱猜想之后，AI辅助形式化数学在高阶几何分析领域的又一里程碑，相关代码已开源。

刚刚，GPT-6.1 Sol极速版上线！

OpenAI上线GPT-6.1 Sol极速版，速度提升8倍，但价格翻6倍，旗舰Astra极速版更贵5倍。极速模式仅限500美元Pro会员，按快慢定价成新趋势。

丘成桐弟子带AI狂写470万行，庞加莱猜想证明首次被机器完整验证！

四人团队用Lean将庞加莱猜想完整证明写成约470万行代码并全部通过内核检查，其中270万行由ChatGPT、Claude等AI在最后两周完成，佩雷尔曼论文仅占六分之一。

刚刚，中国AI占领全球前四！

智象发布原生全模态视频模型HiDream V1，首次参评即跻身全球双榜前十，中国AI视频“四小龙”凑齐。该模型主打物理合理性、叙事规划与音画同步，让视频从“看起来像真的”走向“事情真的会这样发生”。

刚刚，GPT-6 Astra取得哥德巴赫猜想重大突破！

GPT-6 Astra在哥德巴赫猜想弱化版上取得突破，无条件证明了刘维尔函数版本的Liouville-Goldbach猜想，覆盖全部大于2的偶数，并已通过Lean 4形式化验证。AI展现出优雅的数学直觉，但经典哥德巴赫猜想仍未被攻克。

刚刚，全网最猛AI视频模型免费了！我们手搓了一段「牛来」，效果绝了

AI短剧赛道迎来重磅更新——Pavo平台正式上线Agnes Video 2.5系列模型，以1.5美元/分钟的API价格和Flash版免费策略，大幅降低AI视频生成成本。