OpenAI发布719篇数学手稿

发生了什么

据Last Week in AI报道，OpenAI于2026年10月6日发布了由未公开前沿模型生成的719篇数学手稿，涵盖372个主题族。这些成果包括Lean形式化证明、推理摘要及计算估算。该模型此前还生成了纳维-斯托克斯方程的解，研究主管Dan Roberts称证明是测试内部模型的副产品。同期，Mistral发布Mistral Large 4（1万亿参数），Reflection AI推出Beam（5010亿参数）。此外，OpenAI安全研究员David Robinson辞职并批评公司文化。