我们的通用推理模型在2025年国际大学生程序设计竞赛(ICPC)世界总决赛中解决了所有12个问题,这是全球顶尖的大学编程比赛,足以获得人类排名第一。