Oh yeah, Fermat’s Last Theorem. I bet I would have thought of that right away if I was a bit older. The Wiefrich primes came up elsewhere here, and they have a kind of similar background.

Thanks for the answers!