Frozen archive redirect

OpenAI's IMO Gold model also wins IOI Gold

This older issue lives in the static archive. If you are not redirected automatically, open the archived issue.