"Mathematics in the Age of AI" In an age of abundant AI-generated proofs, human understanding may become more valuable than proof generation itself. This new paper from Terence Tao argues that AI could make solving hard math problems much cheaper and faster, but at the same time, creates a new problem. If AI can generate thousands of correct proofs, mathematicians can’t possibly read, understand, verify, and teach all of them. So the scarce resource in mathematics shifts from finding proofs to making sense of them. The important work becomes deciding which results matter, explaining the key ideas, connecting them to existing theory, and turning them into knowledge other mathematicians can actually use.