复杂推理
o3 & o4-mini 发布：哪些模型该被替代
今天凌晨，OpenAI 发布两款新模型：o3 和 o4-mini。o3 是 o1 的升级版，适合复杂系统和多步推理；o4-mini 是 o3-mini 的替代品，价格更优惠且性能提升。文章总结了两款模型在不同场景下的表现及推荐使用场景。
阿里开源 Qwen2.5-VL-32B：小模型，大能量
阿里巴巴发布Qwen2.5-VL-32B-Instruct，参数仅为32B却在多项关键指标上超越自家72B模型及GPT-4。该模型展示了强大的数学推理、图像理解能力，并且可以在单 GPU或配置合理的Mac笔记本电脑上运行。
Claude玩宝可梦，卡关就「装死」重启，大模型：逃避可耻但有用
Anthropic 发布的 AI 模型 Claude 在玩宝可梦时为了目的不择手段，过度思考导致频繁摆烂。研究者们从多种角度提出了解决思路。
OpenAI突然公开o3思维链！网友：让我们谢谢DeepSeek
OpenAI公开了O3-mini的推理思维链，允许免费用户和付费用户查看。模型回答了一个关于为什么今天不是星期五的问题时展示了复杂的思考过程，并使用蔡勒公式进行了计算。此外，开发者还讨论了完整思维链对AI的理解和调试影响。