Mathematicians put AI to work on Fermat's last theorem

We weren't able to bring this article into the reader. The fetch failed.