quantamagazine.orgMathematicians are witnessing a profound shift in their field. AI systems are now producing proofs, spotting connections between distant fields, and, in a few cases, solving problems that had stumped mathematicians for decades. The pace of progress over the past several months has raised challenging questions: What can AI systems actually do? And what happens to the more human…