OpenAI破解50年数学难题，Cohere开源Command A+搅局
📝 摘要
OpenAI用通用推理模型证明了长期悬而未决的Erdős单位距离问题，获数学家Timothy Gowers等验证，标志着AI形式科学的重大突破。Cohere同期发布Command A+（Apache 2.0许可），采用218B MoE/25B活跃参数架构，支持48语言，可在2×H100上运行，智能水平接近Claude 4.5 Haiku。
✍️ 编辑摘要
这条资讯的核心议题是“OpenAI破解50年数学难题，Cohere开源Command A+搅局”。
从当前聚合摘要看，最值得先关注的是：OpenAI用通用推理模型证明了长期悬而未决的Erdős单位距离问题，获数学家Timothy Gowers等验证，标志着AI形式科学的重大突破；Cohere同期发布Command A+（Apache 2.0许可），采用218B MoE/25B活跃参数架构，支持48语言，可在2×H100上运行，智能水平接近Claude 4.5 Haiku。
如果你只看一遍，这条新闻与后续判断最相关的点是：这条资讯围绕“OpenAI破解50年数学难题，Cohere开源Command A+搅局”展开，建议结合来源列表和相关话题继续跟踪后续进展。
📌 关键信息
- OpenAI用通用推理模型证明了长期悬而未决的Erdős单位距离问题，获数学家Timothy Gowers等验证，标志着AI形式科学的重大突破
- Cohere同期发布Command A+（Apache 2.0许可），采用218B MoE/25B活跃参数架构，支持48语言，可在2×H100上运行，智能水平接近Claude 4.5 Haiku