Last Week in AI #346：719篇数学论文、2款西方开源模型与又一起安全研究员离职

OpenAI 公布了未发布前沿模型生成的 719 篇数学手稿，涵盖 372 个主题族及 Lean 形式化证明。Mistral 推出 1 万亿参数多模态模型 Mistral Large 4，Reflection AI 也发布了 501B 参数的 MoE 模型 Beam。此外，OpenAI 资深安全研究员 David Robinson 宣布离职，公开批评公司文化存在缺陷。