Mathematicians Say A.I. Beat Them to a Major Proof
A group of mathematicians who invested years of effort into solving a major proof say they were ultimately beaten to the result by an artificial intelligence system. The case highlights the rapidly expanding role of AI in pure mathematics — a field long considered a stronghold of human intuition and rigor.