AI Can Solve Math Problems, But It Can't Think for Us
The Future of Mathematics
Jeremy Avigad argues that while AI can now generate publishable mathematical results, the real challenge is preserving mathematical understanding. He offers three responses: solve harder problems that AI can't cobble together, think bigger thoughts by choosing our own questions, and try new things by embracing AI as a tool. He also addresses early-career researchers, urging the community to stand with them and keep mathematics strong.
Whether or not AI can think, it can't think for us. We have our own lives to live; mathematics is our story to tell, and it's up to us to decide how to tell it.