AIME from yesterday (no contamination) shows o3-mini outperforming R1 at a lower cost