Artificial intelligence systems are now capable of generating research-level mathematics. Concurrently, the United States is diminishing the educational pipeline that cultivates individuals who can comprehend the outputs of these AI systems.

In July 2025, AI models successfully solved five out of six problems at the International Mathematical Olympiad, surprising mathematicians with their rapid advancement. Despite these impressive results, the impact of AI on research mathematics remains uncertain.