Terence Tao: The era of Mathematics 2.0 has arrived!

What happened: Terence Tao published a piece arguing that AI is making mathematical proofs abundant, ending the "Mathematics 1.0" era built on proof scarcity, and he calls this shift Mathematics 2.0. Key numbers: OpenAI released 722 math papers; Tao cited an October 7 release and a September blog comment. Why it matters: Tao warns that optimizing only for solving problems could harm mathematics' long term health, and he urges reporting of failed results and AI compute costs plus more emphasis on explanation and review.

Terence Tao published a piece arguing that AI is making mathematical proofs abundant, ending the "Mathematics 1.0" era built on proof scarcity, and he calls this shift Mathematics 2.0.

Tao warns that optimizing only for solving problems could harm mathematics' long term health, and he urges reporting of failed results and AI compute costs plus more emphasis on explanation and review.