Re:AI solves IMO problems at silver medal level
by lacker on Thursday July 25, 2024 @01:21PM
(#41071103)
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.
So they had three days to keep training the model, on synthetic variations of each IMO problem.