Mathematical Methods and Human Thought in the Age of AI

Tao and Tanya Klowden argue that AI-assisted mathematics raises real questions about what a proof is for, warning against formally valid but odorless proofs that explain nothing, and propose a rule of thumb: use AI to check or red-team work you could verify yourself, not to solve problems you could not. It gives mathematics departments a specific, practitioner-tested disclosure norm to borrow rather than inventing one from scratch.

Task

Research & literature

Time

15 min

Level

advanced

Cost

Free — Nothing to pay. A free account at most.

Tools

None in particular

Published

2026-03-29

Voice

Terence Tao — Publicly dissects AI-assisted proofs line by line and sets norms for disclosing machine assistance, which is what mathematics departments are arguing about.