Reimaging professional and educational practices for an AI-augmented future.

AI systems have leapt from failing high school math to solving research-level problems and formalizing Fields Medal-winning proofs — and mathematicians are divided on what it means for the future of ...