Advanced artificial-intelligence models are transforming mathematics at an astonishing speed. In the past few months, AI-aided proofs — logical arguments that demonstrate why a mathematical result is correct — have been released for hundreds of long-standing maths problems. Mathematicians might need several months to fully understand the underlying arguments and implications of these automatically derived
