AI attempts at the International Mathematical Olympiad 2025mathstodon.xyz1 pointrobinhoustona year ago