“Current AI models are capable of solving International Mathematical Olympiad (IMO) problems at a gold medal level.”