To grieve, or not to grieve?
Summary
An opinion piece on how AI is transforming mathematics, outlining a grief-based arc (denial, anger, bargaining, depression, acceptance) among researchers. It contrasts Thurston’s view of mathematical understanding with Hardy’s, discusses OpenAI/Anthropic actions, and argues for cautious optimism with AI-enabled tools like Lean and formalization, while stressing transparency and human verification.