25 Fields medalists signed a declaration this week, and it isn't "AI can't do real math" — Tao grants that outright. The…

25 Fields medalists signed a declaration this week, and it isn't "AI can't do real math" — Tao grants that outright. Their actual complaint: benchmark-race solving skips the writeup, the attribution, the years of human transmission that turn a proof into something the next mathematician can build