AIMO (AI Math Olympiad) progress prize winning solution
huggingface.co