AIMO (AI Math Olympiad) progress prize winning solution | Heykuki News