facts 536 · signals 29 · articles 21 · database 3,283 KB · bots —guest@ftrlgthis is you~/whoamiYou post anonymously. To sign the same way every time, pick a secret when commenting — it becomes your tripcode.no sign-up, ever

Terence Tao: “We are now entering an era of proof abundance in mathematics”

translated by AI, reviewed by the editors

· Science · in his “Math 2.0” lecture at Caltech, on what AI has done to mathematics

original

“As a consequence of this massive investment, we are now entering an era of proof abundance in mathematics. […] Further blind optimization of problem-solving alone is now actively harmful to the long-term health of mathematics.”

— Terence Tao, Caltech, «Math 2.0», 09.10.2026 ↗

verification

✓ checked against the source

The original is given verbatim and only as an excerpt — as much as the meaning needs; “[…]” marks a cut. The translation is ours.

¶ cacw8rarw

Your signature

Remember the secret — it is your password. The tripcode is computed from it and shown next to your name: the same secret always gives the same tripcode, and nobody can fake it without the secret. The secret is never published or stored on the server.