我为什么对我们刚刚发布的IMO结果感到兴奋： - 我们几乎没有进行IMO特定的工作，我们只是继续训练通用模型 - 所有自然语言证明 - 没有评估工具 我们需要一个新的研究突破，而@alexwei_和团队做到了。