“The AI model that achieved a gold medal level at the International Mathematical Olympiad did so purely through reasoning, without using external tools like a calculator.”