Will an AI be able to win a gold medal at the IMO 2025, given unlimited time before August 15th? Most questions on Manifold regarding this topic impose a time limit of 4.5 hours for each of the two problem sets. This question removes that time constraint.

Rules:

* The AI must be trained before July 14th.

* Problems may be formalized by humans.

* The AI cannot access the internet.

* The AI must not have access to the problem set before.