Why America’s Lead in Theoretical Computer Science Is Being Challenged — and What That Means for National SecurityJune 4, 2026