AI-assisted mathematics has shifted from solving competition benchmarks to producing breakthroughs on major, long-standing open research problems. While specific results like the disproof of the Jacobian conjecture and progress on the Riemann hypothesis are documented, they have triggered a debate over whether these milestones represent a durable capability or a temporary surge, raising foundational concerns about mathematical practice.

These reported results suggest that AI has become a powerful tool for discovering counterexamples to long-held mathematical assumptions, though the broader claim of a structural 'crisis' remains speculative. The shift toward formalizing AI outputs through Lean certificates is a critical move to bridge the gap between AI-generated claims and verifiable proof.