The speed of AI's advance in mathematics has done something structurally unusual: it has made the field's own experts unreliable narrators of their discipline's near future. Proof verification, long treated as an unglamorous back-end problem, is now positioned as — not a convenience upgrade but a methodological shift. When a mathematician at Imperial College London trains computers to verify Fermat's last theorem not to resolve the problem but to establish what machine-verified proof looks like at scale, the community's working assumptions…