Is Mathematics Facing a Century‑Long Crisis? Tao Xue Zhan Warns of AI‑Driven Proof Overload
In his ICM 2026 talk, Fields Medalist Tao Xue Zhan argues that AI is turning mathematical proofs from scarce, high‑value achievements into abundant, hard‑to‑digest commodities, and he outlines a four‑stage roadmap and concrete safeguards for the community.
