LLMs now at level of gold medallists in the International Mathematical Olympiad