IMO 2025 saw AI models achieving Gold medal scores, raising questions about the future of mathematical problem-solving competitions.