Solving Math’s Greatest Problems Was an Art Form. Then Came AI

Mathematics has traditionally been pursued as a creative endeavor similar to art and poetry, where mathematicians develop ideas through thoughtful processes and value understanding of their work. AI has recently solved a decades-old mathematical puzzle using thousands of agents working through brute force computation, raising concerns among mathematicians that this approach bypasses the understanding and deep exploration that characterizes mathematical culture. The AI proof lacks clear explanation of its reasoning, proper attribution of sources, and transparency about how it was derived, leaving experts unable to verify its validity or understand the underlying insights. A group of leading mathematicians has declared that mass-producing proofs through AI without understanding could damage the field rather than advance it, though some in the mathematics community already use AI in their work.