Can AI produce novel mathematical proofs?

AI can already generate mathematical proofs—but can it create genuinely new mathematics? In this month's Ask a Mathematician, Nick Rauh explores the rapidly evolving relationship between artificial intelligence and mathematical discovery. From the limitations of today's AI models to recent breakthroughs on longstanding problems, he examines what mathematicians mean by a "novel proof" and why that question is more complicated than it first appears.