Alex Wei

OpenAI团队通过三个核心开发者在IMO竞赛中使用模型赢得了金牌。该项目仅用两三个月时间完成，涉及数学证明风格独特、难以读懂的AI生成问题解答。