OpenAI has achieved a significant breakthrough in automated reasoning by disproving a long-standing mathematical conjecture using unexpected methods from algebraic number theory. This development raises concerns among experts about the future competitiveness of human mathematicians against AI systems.