DeepMind followed IMO rules to earn gold, unlike OpenAI.