Mathematicians' Newest Assistants Are Artificially IntelligentAI co-pilots are revolutionizing how mathematicians construct proofs, enabling them to tackle problems presently beyond human capabilities.