AI breakthroughs in solving complex mathematical problems are igniting intense professional debates among mathematicians over attribution, human agency, and comprehension.