Ken Ribet, a key player in the solution to Fermat’s Last Theorem, gives a taste of how real mathematics is done