Mathematics in the Age of AI

AI has become proficient at professional-level mathematics, producing work comparable to good mathematicians, yet remains poor at basic tasks like counting days. Mathematicians worry about AI-generated papers flooding publications and the field becoming sterile, though some see potential for democratizing access to proofs.