Peking University (PKU) has achieved a milestone in artificial intelligence applied to pure mathematics. The university's AI4Math team has developed an autonomous AI framework that disproved the Anderson Conjecture, an open problem in commutative algebra that had puzzled mathematicians since 2014.
Proposed by D.D. Anderson from the University of Iowa, the Anderson Conjecture addresses properties of Noetherian local rings—a fundamental structure in commutative algebra used to study geometric objects locally.
The conjecture posited that weak quasi-completeness implies full quasi-completeness for such rings. Proving or disproving this required deep knowledge across subfields like integral domains and completions, making it challenging for individual mathematicians.
Paper link:
https://arxiv.org/abs/2604.03789