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.