“AI models from multiple companies have recently achieved gold medal performance on International Mathematical Olympiad (IMO) problems using pure reasoning without access to external tools.”