AI in mathematics is forcing big questions

The scoop

Terence Tao envisions "Big Mathematics" where humans and AI collaborate on complex problems, but mathematicians debate whether AI will serve as a tool, collaborator, or oracle, raising questions about whether understanding or mere utility should define the field's future. Readers question whether AI can truly verify its own solutions and whether proving things humans can't understand still counts as meaningful mathematics.