AI日报 | OpenAI发布GPT-6.1 Sol，Arena估值31亿美元，数学家集体抵制OpenAI
导语：今天的AI圈可以说是"神仙打架"——OpenAI一口气放出GPT-6.1 Sol Ultrafast，Codex和ChatGPT Work全面提速；Arena豪取2亿美元B轮融资，估值飙到31亿美元；另一边，数学家们却因为OpenAI的722份AI数学证明集体呼吁抵制。技术狂飙的同时，争议也在升级。东哥带你一文看懂今天AI圈都在发生什么。
一、模型发布：GPT-6.1 Sol Ultrafast来了
OpenAI在Codex和ChatGPT Work中上线GPT-6.1 Sol Ultrafast
OpenAI官方宣布，GPT-6.1 Sol Ultrafast正式登陆Codex和ChatGPT Work。从命名就能看出，这个版本主打"极速"——Ultrafast意味着在保持GPT-6系列能力的同时，响应速度大幅提升。
东哥点评：OpenAI这波操作很聪明。GPT-6的旗舰版已经够强了，现在推出Ultrafast版本专门服务开发者场景，相当于在"质量"和"速度"之间给了用户更多选择。对于Codex这种需要频繁迭代的代码场景，快就是生产力。
二、融资与估值：Arena 2亿美元B轮，估值31亿美元
Arena完成2亿美元B轮融资，Lightspeed领投，并发布Alignment Index
AI评测平台Arena宣布完成2亿美元B轮融资，由Lightspeed领投，估值达到31亿美元。同时，Arena发布了全新的Alignment Index，用于衡量AI模型与人类价值观的对齐程度。
东哥点评：31亿美元估值，Arena这是要成为"AI界的标普"啊。Alignment Index的发布很有意思——现在大模型卷能力已经卷到头了，下一步拼的就是"谁更对齐、谁更安全"。Arena这个赛道选得准。
三、Claude Haiku 5.5：价格暴降90%，但隐性成本几何？
Anthropic发布Claude Haiku 5.5，Arena评测首秀Code Arena 1587分
Anthropic推出Claude Haiku 5.5系列模型，价格相比前代暴降90%。Arena的评测结果显示，Claude Haiku 5.5 (High)在Code Arena拿到1587分，首秀排名第30。
东哥点评：90%的降价幅度确实惊人，Anthropic这是要用价格战抢市场。但"隐性成本"这个词值得玩味——便宜的东西往往在其他地方找补回来。开发者们别光看标价，实际跑起来算算总成本再说。
四、学术圈炸锅：数学家呼吁抵制OpenAI
部分数学家呼吁抵制OpenAI，722份AI生成数学证明引发争议
OpenAI在GitHub发布了openai/math仓库，包含722份数学手稿。这些由AI生成的数学证明涌入学术界，引发部分数学家强烈反弹，呼吁抵制OpenAI。
东哥点评：这是AI入侵学术领地的标志性事件。722份证明，哪怕只有10%是错的，也够数学家们头疼的了。但换个角度想，AI能生成数学证明本身就是技术突破。问题不在于AI能不能做，而在于学术界准不准它做。这场博弈才刚开始。
五、开发者工具：ts-rust——LLM把TypeScript编译器移植到了Rust
ts-rust发布：由LLM将TypeScript编译器、检查器和LSP移植到Rust
pingdotgg团队发布了ts-rust项目——用LLM将TypeScript编译器、类型检查器和LSP服务器完整移植到Rust。这不是玩具项目，而是生产级别的工具。
东哥点评：这大概是"AI写代码"最硬核的demo之一了。用AI把一整套编译器搬到Rust，这工作量人类团队做可能要几个月，AI几天搞定。更关键的是，Rust版本的TypeScript工具链意味着更快的编译速度和更低的内存占用。前端开发者们，你们的DX又要升级了。
六、Google双连发：Nano Banana 2.1 + ML Drift
Google开源ML Drift端侧GPU推理引擎，Nano Banana 2.1图像模型价格腰斩
Google一天发了两个大招：一是开源ML Drift，这是TFLite GPU delegate的继任者，专为端侧AI推理设计；二是Nano Banana 2.1图像模型在Artificial Analysis评测中拿下两个榜单第4名，价格只有前代一半。
东哥点评：ML Drift的开源对移动端AI开发者是重大利好。TFLite用了好多年，终于有替代品了。Nano Banana 2.1的性价比也很香——价格腰斩但性能不降，Google这是在用价格换生态。
七、安全警报：一条提示词劫持AWS全部Agent
Zenity研究人员发现一条提示词即可劫持AWS账户内全部AgentCore智能体
安全公司Zenity的研究人员发现了一个惊人的漏洞：只需要一条精心构造的提示词，就能劫持AWS账户内的所有AgentCore智能体。这意味着攻击者可以一次性控制企业的全部AI Agent。
东哥点评：这个漏洞太吓人了。一条prompt就能团灭所有Agent，这说明Agent安全的优先级远远落后于Agent功能的开发速度。企业用户们，在全面拥抱Agent之前，先把安全审计做起来吧。
八、硬核玩家：单张RTX 5090生成实时视频
如何在单张RTX 5090上用MiniMax H3生成实时视频
Comfy团队的博客分享了如何在单张RTX 5090显卡上用MiniMax H3模型生成实时视频。这不是云端方案，而是本地消费级硬件就能跑起来的。
东哥点评：RTX 5090单卡跑实时视频生成，这在两年前是不可想象的。AI视频生成的门槛正在以惊人的速度降低——从需要数据中心，到需要一张高端显卡，下一步可能就是手机了。
九、意外转折：德国环保搜索引擎弃用Mistral，转投中国开源模型
德国环保搜索引擎Ecosia弃用Mistral，转投中国开源模型
以环保著称的德国搜索引擎Ecosia宣布弃用欧洲本土的Mistral模型，转而使用中国开源大模型。理由很现实：中国开源模型在性价比和性能上更有优势。
东哥点评：这是一个很有象征意义的事件。欧洲一直想搞"AI自主"，但现实是——中国开源模型太香了。Ecosia的选择说明，在商业逻辑面前，地缘政治的考量也得让路。中国AI的出海，可能不是靠官方推动，而是靠开源社区的"用脚投票"。
总结
今天的AI圈，信息密度极高：
- 模型层面：GPT-6.1 Sol Ultrafast、Claude Haiku 5.5、Google Nano Banana 2.1，三家巨头同时发力
- 资本层面：Arena 31亿美元估值，说明AI评测赛道被看好
- 争议层面：数学家抵制OpenAI，AI入侵学术界的边界在哪？
- 安全层面：AWS Agent漏洞提醒我们，Agent安全不能掉以轻心
- 生态层面：德国搜索引擎转投中国开源模型，中国AI的软实力在显现
一句话总结：AI技术在狂飙，但争议、安全和生态博弈才刚刚开始。
数据来源：AI News Radar · 数据时间：2026-10-08 22:04 UTC