OpenAI发布O3和O4-mini两款新型AI推理模型，声称在数学、编程、推理、科学及视觉理解能力测试中超越此前所有模型。