推理模型（显然没有使用工具）在国际大学生程序设计竞赛中获得了第一名（OpenAI）和并列第二名（谷歌）。 推理机首次发布至今已有一年，它们在解决难题方面取得的进展之快令人惊叹。