“Frames AI progress through mathematicians' unease and characterizes the company as an ill-regarded interloper rather than celebrating the achievement.”