The training loop was also applied during the contest, reinforcing proofs of self-generated variations of the contest problems until a full solution could be fo

The training loop was also applied during the contest, reinforcing proofs of self-generated variations of the contest problems until a full solution could be found. So they had three days to keep training the model, on synthetic variations of each IMO problem.