This is NOT the paper, but probably a very similar solution: https://arxiv.org/a...

		tsoj on July 25, 2024 \| parent \| context \| favorite \| on: AI solves International Math Olympiad problems at ... This is NOT the paper, but probably a very similar solution: https://arxiv.org/abs/2009.03393