Hilariously, I suspect an algorithm like ChatGPT is likely to reproduce the ACTUAL argument Fermat thought he had when he left that note in the margin - prove t

Hilariously, I suspect an algorithm like ChatGPT is likely to reproduce the ACTUAL argument Fermat thought he had when he left that note in the margin - prove the theorem for n=3 and perform induction by the "and then obviously yada yada yada" method.