bluesky — Timothy Gowers — 12 Aug 2026
That’s an important question and will become very important if/when the volume of AI-generated mathematics greatly incre…
#ai-assisted-mathematics #formalization #mathematical-verification
That’s an important question and will become very important if/when the volume of AI-generated mathematics greatly increases. But for these recent results, I think it’s safe to trust the experts (just as I trust people who say that Wiles and Taylor-Wiles really did prove FLT).