Tag
This paper argues that as AI systems achieve breakthroughs in mathematics, the United States is neglecting the human mathematical infrastructure needed to understand, verify, and direct these systems, posing a strategic risk.