News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.