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