Humans outperformed Google and OpenAIs AI models at the International Mathematical Olympiad in Australia.