A mathematician argues that large language models should be understood as cultural and social technologies built from human knowledge, and proposes "mathematics above AI" as an approach where AI-generated proofs serve as starting points for deeper mathematical inquiry rather than final answers.