Mathematician Steven Strogatz expresses deep concern about AI breakthroughs in mathematics, citing OpenAI's recent solution to a 90-year-old problem and Anthropic's theorem-proving work. While acknowledging the scientific achievements, Strogatz and fellow mathematician Alex Townsend worry about the field's future, competitive dynamics between AI labs, and what it means for human mathematicians whose expertise may become obsolete.