AI's disputed rise in pure mathematics

Where it stands as of Sep 12, 2026

AI systems keep producing claimed proofs of hard mathematical problems, but the field is increasingly divided over whether to trust them. The world's top 25 Fields Medalists have warned that machine-generated proofs are undermining rigor in the hardest areas of math, and OpenAI's latest claimed result triggered fresh disputes over credit, ethics and privacy. It is still unclear how much of AI's contribution can be verified independently of the companies making the claims.