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