AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset Paper โข 2504.16891 โข Published Apr 23 โข 24